Design of Logic-based Intelligent Systems, Klaus Truemper
This textbook introduces graduates and advanced undergraduates to logic-based intelligent systems, a subject that is not precisely the same as artificial intelligence, which seeks to design systems that can think like humans. Instead, this book is about using propositional logic to design systems that solve problems which, when solved by humans, are said to require intelligence. Topics covered include an introduction to propositional logic, reasoning under uncertainty, formulating and solving logic...
