The logic of knowledge bases /

"The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. 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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Levesque, Hector J., 1951-
Other Authors: Lakemeyer, Gerhard
Format: Electronic eBook
Language:Inglés
Published: Cambridge, Mass. : MIT Press, ©2000.
©2000
Subjects:
Knowledge representation (Information theory)
Expert systems (Computer science)
Logic, Symbolic and mathematical.
Expert Systems
Représentation des connaissances.
Systèmes experts (Informatique)
Logique symbolique et mathématique.
COMPUTERS > Expert Systems.
Logic, Symbolic and mathematical
COMPUTER SCIENCE/Artificial Intelligence
Online Access:Texto completo
Table of Contents:
  • Preface
  • Acknowledgments
  • 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 Autoepistemic Logic
  • 10. On the Proof Theory of OL
  • 11. Only-Knowing-About
  • 12. Avoiding Logical Omniscience
  • 13. The Logic EOL
  • 14. Knowledge and Action
  • Epilogue
  • References
  • Index.

Similar Items