Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations

✍ Scribed by Maroua Bouzid, Antoni Ligęza (auth.), Prof. Carlos Cotta, Prof. Simeon Reich, Prof. Robert Schaefer, Prof. Antoni Ligęza (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2008
• Tongue: English
• Leaves: 335
• Series: Studies in Computational Intelligence 102
• Edition: 1
• Category: Library

✦ Synopsis

Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational Intelligence and Knowledge Engineering with strong mathematical foundations. It embraces methods and approaches coming from diverse computational paradigms, such as evolutionary computation and nature-inspired algorithms, logic programming and constraint programming, rule-based systems, fuzzy sets and many others. The use of various knowledge representation formalisms and knowledge processing and computing paradigms is oriented towards the efficient resolution of computationally complex and difficult problems.

The main aim of this volume has been to gather together a selection of recent papers providing new ideas and solutions for a wide spectrum of Knowledge-Driven Computing approaches. More precisely, the ultimate goal has been to collect new knowledge representation, processing and computing paradigms which could be useful to practitioners involved in the area of discussion. To this end, contributions covering both theoretical aspects and practical solutions, and dealing with topics of interest for a wide audience, and/or cross-disciplinary research were preferred.

✦ Table of Contents

Front Matter....Pages I-XVII
Temporal Specifications with FuXTUS. A Hierarchical Fuzzy Approach....Pages 1-16
Bond Rating with π Grammatical Evolution....Pages 17-30
Handling the Dynamics of Norms – A Knowledge-Based Approach....Pages 31-43
Experiments with Grammatical Evolution in Java....Pages 45-62
Processing and Querying Description Logic Ontologies Using Cartographic Approach....Pages 63-80
Rough Sets Theory for Multi-Objective Optimization Problems....Pages 81-98
How to Acquire and Structuralize Knowledge for Medical Rule-Based Systems?....Pages 99-116
On Use of Unstable Behavior of a Dynamical System Generated by Phenotypic Evolution....Pages 117-131
Temporal Specifications with XTUS. A Hierarchical Algebraic Approach....Pages 133-148
A Parallel Deduction for Description Logics with ALC Language....Pages 149-164
Applications of Genetic Algorithms in Realistic Wind Field Simulations....Pages 165-182
Methodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering....Pages 183-198
XML Schema Mappings Using Schema Constraints and Skolem Functions....Pages 199-215
Outline of Modification Systems....Pages 217-233
Software Metrics Mining to Predict the Performance of Estimation of Distribution Algorithms in Test Data Generation....Pages 235-254
Design and Analysis of Rule-based Systems with Adder Designer....Pages 255-271
A Query-Driven Exploration of Discovered Association Rules....Pages 273-288
A Universal Tool for Multirobot System Simulation....Pages 289-303
Advancing Dense Stereo Correspondence with the Infection Algorithm....Pages 305-324

✦ Subjects

Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics); Applications of Mathematics