文档介绍：In Praise of Knowledge Representation and Reasoning
This book clearly and concisely distills A concise and lucid exposition of the major
decades of work in AI on representing topics in knowledge representation, from
information in an efficient and general two of the leading authorities in the field.
manner. The information is valuable not It provides a thorough grounding, a wide
only for AI researchers, but also for people variety of useful examples and exercises,
working on logical databases, XML, and and some thought-provoking new ideas for
the semantic web: read this book, and avoid the expert reader.
reinventing the wheel! Stuart Russell, UC Berkeley
Henry Kautz, University of Washington
No other text provides a clearer introduc-
Brachman and Levesque describe better tion to the use of logic in knowledge
than I have seen elsewhere, the range of representation, reasoning, and planning,
formalisms between full first order logic at while also covering the essential ideas
its most expressive and formalisms that underlying practical methodologies such as
compromise expressiveness putation production systems, description logic-based
speed. Theirs are the most even-handed systems, and works.
explanations I have seen. Lenhart Schubert, University of
John McCarthy, Stanford University Rochester
This textbook makes teaching my KR course Brachman and Levesque have laid much of
much easier. It provides a solid foundation the foundations of the field of knowledge
and starting point for further studies. While representation and reasoning. This textbook
it does not (and cannot) cover all the topics provides a lucid prehensive
that I tackle in an advanced course on KR, introduction to the field. It is written with the
it provides the basics and the background same clarity and gift for exposition as their
assumptions behind KR research. Together many research publications. The text will
with current research literature, it is the e an invaluable resource fo