Find a copy online
Links to this item
cognet.mit.edu Restricted to MIT Press CogSci subscribers
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Hector J Levesque; Gerhard Lakemeyer |
| ISBN: | 0262122324 9780262122320 |
| OCLC Number: | 43615402 |
| Description: | xviii, 282 p. ; 24 cm. |
| 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. |
| Responsibility: | Hector J. Levesque and Gerhard Lakemeyer. |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "The logic of knowledge bases".
Be the first.
