Design of Intelligent Systems

Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner.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.