This book presents recent advances on the design of intelligent systems based on fuzzy logic, neural networks and nature-inspired optimization and their application in areas such as, intelligent control and robotics, pattern recognition, time series prediction and optimization of complex problems. The book is organized in eight main parts, which contain a group of papers around a similar subject. The first part consists of papers with the main theme of theoretical aspects of fuzzy logic, which basically consists of papers that propose new concepts and algorithms based on fuzzy systems. The second part contains papers with the main theme of neural networks theory, which are basically papers dealing with new concepts and algorithms in neural networks. The third part contains papers describing applications of neural networks in diverse areas, such as time series prediction and pattern recognition. The fourth part contains papers describing new nature-inspired optimization algorithms. The fifth part presents diverse applications of nature-inspired optimization algorithms. The sixth part contains papers describing new optimization algorithms. The seventh part contains papers describing applications of fuzzy logic in diverse areas, such as time series prediction and pattern recognition. Finally, the eighth part contains papers that present enhancements to meta-heuristics based on fuzzy logic techniques.

An essential capacity of intelligence is the ability to learn. An artificially intelligent system that could learn would not have to be programmed for every eventuality; it could adapt to its changing environment and conditions just as biological systems do. "Illustrating Evolutionary Computation with Mathematica" introduces evolutionary computation to the technically savvy reader who wishes to explore this fascinating and increasingly important field. Unique among books on evolutionary computation, the book also explores the application of evolution to developmental processes in nature, such as the growth processes in cells and plants. If you are a newcomer to the evolutionary computation field, an engineer, a programmer, or even a biologist wanting to learn how to model the evolution and coevolution of plants, this book will provide you with a visually rich and engaging account of this complex subject.
* Introduces the major mechanisms of biological evolution.
* Demonstrates many fascinating aspects of evolution in nature with simple, yet illustrative examples.
* Explains each of the major branches of evolutionary computation: genetic algorithms, genetic programming, evolutionary programming, and evolution strategies.
* Demonstrates the programming of computers by evolutionary principles using Evolvica, a genetic programming system designed by the author.
* Shows in detail how to evolve developmental programs modeled by cellular automata and Lindenmayer systems.
* Provides Mathematica notebooks on the Web that include all the programs in the book and supporting animations, movies, and graphics.

Despite differing origins, constraint programming and mathematical programming are beginning to merge. Constraint programming has grown out of the logic programming community as part of an effort to embed constraints in a programming language. Mathematical programming, a much older field, is rooted in the mathematics of optimization. Because these two areas have complementary strengths, there are ongoing efforts to integrate the two.Constraint and Integer Programming presents some of the basic ideas of constraint programming and mathematical programming, explores approaches to integration, brings us up to date on heuristic methods, and attempts to discern future directions in this fast-moving field.
Constraint and Integer Programming is organized as follows: Chapter 1 is a high level overview of the main concepts of Constraint Programming (CP) and Integer Programming (IP) used in the book. Chapter 2 informally introduces integration methods describing and classifying the main works in the field. Chapter 3 outlines a unifying framework which involves the main concepts of CP and IP, underlining similarities and differences, and stating the basis for possible integrations. Chapter 4 describes global constraints as a vehicle for integrating IP concepts in CP in a transparent way for the user. Chapter 5 presents various ways to integrate relaxations in Constraint Programming focussing on global constraints. Chapter 6 presents hybrid solvers and Chapter 7 outlines Column Generation and its integration in Constraint Programming. Chapter 8 examines randomization and problem structure as a basis for understanding the intrinsic difficulty of the combinatorial problems. Chapter 9 studies the use of local search and meta-heuristics in CP. Chapter 10 is devoted to open perspectives and future directions.

As the first book devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The first part introduces the reader to the basics and principles of classical knowledge discovery in databases and inductive logic programming; subsequent chapters by leading experts assess the techniques in relational data mining in a principled and comprehensive way; finally, three chapters deal with advanced applications in various fields and refer the reader to resources for relational data mining.This book will become a valuable source of reference for R&D professionals active in relational data mining. Students as well as IT professionals and ambitioned practitioners interested in learning about relational data mining will appreciate the book as a useful text and gentle introduction to this exciting new field.

