Knowledge, Representation and Reasoning

Ronald J. Brachman, Hector J. Levesque - Collection Morgan Kaufmann Publishers

381 pages, parution le 05/11/2004

Ajouter à une liste

Indisponible

Résumé

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.

L'auteur - Ronald J. Brachman

Ron Brachman is a Founding Fellow and is currently President of the American Association for Artificial Intelligence (AAAI). He is the Director of the Information Processing Technology Office at the US Defense Advanced Research Projects Agency (DARPA), where he leads a new national-scale initiative in Cognitive Systems. He is also a Fellow of the Association for Computing Machinery.

L'auteur - Hector J. Levesque

Hector Levesque is a Founding Fellow of the American Association for Artificial Intelligence (AAAI) and is Past President of the International Joint Conferences on Artificial Intelligence (IJCAI). He is on the faculty of the University of Toronto where he has been teaching knowledge representation and reasoning since 1984. He is also a recipient of the prestigious IJCAI Computers and Thought Award.

Sommaire

Introduction
The Language of First-Order Logic
Expressing Knowledge
Resolution
Horn Logic
Procedural Control of Reasoning
Rules in Production Systems
Object-Oriented Representation
Structured Descriptions
Inheritance
Numerical Uncertainty
Defaults
Abductive Reasoning
Actions
Planning
A Knowledge Representation Tradeoff

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Elsevier
Auteur(s)	Ronald J. Brachman, Hector J. Levesque
Collection	Morgan Kaufmann Publishers
Parution	05/11/2004
Nb. de pages	381
Format	19,5 x 24
Couverture	Relié
Poids	1034g
Intérieur	Noir et Blanc
EAN13	9781558609327
ISBN13	978-1-55860-932-7