الصفحة 1
الصفحة 1
Logical Foundations for Rule-Based Systems
Presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification.
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
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.
Advances in Learning Classifier Systems ; 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers
The Fourth International Workshop on Learning Classifier Systems (IWLCS2001) was held July 7-8, 2001, in San Francisco, California, during the Geneticand Evolutionary Computation Conference (GECCO 2001). We have includedin this volume revised and extended versions of eleven of the papers presentedat the workshop.The volume is organized into two main parts. The first is dedicated to importanttheoretical issues of learning classifier systems research including the influenceof exploration strategy, a model of self-adaptive classifier systems, and the useof classifier systems for social simulation. The second part contains papers dis-cussing applications of learning classifier systems such as data mining, stocktrading, and power distribution networks.An appendix contains a paper presenting a formal description of ACS, a rapidlyemerging learning classifier system model.