Computational optimization is an important paradigm with a wide range of applications. In virtually all branches of engineering and industry, we almost always try to optimize something - whether to minimize the cost and energy consumption, or to maximize profits, outputs, performance and efficiency. In many cases, this search for optimality is challenging, either because of the high computational cost of evaluating objectives and constraints, or because of the nonlinearity, multimodality, discontinuity and uncertainty of the problem functions in the real-world systems. Another complication is that most problems are often NP-hard, that is, the solution time for finding the optimum increases exponentially with the problem size. The development of efficient algorithms and specialized techniques that address these difficulties is of primary importance for contemporary engineering, science and industry. This book consists of 12 self-contained chapters, contributed from worldwide experts who are working in these exciting areas. The book strives to review and discuss the latest developments concerning optimization and modelling with a focus on methods and algorithms for computational optimization. It also covers well-chosen, real-world applications in science, engineering and industry. Main topics include derivative-free optimization, multi-objective evolutionary algorithms, surrogate-based methods, maximum simulated likelihood estimation, support vector machines, and metaheuristic algorithms. Application case studies include aerodynamic shape optimization, microwave engineering, black-box optimization, classification, economics, inventory optimization and structural optimization. This graduate level book can serve as an excellent reference for lecturers, researchers and students in computational science, engineering and industry.

The recent and novel research contributions collected in this book are extended and
reworked versions of a selection of the best papers that were originally presented in
French at the EGC 2011 Conference held in Brest, France, on January 2011.
EGC stands for "Extraction et Gestion des connaissances" in French, and means "Knowledge Discovery and Management" or KDM.
KDM is concerned with the works in computer science at the interface between data and knowledge; such as Data Mining, Knowledge Discovery, Business Intelligence, Knowledge Engineering and Semantic Web.
This book is intended to be read by all researchers interested in these fields, including
PhD or MSc students, and researchers from public or private laboratories. It
concerns both theoretical and practical aspects of KDM.
This book has been structured in two parts.
The first part, entitled Data Mining, classification and queries, deals with rule and pattern mining, with topological approaches
and with OLAP.
The second part of the book, entitled Ontology and Semantic, is related
to knowledge-based and user-centered approaches in KDM.

May the Forcing Functions be with You: The Stimulating World of AIED and ITS Research It is my pleasure to write the foreword for Advances in Intelligent Tutoring S- tems. This collection, with contributions from leading researchers in the field of artificial intelligence in education (AIED), constitutes an overview of the many challenging research problems that must be solved in order to build a truly intel- gent tutoring system (ITS). The book not only describes some of the approaches and techniques that have been explored to meet these challenges, but also some of the systems that have actually been built and deployed in this effort. As discussed in the Introduction (Chapter 1), the terms "AIED" and "ITS" are often used int- changeably, and there is a large overlap in the researchers devoted to exploring this common field. In this foreword, I will use the term "AIED" to refer to the - search area, and the term "ITS" to refer to the particular kind of system that AIED researchers build. It has often been said that AIED is "AI-complete" in that to produce a tutoring system as sophisticated and effective as a human tutor requires solving the entire gamut of artificial intelligence research (AI) problems.

The primary aim of this up-to-date research book is to report a sample of the most recent advances in the field of intelligent interactive systems in knowledge-based environments. It contains recent research and case studies of intelligent interactive systems. This book will prove useful to researchers, professors, research students and practitioners as it reports novel research work on innovative topics in the area of intelligent interactive systems.

Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences. After discussing the characterizing properties of abstraction, a formal model, the KRA model, is presented to capture them. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications. It is the impact of abstraction in Artificial Intelligence, Complex Systems and Machine Learning which creates the core of the book. A general framework, based on the KRA model, is presented, and its pragmatic power is illustrated with three case studies: Model-based diagnosis, Cartographic Generalization, and learning Hierarchical Hidden Markov Models.

