Nonmonotonic reasoning
Saved in:
| Main Author | |
|---|---|
| Other Authors | |
| Format | eBook |
| Language | English |
| Published |
Cambridge, Mass. :
MIT Press,
c1997.
|
| Series | Artificial intelligence (Cambridge, Mass.)
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9780262267199 |
| Physical Description | 1 online zdroj (xii, 285 p.) : ill. |
Cover
Table of Contents:
- 1. Introduction
- 2. Predicate Logic
- 3. Default Reasoning
- 4. Operational Semantics of Default Logic
- 5. Normal Default Theories
- 6. Semi-normal Default Theories
- 7. Alternative Approaches
- 8. Priorities Among Defaults
- 9. Autoepistemic Logic
- 10. Computing Expansions of AE-Theories
- 11. Embedding Default Logic into AE-Logic
- 12. Circumscription
- 13. Nonmonotonic Inference Relations
- 14. Belief Revision
- 15. Implementing Belief Revision
- 16. Interconnections
- 17. The System Theorist
- 18. Stable Model Semantics of Logic Programs
- 19. Well-Founded Semantics
- 20. Future Directions of Nonmonotonic Reasoning Research.