Books like The logic of knowledge bases by Hector J. Levesque


In "The Logic of Knowledge Bases," Levesque examines how a knowledgeโ€‘based system infers actions by applying formal reasoning procedures to an explicitly represented body of knowledge. Rather than being programmed for specific tasks, such systems are furnished with the necessary knowledge and are expected to deduce the rest. The book rigorously develops a mathematical model of knowledge that is both expressive and practical, building on firstโ€‘order predicate logic. It traces the relationship between symbolic representations and abstract knowledge states, and it addresses the broader foundations of knowledge representation, reasoning, and expert systems.
First publish date: 2000
Genre: Technology & Computing/Artificial Intelligence
Authors: Hector J. Levesque
★ ★ ★ ★ ★ 4.3 (6 community ratings)

The logic of knowledge bases by Hector J. Levesque

How are these books recommended?

The books recommended for The logic of knowledge bases by Hector J. Levesque are shaped by reader interaction. Votes on how closely books relate, user ratings, and community comments all help refine these recommendations and highlight books readers genuinely find similar in theme, ideas, and overall reading experience.


Have you read any of these books?
Your votes, ratings, and comments help improve recommendations and make it easier for other readers to discover books theyโ€™ll enjoy.

Books similar to The logic of knowledge bases (4 similar books)

Computability and logic by 8336058|George Boolos book cover

๐Ÿ“˜ Computability and logic


โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Introduction to artificial intelligence by 2572411|Philip C. Jackson book cover

๐Ÿ“˜ Introduction to artificial intelligence


โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Foundations of Logic and Mathematics by 6642334|Yves Nievergelt book cover

๐Ÿ“˜ Foundations of Logic and Mathematics


โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Specifying systems by 11599264|Leslie Lamport book cover

๐Ÿ“˜ Specifying systems


โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜…โ˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0

Some Other Similar Books

Reasoning About Knowledge by Fagin, Halpern, Moses, Vardi
Knowledge and Belief in Artificial Intelligence by Ladislav Kvasnica, Michalis Voyiatzis
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan
Formal Theories of Knowledge and Action by Ron van der Meyden
Dynamic Epistemic Logic by Allan B. Chambliss
Knowledge-Based Systems: Principles, Techniques, and Applications by Gerald L. Kaminski
Logical Foundations of Artificial Intelligence by Michael R. Genesereth, Nils J. Nilsson
Automated Reasoning: Introduction and Applications by Georg Gottlob, Wolfgang Bibel

Have a similar book in mind? Let others know!

Please login to submit books!