The book provides a platform for dealing with the flaws and failings of the soft computing paradigm through different manifestations. The different chapters highlight the necessity of the hybrid soft computing methodology in general with emphasis on several application perspectives in particular. Typical examples include (a) Study of Economic Load Dispatch by Various Hybrid Optimization Techniques, (b) An Application of Color Magnetic Resonance Brain Image Segmentation by Para Optimus LG Activation Function, (c) Hybrid Rough-PSO Approach in Remote Sensing Imagery Analysis, (d) A Study and Analysis of Hybrid Intelligent Techniques for Breast Cancer Detection using Breast Thermograms, and (e) Hybridization of 2D-3D Images for Human Face Recognition. The elaborate findings of the chapters enhance the exhibition of the hybrid soft computing paradigm in the field of intelligent computing.

The book covers four research domains representing a trend for modern manufacturing control: Holonic and Multi-agent technologies for industrial systems; Intelligent Product and Product-driven Automation; Service Orientation of Enterprise s strategic and technical processes; and Distributed Intelligent Automation Systems. These evolution lines have in common concepts related to "service orientation" derived from the Service Oriented Architecture (SOA) paradigm.

The service-oriented multi-agent systems approach discussed in the book is characterized by the use of a set of distributed autonomous and cooperative agents, embedded in smart components that use the SOA principles, being oriented by offer and request of services, in order to fulfil production systems and value chain goals.

A new integrated vision combining emergent technologies is offered, to create control structures with distributed intelligence supporting the vertical and horizontal enterprise integration and running in truly distributed and global working environments.

The service value creation model at enterprise level consists into using Service Component Architectures for business process applications, based on entities which handle services. In this componentization view, a service is a piece of software encapsulating the business/control logic or resource functionality of an entity that exhibits an individual competence and responds to a specific request to fulfil a local (product) or global (batch) objective.

The service value creation model at enterprise level consists into using Service Component Architectures for business process applications, based on entities which handle services. In this componentization view, a service is a piece of software encapsulating the business/control logic or resource functionality of an entity that exhibits an individual competence and responds to a specific request to fulfil a local (product) or global (batch) objective.

Self-organizing approaches inspired from biological systems, such as social insects, genetic, molecular and cellular systems under morphogenesis, and human mental development, has enjoyed great success in advanced robotic systems that need to work in dynamic and changing environments. Compared with classical control methods for robotic systems, the major advantages of bio-inspired self-organizing robotic systems include robustness, self-repair and self-healing in the presence of system failures and/or malfunctions, high adaptability to environmental changes, and autonomous self-organization and self-reconfiguration without a centralized control. "Bio-inspired Self-organizing Robotic Systems" provides a valuable reference for scientists, practitioners and research students working on developing control algorithms for self-organizing engineered collective systems, such as swarm robotic systems, self-reconfigurable modular robots, smart material based robotic devices, unmanned aerial vehicles, and satellite constellations.

This book bridges the widening gap between two crucial constituents of computational intelligence: the rapidly advancing technologies of machine learning in the digital information age, and the relatively slow-moving field of general-purpose search and optimization algorithms. With this in mind, the book serves to offer a data-driven view of optimization, through the framework of memetic computation (MC). The authors provide a summary of the complete timeline of research activities in MC - beginning with the initiation of memes as local search heuristics hybridized with evolutionary algorithms, to their modern interpretation as computationally encoded building blocks of problem-solving knowledge that can be learned from one task and adaptively transmitted to another. In the light of recent research advances, the authors emphasize the further development of MC as a simultaneous problem learning and optimization paradigm with the potential to showcase human-like problem-solving prowess; that is, by equipping optimization engines to acquire increasing levels of intelligence over time through embedded memes learned independently or via interactions. In other words, the adaptive utilization of available knowledge memes makes it possible for optimization engines to tailor custom search behaviors on the fly - thereby paving the way to general-purpose problem-solving ability (or artificial general intelligence). In this regard, the book explores some of the latest concepts from the optimization literature, including, the sequential transfer of knowledge across problems, multitasking, and large-scale (high dimensional) search, systematically discussing associated algorithmic developments that align with the general theme of memetics. The presented ideas are intended to be accessible to a wide audience of scientific researchers, engineers, students, and optimization practitioners who are familiar with the commonly used terminologies of evolutionary computation. A full appreciation of the mathematical formalizations and algorithmic contributions requires an elementary background in probability, statistics, and the concepts of machine learning. A prior knowledge of surrogate-assisted/Bayesian optimization techniques is useful, but not essential.

