Design of Logic-based Intelligent Systems

Design of Logic-based Intelligent Systems develops principles for constructing intelligent systems for complex tasks that are readily done by humans, but so far have proved to be difficult for machines. In contrast to the current AI technology of relying on various, incompatible constructs and methods (neural nets, support vector machines, fuzzy logic, etc.), the book offers a uniform approach to theorem proving for intelligent system, using an extension of propositional logic, for: decision making, optimization of decisions, uncertainty, futile questioning, and much more.