Knowledge Representation and Reasoning (Google eBook)

Front Cover
Elsevier, Jun 17, 2004 - Computers - 381 pages
0 Reviews
Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed.

This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way. Each of the various styles of representation is presented in a simple and intuitive form, and the basics of reasoning with that representation are explained in detail. This approach gives readers a solid foundation for understanding the more advanced work found in the research literature. The presentation is clear enough to be accessible to a broad audience, including researchers and practitioners in database management, information retrieval, and object-oriented systems as well as artificial intelligence. This book provides the foundation in knowledge representation and reasoning that every AI practitioner needs.

*Authors are well-recognized experts in the field who have applied the techniques to real-world problems
* Presents the core ideas of KR&R in a simple straight forward approach, independent of the quirks of research systems
*Offers the first true synthesis of the field in over a decade
  

What people are saying - Write a review

Review: Knowledge Representation and Reasoning

User Review  - Paul - Goodreads

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. Read full review

Contents

Chapter 2 The Language of FirstOrder Logic
15
Chapter 3 Expressing Knowledge
31
Chapter 4 Resolution
49
Chapter 5 Reasoning with Horn Clauses
85
Chapter 6 Procedural Control of Reasoning
99
Chapter 7 Rules in Production Systems
117
Chapter 8 ObjectOriented Representation
135
Chapter 9 Structured Descriptions
155
Chapter 11 Defaults
205
Chapter 12 Vagueness Uncertainty and Degrees of Belief
237
Chapter 13 Explanation and Diagnosis
267
Chapter 14 Actions
285
Chapter 15 Planning
305
Chapter 16 The Tradeoff between Expressiveness and Tractability
327
Bibliography
349
Index
377

Chapter 10 Inheritance
187

Common terms and phrases

Bibliographic information