This book covers the latest advances in playful user interfaces - interfaces that invite social and physical interaction. These new developments include the use of audio, visual, tactile and physiological sensors to monitor, provide feedback and anticipate the behavior of human users. The decreasing cost of sensor and actuator technology makes it possible to integrate physical behavior information in human-computer interactions. This leads to many new entertainment and game applications that allow or require social and physical interaction in sensor- and actuator-equipped smart environments. The topics discussed include: human-nature interaction, human-animal interaction and the interaction with tangibles that are naturally integrated in our smart environments. Digitally supported remote audience participation in artistic or sport events is also discussed. One important theme that emerges throughout the book is the involvement of users in the digital-entertainment design process or even design and implementation of interactive entertainment by users themselves, including children doing so in educational settings.

This book introduces approaches that have the potential to transform the daily practice of psychiatrists and psychologists. This includes the asynchronous communication between mental health care providers and clients as well as the automation of assessment and therapy.

Speech and language are particularly interesting from the viewpoint of psychological assessment. For instance, depression may change the characteristics of voice in individuals and these changes can be detected by a special form of speech analysis. Computational screening methods that utilize speech and language can detect subtle changes and alert clinicians as well as individuals and caregivers.

The use of online technologies in mental health, however, poses ethical problems that will occupy concerned individuals, governments and the wider public for some time. Assuming that these ethical problems can be solved, it should be possible to diagnose and treat mental health disorders online (excluding the use of medication).

Speech and language are particularly interesting from the viewpoint of psychological assessment. For instance, depression may change the characteristics of voice in individuals and these changes can be detected by a special form of speech analysis. Computational screening methods that utilize speech and language can detect subtle changes and alert clinicians as well as individuals and caregivers.

The use of online technologies in mental health, however, poses ethical problems that will occupy concerned individuals, governments and the wider public for some time. Assuming that these ethical problems can be solved, it should be possible to diagnose and treat mental health disorders online (excluding the use of medication).

Since its origination in the mid-twentieth century, the area of Artificial Intelligence (AI) has undergone a number of developments. While the early interest in AI was mainly triggered by the desire to develop artifacts that show the same intelligent behavior as humans, nowadays scientists have realized that research in AI involves a multitude of separate challenges, besides the traditional goal to replicate human intelligence. In particular, recent history has pointed out that a variety of 'intelligent' computational techniques, part of which are inspired by human intelligence, may be successfully applied to solve all kinds of practical problems. This sub-area of AI, which has its main emphasis on applications of intelligent systems to solve real-life problems, is currently known under the term Applied Intelligence. The objective of the International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE) is to promote and disseminate recent research developments in Applied Intelligence. The current book contains 30 chapters authored by participants of the 26th edition of IEA/AIE, which was held in Amsterdam, the Netherlands. The material of each chapter is self-contained and was reviewed by at least two anonymous referees, to assure a high quality. Readers can select any individual chapter based on their research interests without the need of reading other chapters. We are confident that this book provides useful reference values to researchers and students in the field of Applied Intelligence, enabling them to find opportunities and recognize challenges in the field.

This book highlights electromagnetic actuation (EMA) and sensing systems for a broad range of applications including targeted drug delivery, drug-release-rate control, catheterization, intravitreal needleless injections, wireless magnetic capsule endoscopy, and micromanipulations. It also reviews the state-of-the-art magnetic actuation and sensing technologies with remotely controlled targets used in biomedicine.

