Knowledge representation and reasoning
By: Ronald J. Brachman, Hector J. Levesque.
Contributors: Levesque, Hector J., 1951-
Publisher: Morgan Kaufmann
Published: 2003
Place of publication: Amsterdam; Boston
Language: eng
Format: Hardcover
Number of pages: 381
Subjects: Knowledge representation (Information theory); Reasoning
Description: "This 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."--BOOK JACKET.
Notes: Includes bibliographical references (p. 349-375) and index.
Table of contents: title: Preface
pagenum: xvii; title: Acknowledgments
pagenum: xxvii; label: 1
title: Introduction
pagenum: 1; label: 2
title: The Language of First-Order Logic
pagenum: 15; label: 3
title: Expressing Knowledge
pagenum: 31; label: 4
title: Resolution
pagenum: 49; label: 5
title: Reasoning with Horn Clauses
pagenum: 85; label: 6
title: Procedural Control of Reasoning
pagenum: 99; label: 7
title: Rules in Production Systems
pagenum: 117; label: 8
title: Object-Oriented Representation
pagenum: 135; label: 9
title: Structured Descriptions
pagenum: 155; label: 10
title: Inheritance
pagenum: 187; label: 11
title: Defaults
pagenum: 205; label: 12
title: Vagueness, Uncertainty, and Degrees of Belief
pagenum: 237; label: 13
title: Explanation and Diagnosis
pagenum: 267; label: 14
title: Actions
pagenum: 285; label: 15
title: Planning
pagenum: 305; label: 16
title: The Tradeoff between Expressiveness and Tractability
pagenum: 327; title: Bibliography
pagenum: 349; title: Index
pagenum: 377