Challenging Problems and Solutions in Intelligent Systems

345 Pages·2016·7.671 MB·English

by  Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny (eds.)

Studies in Computational Intelligence 634
Guy De Tré
Przemysław Grzegorzewski
Janusz Kacprzyk
Jan W. Owsiński
Wojciech Penczek
Sławomir Zadrożny Editors
Challenging
Problems and
Solutions in
Intelligent
Systems
Studies in Computational Intelligence
Volume 634
Series editor
Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland
e-mail: [email protected]
About this Series
The series “Studies in Computational Intelligence” (SCI) publishes new develop-
mentsandadvancesinthevariousareasofcomputationalintelligence—quicklyand
with a high quality. The intent is to cover the theory, applications, and design
methods of computational intelligence, as embedded in the fields of engineering,
computer science, physics and life sciences, as well as the methodologies behind
them. The series contains monographs, lecture notes and edited volumes in
computational intelligence spanning the areas of neural networks, connectionist
systems, genetic algorithms, evolutionary computation, artificial intelligence,
cellular automata, self-organizing systems, soft computing, fuzzy systems, and
hybrid intelligent systems. Of particular value to both the contributors and the
readership are the short publication timeframe and the worldwide distribution,
which enable both wide and rapid dissemination of research output.
More information about this series at http://www.springer.com/series/7092
é ł
Guy De Tr Przemys aw Grzegorzewski
(cid:129)
ń
Janusz Kacprzyk Jan W. Owsi ski
(cid:129)
ł ż
Wojciech Penczek S awomir Zadro ny
(cid:129)
Editors
Challenging Problems and
Solutions in Intelligent
Systems
123
Editors
GuyDe Tré Jan W.Owsiński
Department ofTelecommunications Systems Research Institute
andInformationProcessing Polish Academy ofSciences
GhentUniversity Warsaw
Gent Poland
Belgium
Wojciech Penczek
Przemysław Grzegorzewski Institute of Computer Science
Faculty of Mathematics andInformation Polish Academy ofSciences
Science Warsaw
Warsaw University of Technology Poland
Warsaw
Poland Sławomir Zadrożny
Systems Research Institute
JanuszKacprzyk Polish Academy ofSciences
Systems Research Institute Warsaw
Polish Academy ofSciences Poland
Warsaw
Poland
ISSN 1860-949X ISSN 1860-9503 (electronic)
Studies in Computational Intelligence
ISBN978-3-319-30164-8 ISBN978-3-319-30165-5 (eBook)
DOI 10.1007/978-3-319-30165-5
LibraryofCongressControlNumber:2016933117
©SpringerInternationalPublishingSwitzerland2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar
methodologynowknownorhereafterdeveloped.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom
therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor
foranyerrorsoromissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
Preface
Intelligent computing is a new emerging computing paradigm inspired by a
remarkable ability of animate systems, meant both as individuals and groups of
individuals, in solving complex problems, notably related to decision making and
support. This broad definition covers many specific disciplines, notably—in the
context of this volume—including the following ones: artificial and computational
intelligence, fuzzy logic, granular computing, intelligent database systems, infor-
mation retrieval, information fusion, intelligent search (engines), data mining,
cluster analysis, unsupervised learning, machine learning, intelligent data analysis,
(group) decision support systems, decision theory, collective intelligence,
case-based reasoning, intelligent agents and multi-agent systems, artificial neural
networks, genetic algorithms, evolutionary computation, particle swarm optimiza-
tion, artificial immune system, knowledge-based systems, approximate reasoning,
knowledge engineering, expert systems, imprecision and uncertainty handling,
human–computer interface, Internet computing, semantic web, electronic com-
merce, e-learning and Web-intelligence, cognitive systems, distributed systems,
intelligent control, advanced computer modeling and simulation, bioinformatics,
etc. Thus the paradigm of intelligent computing is meant to cover the areas of
interest of traditional artificial intelligence as well as many other related topics,
notably those inspired by the observation of biological systems and those which
emerged with the development of advanced IT. Such a wide set of tools and
techniquesavailabledoesclearlypromisethatsomechallengingproblemssolvedso
far mainly by human beings may be formalized and solved by the “machine”.
Thegrowinginterestandimportanceofthisbranchofresearchmadeagroupof
researchers, including the editors of this volume, to think of joining forces and
working together on their topics of interest belonging to the above-mentioned
broadly meant area. One goal was to define a common ground for sometimes
seemingly disparate problems dealt with by particular teams involved and to
addresstheidentifiedproblemsusingtheparadigmofbroadlyperceivedintelligent
computing and/or intelligent systems. Another important goal was to get young
researchers involved, to give them a chance to develop their careers in themodern
v
vi Preface
and prospective field. As a result, in 2010, a consortium of three Polish academic
institutions:theSystemsResearchInstituteofthePolishAcademyofSciences,the
Institute of Computer Science, also of the Polish Academy of Sciences, and the
Faculty of Mathematics and Information Science, Warsaw University of
Technology, started a large-scale project, entitled “International Ph.D. Projects in
IntelligentComputing”,whichwassupportedbytheFoundationforPolishScience,
financed from the European Union within the Innovative Economy Operational
Programme2007–2013andtheEuropeanRegionalDevelopmentFund.Theproject
had been carried out with intensive collaboration with 17 foreign partners, leading
academic and research institutions from Australia, Belgium, Canada, Denmark,
Finland, France, Germany, Japan, Luxembourg, Spain, the United Kingdom, and
the USA. The core of the group, formed around senior researchers of high inter-
national stature in the field, had been the Ph.D. students selected in a highly
competitive contest. Thanks to the support of the International Ph.D. Projects
Programme, operated by the Foundation for Polish Science as mentioned above,
these Ph.D. students had been supervised by well-known scientists and had an
opportunity to work at the foreign partner institutions via a system of scientific
internships.
The research program prepared for the Ph.D. students covered both theoretical
and practical aspects of the intelligent computing paradigm. In particular, the the-
oretical foundations and the practical problems of implementation of the advanced
IT/ICTtoolsandtechniqueswereaddressed.Fiveareaswereinfocus:foundations
of intelligent computing, intelligent techniques in data mining, intelligent com-
puting for supporting decision making, multi-agent-based technologies, and intel-
ligent text and data retrieval.
Now, when the project is close to completion, we are happy to publish this
volume, which constitutes another opportunity to present and promote the results
obtained during the project. The participants have published numerous papers in
scientific journals and presented their results during many international scientific
conferences. Nevertheless, this volume provides a broad panorama of research
carried out in the framework of the project, and a comprehensive collection of
modern views and approaches that can be of use to a broader audience. The
majorityofthepapersareauthoredbythePh.D.studentsparticipatingintheproject
and co-authored by their supervisors. In a few cases, we have also invited other
valuable contributions from the supervisors and their younger collaborators: grad-
uatestudents,Ph.D.students,andpostdocs,showingtherebyabroaderviewofthe
community, and the scale and depth of the research endeavor associated with the
project.
Some of the papers collected in this volume are extended versions of the pre-
sentations given by the participants at special sessions on intelligent computing
organized within many respected international conferences, notably the recent
FQAS 2015, the Flexible Query Answering Systems 2015 conference that took
place in Cracow during October 26–28, 2015, which constituted another opportu-
nity to promote and summarize the results of the project to a large international
audience, including a number offoreign members of the project consortium.
Preface vii
SpecialthanksareduetotheFoundationforPolishSciencefortheircontinuous
support for our efforts to provide the Ph.D. students and their supervisors with the
best opportunity to carry out their research.
We express our particular gratitude to all the participants of the project’s com-
munity, whose contribution, cooperation, ideas, as well as purely human qualities
enriched all of us, and made the project for most of us a memorable stage in life,
with quite essential consequences for many, especially the Ph.D. students. With
this, we extend our best wishes to all those involved.
Peer reviewers deserve also deep appreciations because their insightful and
constructiveremarksandsuggestionshaveconsiderablyimprovedthecontribution.
And last but not least, we wish to thank Dr. Tom Ditzinger, Dr. Leontina di
Cecco, and Mr. Holger Schaepe for their dedication and help to implement and
finish this large publication project on time maintaining the highest publication
standards.
November 2015 Guy De Tré
Przemysław Grzegorzewski
Janusz Kacprzyk
Jan W. Owsiński
Wojciech Penczek
Sławomir Zadrożny
Contents
Part I Foundations of Intelligent Computing
SMT-Based Parameter Synthesis for Parametric Timed Automata . . . . 3
Michał Knapik and Wojciech Penczek
On the Identification of α-Asynchronous Cellular Automata
in the Case of Partial Observations with Spatially Separated Gaps . . . . 23
Witold Bołt, Barbara Wolnik, Jan M. Baetens and Bernard De Baets
k-Arithmetic Sequences—Theory and Applications. . . . . . . . . . . . . . . . 37
Adam Kołacz
Part II Intelligent Techniques in Data Mining
Forecasting of Short Time Series with Intelligent Computing . . . . . . . . 59
Katarzyna Kaczmarek and Olgierd Hryniewicz
An Improved Adaptive Self-Organizing Map . . . . . . . . . . . . . . . . . . . . 75
Dominik Olszewski, Janusz Kacprzyk and Sławomir Zadrożny
Support Vector Machines in Fuzzy Regression. . . . . . . . . . . . . . . . . . . 103
Paulina Wieszczy and Przemysław Grzegorzewski
Quantified Quality Criteria of Contextual Bipolar Linguistic
Summaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Mateusz Dziedzic, Janusz Kacprzyk, Sławomir Zadrożny
and Guy De Tré
Part III Multi-agent Based Technologies
Microgrids and Management of Power. . . . . . . . . . . . . . . . . . . . . . . . . 161
Weronika Radziszewska and Zbigniew Nahorski
ix
x Contents
Transaction Protocol and Mechanisms for Adaptive
Management of Long-Running Tasks. . . . . . . . . . . . . . . . . . . . . . . . . . 179
Marcin Stępniak
A Hybrid Approach to Parallelization of Monte Carlo Tree Search
in General Game Playing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
Maciej Świechowski and Jacek Mańdziuk
Part IV Intelligent Computing in Decision Support Systems
A Consensus Reaching Support System for Multi-criteria
Decision Making Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
Dominika Gołuńska and Janusz Kacprzyk
Improving Spatial Estimates of Greenhouse Gas Emissions
at a Fine Resolution: A Review of Approaches. . . . . . . . . . . . . . . . . . . 237
Joanna Horabik-Pyzel and Zbigniew Nahorski
A New Approach to the Multiaspect Text Categorization
by Using the Support Vector Machines . . . . . . . . . . . . . . . . . . . . . . . . 261
Sławomir Zadrożny, Janusz Kacprzyk and Marek Gajewski
Part V Intelligent Text and Data Retrieval: Towards a Better
Representation of Users Intensions
Content Data Based Schema Matching. . . . . . . . . . . . . . . . . . . . . . . . . 281
Marcin Szymczak, Antoon Bronselaer, Sławomir Zadrożny
and Guy De Tré
Prior-Art Relevance Ranking Based on the Examiner’s
Query Log Content. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323
Jakub Wajda and Wlodek Zadrozny
What NEKST?—Semantic Search Engine for Polish Internet . . . . . . . . 335
Dariusz Czerski, Krzysztof Ciesielski, Michał Dramiński,
Mieczysław Kłopotek, Paweł Łoziński and Sławomir Wierzchoń