This book is devoted to a novel approach for dimensionality reduction based on the famous nearest neighbor method that is a powerful classification and regression approach. It starts with an introduction to machine learning concepts and a real-world application from the energy domain. Then, unsupervised nearest neighbors (UNN) is introduced as efficient iterative method for dimensionality reduction. Various UNN models are developed step by step, reaching from a simple iterative strategy for discrete latent spaces to a stochastic kernel-based algorithm for learning submanifolds with independent parameterizations. Extensions that allow the embedding of incomplete and noisy patterns are introduced. Various optimization approaches are compared, from evolutionary to swarm-based heuristics. Experimental comparisons to related methodologies taking into account artificial test data sets and also real-world data demonstrate the behavior of UNN in practical scenarios. The book contains numerous color figures to illustrate the introduced concepts and to highlight the experimental results.

The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.

This brief book presents the strong fractional analysis of Banach space valued functions of a real domain. The book's results are abstract in nature: analytic inequalities, Korovkin approximation of functions and neural network approximation. The chapters are self-contained and can be read independently. This concise book is suitable for use in related graduate classes and many research projects. An extensive list of references is provided for each chapter. The book's results are relevant for many areas of pure and applied mathematics. As such, it offers a unique resource for researchers, and a valuable addition to all science and engineering libraries.

This book contains a selection of papers that were initially presented at the 4th On-Line World Conference on Soft Computing in Industrial Applications that was held in September 1999. Soft Computing provides various methodologies for developing intelligent systems that offer competitive solutions to real world problems. This book is comprised of a unique collection of papers that provide a comprehensive overview of state-of-the-art-theory and sucessful industrial applications of soft computing around the world. It is written by some of the leading researchers in this field. This book is aimed at researchers and professional engineers who are engaged in developing intelligent systems as well as graduate students in science and engineering.

In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely much on ad hoc tweaking of parameters to control the search by balancing the level of exploitation and exploration are grossly inadequate. As shown in the work reported here, such parameters tweaking based approaches have their limits; they can be easily fooled by cases of triviality or peculiarity of the class of problems that the algorithms are designed to handle. Furthermore, these approaches are usually blind to the interactions between the decision variables, thereby disrupting the partial solutions that are being built up along the way.

The amount of digital data available in the world doubles almost every year. Managed well, this data can be used to extract new sources of knowledge for daily business use. Multidisciplinary Computational Intelligence Techniques: Applications in Business, Engineering, and Medicine explores the complex world of computational intelligence, which utilizes computational methodologies such as fuzzy logic systems, neural networks, and evolutionary computation for the purpose of managing and using data effectively and addressing complicated real-world problems. This publication brings together various segments of computational intelligence and its applications in the worlds of business, engineering, and medicine.

This book gathers extended versions of the best papers presented at the 8th IEEE conference on Intelligent Systems, held in Sofia, Bulgaria on September 4-6, 2016, which are mainly related to theoretical research in the area of intelligent systems. The main focus is on novel developments in fuzzy and intuitionistic fuzzy sets, the mathematical modelling tool of generalized nets and the newly defined method of intercriteria analysis. The papers reflect a broad and diverse team of authors, including many young researchers from Australia, Bulgaria, China, the Czech Republic, Iran, Mexico, Poland, Portugal, Slovakia, South Korea and the UK.

This book contains an interesting and state-of the art collection of chapters presenting several examples of attempts to developing modern tools utilizing computational intelligence in different real life problems encountered by humans. Reasoning, prediction, modeling, optimization, decision making, etc. need modern, soft and intelligent algorithms, methods and methodologies to solve, in the efficient ways, problems appearing in human activity. The contents of the book is divided into two parts. Part I, consisting of four chapters, is devoted to selected links of computational intelligence, medicine, health care and biomechanics. Several problems are considered: estimation of healthcare system reliability, classification of ultrasound thyroid images, application of fuzzy logic to measure weight status and central fatness, and deriving kinematics directly from video records. Part II, also consisting of four chapters, is devoted to selected links of computational intelligence and biology. The common denominator of three chapters is Physarum polycephalum, one-cell organisms able to build complex networks for solving different computational tasks. One chapter focuses on a novel device, the memristor, that has possible uses both in the creation of hardware neural nets for artificial intelligence and as the connection between a hardware neural net and a living neuronal cell network in the treatment and monitoring of neurological disease. This book is intended for a wide audience of readers who are interested in various aspects of computational intelligence.