Investigations of Logic of Introspection and Related Modes of Reasoning with Applications
Abstract
We investigated symbolic aspects of common sense reasoning. The formalisms studied - nonmonotonic logics - go beyond the, classical logic and encompass such reasoning mechanisms as circumscription, default logic, autoepistemic logic, reason maintenance and logic programming with negation. The area of nonmonotonic logics is currently one of the most active topics in Artificial Intelligence and has potential applications in the next generation of Expert Systems and general reasoning software. Main results of our research provide understanding of the dependence of nonmonotonic modal logics on the underlying monotonic modal logics, explain the relationships between most important modes of non-monotonic reasoning, provide algorithms for automated nonmonotonic reasoning as well as computational complexity results. Several pilot implementations of nonmonotonic reasoning engines were produced.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 17, 1992
- Accession Number
- ADA249286
Entities
People
- Miroslaw Truszczynski
- Victor W. Marek
Organizations
- University of Kentucky