Knowledge Representation

by Ronald J. Brachman, Hector J. Levesque (Editor)

This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.ContentsIntroduction • Nonmonotonic Reasoning in the Framework of Situation Calculus • The Computational Complexity of Abduction • Temporal Constraint Networks • Impediments to Universal Preference-Based Default Theories • Embedding Decision-Analytic Control in a Learning Architecture • The Substitutional Framework for Sorted Fundamental Results on Hybrid Reasoning • Existence Assumptions in Knowledge Representation • Hard Problems for Simple Default Logics • The Effect of Knowledge on Conditioning, Specificity and the Lottery Paradox in Default Reasoning • Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs • On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time • Principles of Metareasoning

Genres: Computers, Reference, Philosophy, Textbooks, Artificial Intelligence, Mathematics

414 pages, Paperback

First published February 18, 1992

Reviews

[Snow · Rating 3 out of 5]

I would have liked to have less logic and more pure explanation of what exactly each element does.

[Paul]

One thing to note when reading is that they use the horseshoe "⊃" symbol instead of the directed arrow "→" to represent implication. I guess this is syntactically valid, but confused me for a while.

[Braga Basil · Rating 4 out of 5]

Good enough for a general understanding, but you need to dig more for specifics.

[Hanna Abi Akl · Rating 5 out of 5]

An excellent primer on all things knowledge representation, reasoning mechanisms and plenty of exercises on the more challenging topics introduced in this book.

[Eric K. · Rating 1 out of 5]

This book is so buns 💔

[Dewi Wardani]

it's close to a general logic in artificial intelligent. good point it's all I needed..but i like it also more elaborate some use cases ... ;)