This textbook introduces graduates and advanced undergraduates to logic-based intelligent systems, a subject that is not precisely the same as artificial intell... » 

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, ar «