Knowledge Representation and Reasoning ( The Morgan Kaufmann Series in Artificial Intelligence )

Publication series :The Morgan Kaufmann Series in Artificial Intelligence

Author: Brachman   Ronald;Levesque   Hector  

Publisher: Elsevier Science‎

Publication year: 2004

E-ISBN: 9780080489322

P-ISBN(Paperback): 9781558609327

P-ISBN(Hardback):  9781558609327

Subject: TP Automation Technology , Computer Technology;TP3 Computers

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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 t

Chapter

Front Cover

pp.:  1 – 6

Copyright Page

pp.:  7 – 10

Contents

pp.:  10 – 18

Preface

pp.:  18 – 28

Acknowledgments

pp.:  28 – 32

Chapter 1. Introduction

pp.:  32 – 46

Chapter 2. The Language of First-Order Logic

pp.:  46 – 62

Chapter 3. Expressing Knowledge

pp.:  62 – 80

Chapter 4. Resolution

pp.:  80 – 116

Chapter 5. Reasoning with Horn Clauses

pp.:  116 – 130

Chapter 6. Procedural Control of Reasoning

pp.:  130 – 148

Chapter 7. Rules in Production Systems

pp.:  148 – 166

Chapter 8. Object-Oriented Representation

pp.:  166 – 186

Chapter 9. Structured Descriptions

pp.:  186 – 218

Chapter 10. Inheritance

pp.:  218 – 236

Chapter 11. Defaults

pp.:  236 – 268

Chapter 12. Vagueness, Uncertainty, and Degrees of Belief

pp.:  268 – 298

Chapter 13. Explanation and Diagnosis

pp.:  298 – 316

Chapter 14. Actions

pp.:  316 – 336

Chapter 15. Planning

pp.:  336 – 358

Chapter 16. The Tradeoff between Expressiveness and Tractability

pp.:  358 – 380

Bibliography

pp.:  380 – 408

Index

pp.:  408 – 414

The users who browse this book also browse


No browse record.