Knowledge Representation and Reasoning,
Edition 1
By Ronald Brachman and Hector Levesque

Publication Date: 19 May 2004
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.

Key Features

  • 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
About the author
By Ronald Brachman and Hector Levesque
Table of Contents
1 Introduction * 2 The Language of First-Order Logic *3 Expressing Knowledge * 4 Resolution * 5 Horn Logic * 6 Procedural Control of Reasoning * 7 Rules in Production Systems * 8 Object-Oriented Representation * 9 Structured Descriptions * 10 Inheritance * 11 Numerical Uncertainty *12 Defaults *13 Abductive Reasoning *14 Actions * 15 Planning *16 A Knowledge Representation Tradeoff * Bibliography * Index
Book details
ISBN: 9781558609327
Page Count: 416
Retail Price : £74.99
Dechter: Constraint Processing; May 2003; £42.99/$65.95; ISBN: 1558608907; 950 units LTD

Pearl: Probalistic Reasoning in Intelligent Systems; MK; 1988; £47.99/$73.95; ISBN: 1558604790; 16,512 Units LTD
Instructor Resources
Industry professionals and researchers in AI, database management, informaiton retireval, object-oriented systems, and programming languages.