An Introduction to Default Logic

An Introduction to Default Logic by Philippe Besnard.

This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people w...

Full description

Saved in:
Bibliographic Details
Main Author: Besnard, Philippe (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989.
Edition:1st ed. 1989.
Series:Artificial Intelligence,
Springer eBook Collection.
Subjects:
Artificial intelligence.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 1. Default Reasoning
  • 2. Formal Logic as a Knowledge Representation Scheme
  • 3. First Order Logic
  • 4. Nonmonotonic Extensions for First Order Logic
  • 5. Presentation of Default Logic
  • 6. Formal Development of Default Logic
  • 7. Normal Defaults
  • 8. Further Topics in Default Logic
  • 9. Fragments of Default Logic
  • 10. Problems with Default Logic
  • 11. Default Logic Revisited
  • 12. Circumscription
  • 13. Other Logic Formalizations of Nonmonotonic Reasoning
  • Appendix: Origin of the Theorems
  • References
  • Table of Symbols.

Similar Items