Knowledge Representation and ReasoningMorgan Kaufmann, 19/05/2004 - 381 páginas A concise and lucid exposition of the major topics in knowledge representation, from two of the leading authorities in the field. -Stuart Russell, UC Berkeley 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 have been at the forefront of KR&R for two decades. This is the definitive book on KR&R, and it is long overdue. -Yoav Shoham, Stanford University 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. |
Índice
Chapter 1 Introduction | 1 |
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 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 |
349 | |
377 | |
Outras edições - Ver tudo
Knowledge Representation and Reasoning Ronald Brachman,Hector Levesque Pré-visualização limitada - 2004 |
Knowledge Representation and Reasoning Ronald Brachman,Hector Levesque Pré-visualização indisponível - 2004 |
Palavras e frases frequentes
actions allow answer appear applicable assume assumption atomic axioms base belief calculate called Chapter clauses complete computational concept conclusions consider consistent constants contains course default defined definition derivation description logic determine discussed domain edge effect element empty entailed example Exercise EXISTS explanation express extension fact Figure Finally formula frame function given goal Horn idea imagine individual inheritance instance interpretation involves John knowledge representation language literals logic look means names negative normal Note objects Observe operator person planning positive possible predicates presented probability problem procedure production properties propositional question reasoning relation represent Resolution result role rule satisfies sentences sequence simple situation slot sort specific step structure Suppose symbols things tion true variables
Referências a este livro
Automata, Computability and Complexity: Theory and Applications Elaine Rich Visualização de excertos - 2008 |