Langbeschreibung
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic.
Inhaltsverzeichnis
1 Introduction 2 Declarative Knowledge 3 Inference 4 Resolution 5 Resolution Strategies 6 Nonmonotonic Reasoning 7 Induction 8 Reasoning with Uncertain Beliefs 9 Knowledge and Belief 10 Metaknowledge and Metareasoning 11 State and Change 12 Planning 13 Intelligent-Agent Architecture Answers to Exercises