Copyright (c) 2013 John L. Jerz

Knowledge Representation and Reasoning (Brachman, Levesque, 2004)

Home
A Proposed Heuristic for a Computer Chess Program (John L. Jerz)
Problem Solving and the Gathering of Diagnostic Information (John L. Jerz)
A Concept of Strategy (John L. Jerz)
Books/Articles I am Reading
Quotes from References of Interest
Satire/ Play
Viva La Vida
Quotes on Thinking
Quotes on Planning
Quotes on Strategy
Quotes Concerning Problem Solving
Computer Chess
Chess Analysis
Early Computers/ New Computers
Problem Solving/ Creativity
Game Theory
Favorite Links
About Me
Additional Notes
The Case for Using Probabilistic Knowledge in a Computer Chess Program (John L. Jerz)
Resilience in Man and Machine

BrachmanLevesque.jpg

Review
"This book clearly and concisely distills decades of work in AI on representing information in an efficient and general manner. The information is valuable not only for AI researchers, but also for people working on logical databases, XML, and the semantic web: read this book, and avoid reinventing the wheel!"
Henry Kautz, University of Washington

"Brachman and Levesque describe better than I have seen elsewhere, the range of formalisms between full first order logic at its most expressive and formalisms that compromise expressiveness for computation speed. Theirs are the most even-handed explanations I have seen."
John McCarthy, Stanford

"This textbook makes teaching my KR course much easier. It provides a solid foundation and starting point for further studies. While it does not (and cannot) cover all the topics that I tackle in an advanced course on KR, it provides the basics and the background assumptions behind KR research. Together with current research literature, it is the perfect choice for a graduate KR course."
Bernhard Nebel, University of Freiburg

"This is a superb, clearly written, comprehensive overview of nearly all the major issues, ideas, and techniques of this important branch of artificial intelligence, written by two of the masters of the field. The examples are well chosen, and the explanations are illuminating.
Thank you for giving me this opportunity to review and praise a book that has sorely been needed by the KRR community."
Bill Rapaport, University at Buffalo

"A concise and lucid exposition of the major topics in knowledge representation, from two of the leading authorities in the field. It provides a thorough grounding, a wide variety of useful examples and exercises, and some thought-provoking new ideas for the expert reader."
Stuart Russell, UC Berkeley

"Brachman and Levesque have laid much of the foundations of the field of knowledge representation and reasoning. This textbook provides a lucid and comprehensive introduction to the field. It is written with the same clarity and gift for exposition as their many research publications. The text will become an invaluable resource for students and researchers alike."
Bart Selman, Cornell University

"KR&R is known as "core AI" for a reason -- it embodies some of the most basic conceptualizations and technical approaches in the field. And no researchers are more qualified to provide an in-depth introduction to the area than Brachman and Levesque, who have been at the forefront of KR&R for two decades. The book is clearly written, and is intelligently comprehensive. This is the definitive book on KR&R, and it is long overdue."
Yoav Shoham, Stanford University

Book Description
An eminently readable, well-motivated, informative introduction to this key area in AI.

xvii what we need to study is what humans know. It is taken as a given that what allows humans to behave intelligently is that they know a lot of things about a lot of things and are able to apply this knowledge as appropriate to adapt to their environment and achieve their goals. So in the field of knowledge representation and reasoning we focus on the knowledge, not on the knower. We ask what any agent - human, animal, electronic, mechanical - would need to know to behave intelligently, and what sorts of computational mechanisms might allow its knowledge to be made available to the agent as required.
 
p.1 One striking aspect of intelligent behavior is that it is clearly conditioned by knowledge: for a very wide range of activities, we make decisions about what to do based on what we know (or believe) about the world, effortlessly and unconsciously... Knowledge representation and reasoning, then, is that part of AI that is concerned with how an agent uses what it knows in deciding what to do.
 
p.15 Before any system aspiring to intelligence can even begin to reason, learn, plan, or explain its behavior, it must be able to formulate the ideas involved... So we need to start with a language of some sort, in terms of which knowledge can be formulated.
 
p.24 What we are after is a system that can reason.
 
p.31-32 it is essential that we consider the overall architecture of the system we are about to create. We must think ahead to what it is we ultimately want (or want our artificial agent) to compute. We need to make some commitments to the reasons and times that inference will be necessary in our system's behavior. Finally, we need to stake out what is sometimes called an ontology - the kinds of objects that will be important to the agent, the properties those objects will be thought to have, and the relationships among them - before we can start populating our agent's KB [Knowledge Base].
 
p.33 What sorts of objects will there be in our soap-opera world [JLJ - this is an extended example of interacting objects used in the chapter to illustrate the concepts being discussed]?... Another set of one-place predicates that is crucial for our domain representation is the set of attributes that our objects can have... the next key predicates to consider... express relationships.
 
p.33-34 Now that we have our basic vocabulary in place, it is appropriate to start representing the simple core facts of our soap-opera world... Once we have set down the types of each of our objects, we can capture some of the properties of the objects. These properties will be the chief currency in talking about our domain, since we most often want to see what properties (and relationships) are implied by a set of facts or conjectures.
 
p.37 Now that we have captured the basic structure of our soap-opera domain, it is time to turn to the reason that we have done this representation in the first place: deriving implicit conclusions from our explicitly represented KB [Knowledge Base].
 
p.44 Among the many types of facts in the soap-opera world that we have not captured are the following:... statistical and probabilistic facts: These include those that involve portions of the sets of individuals satisfying a predicate...default and prototypical facts: These cite characteristics that are usually true, or reasonable to assume true unless told otherwise

Enter supporting content here