The logic of knowledge bases

• Main Author: Levesque, Hector J., 1951-
• Other Authors: Lakemeyer, Gerhard
• Format: eBook
• Language: English
• Published: Cambridge, Mass. : MIT Press, c2000.
• Subjects: Knowledge representation (Information theory); Expert systems (Computer science); Logic, Symbolic and mathematical.; elektronické knihy; electronic books
• ISBN: 9780262278232
• Physical Description: 1 online zdroj (xviii, 282 p.)

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.