The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer.
The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer.
The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer.
About this item
Full title
Author / Creator
Publisher
Cambridge, Mass. : MIT Press, c2000.
Call Numbers
N006.332/1
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xviii, 282 p. ; 24 cm.
Contents
1. Introduction -- 2. A First-Order Logical Language -- 3. An Epistemic Logical Language -- 4. Logical Properties of Knowledge -- 5. The TELL and ASK Operations -- 6. Knowledge Bases as Representations of Epistemic States -- 7. The Representation Theorem -- 8. Only-Knowing -- 9. Only-Knowing and Aut...
Publication information
Publisher
Cambridge, Mass. : MIT Press, c2000.
Place of Publication
Massachusetts
Date Published
c2000.
Subjects
More information
Scope and Contents
Summary
"A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge - a knowledge base. The system is not programmed for specific tasks: rather, it is told what it needs to know and is expected to infer the rest." "This book is about the logic of such knowledge bases. It describes in d...
Alternative Titles
Full title
The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer.
Authors, Artists and Contributors
Author / Creator
Author / Artists
Notes
General note
Includes bibliographical references (p. [275]-280) and index.
Contextual Information
Date Copyright
c2000.
Identifiers
Primary Identifiers
Call Numbers
N006.332/1
Record Identifier
74VvA00r2elg
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvA00r2elg
Other Identifiers
ISBN
0262122324 (alk. paper)
9780262122320 (alk. paper)
DDC
006.332
MMS ID
991013692199702626
