Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
A rational reconstruction of nonmonotonic truth maintenance systems (research note)
Artificial Intelligence
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic Default Modal Logics
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
Hi-index | 0.00 |
The key concept of autoepistemic logic introduced by Moore is a stable expansion of a set of premises, i.e., a set of beliefs adopted by an agent with perfect introspection capabilities on the basis of the premises. Moore's formalization of a stable expansion, however, is nonconstructive and produces sets of beliefs which are quite weakly grounded in the premises. A new more constructive definition of the sets of beliefs of the agent is proposed. It is based on classical logic and enumerations of formulae. Considering only a certain subclass of enumerations, L-hierarchic enumerations, an attractive class of expansions is captured to characterize the sets of beliefs of a fully introspective agent. These L-hierarchic expansions are stable set minimal, very tightly grounded in the premises and independent of the syntactic representation of premises. Furthermore, Reiter's default logic is shown to be a special case of autoepistemic logic based on L-hierarchic expansions.