Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
A non-monotonic logic for reasoning about speech acts and belief revision
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Formalization of inheritance reasoning in autoepistemic logic
Fundamenta Informaticae
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Quantification in autoepistemic logic
Fundamenta Informaticae - Special issue: logics for artificial intelligence
On consistency and completeness of autoepistemic theories
Fundamenta Informaticae
Computing extensions of nonmonotonic logics
SCAI93 Proceedings of the Fourth Scandinavian Conference on Artificial intelligence---93
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Logic; A Foundation for Computer Science (International Computer Science Series)
Logic; A Foundation for Computer Science (International Computer Science Series)
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report
Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning
| Hi-index | 0.00 |
The subject of nonmonotonic reasoning is reasoning with incompleteinformation. One of the main approaches is autoepistemic logic inwhich reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic,stressing its motivation and basic concepts. The meaning (semantics)of autoepistemic logic is given in terms of so-called expansionswhich are usually defined as solutions of a fixed-point equation. Thepresent paper shows a more understandable, operational method fordetermining expansions. By improving applicability of the basicconcepts to concrete examples, we hope to make a contribution to awider usage of autoepistemic logic in practical applications.