Principles for constructing intelligent systems
Design of Logic–based Intelligent Systems developsprinciples and methods for constructing intelligent systems forcomplex tasks that are readily done by humans but are difficult formachines. Current Artificial Intelligence (AI) approaches rely onvarious constructs and methods (production rules, neural nets,support vector machines, fuzzy logic, Bayesian networks, etc.). Incontrast, this book uses an extension of propositional logic thattreats all aspects of intelligent systems in a unified andmathematically compatible 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 ahandbook for the AI practitioner and a textbook for advancedundergraduate and graduate courses on intelligent systems. Includedare more than forty algorithms, and numerous examples andexercises. The purchaser of the book may obtain an accompanyingsoftware package (Leibniz System) free of charge via the internetat leibnizsystem.com.