Principles for constructing intelligent systems
Design of Logic-based Intelligent Systems develops principles andmethods for constructing intelligent systems for complex tasks thatare readily done by humans but are difficult for machines. CurrentArtificial Intelligence (AI) approaches rely on various constructsand methods (production rules, neural nets, support vectormachines, fuzzy logic, Bayesian networks, etc.). In contrast, thisbook uses an extension of propositional logic that treats allaspects of intelligent systems in a unified and mathematicallycompatible manner.
Topics include:
* Levels of thinking and logic
* Special cases: expert systems and intelligent agents
* Formulating and solving logic systems
* Reasoning under uncertainty
* Learning logic formulas from data
* Nonmonotonic and incomplete reasoning
* Question-and-answer processes
* Intelligent systems that construct intelligent systems
Design of Logic-based Intelligent Systems is both a handbook forthe AI practitioner and a textbook for advanced undergraduate andgraduate courses on intelligent systems. Included are more thanforty algorithms, and numerous examples and exercises. Thepurchaser of the book may obtain an accompanying software package(Leibniz System) free of charge via the internet atleibnizsystem.com.