Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic
Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Circumscription in a Modal Logic
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The power of beliefs or translating default logic into standard autoepistemic logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Minimal belief and negation as failure: a feasible approach
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Minimal knowledge and belief via minimal topology
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
An approach to minimal belief via objective belief
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Correct Reasoning
A Default Logic Based On Epistemic States
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
| Hi-index | 0.02 |
Default Logic and Autoepistemic Logic are the two best-known fixed-points non-monotonic logics. Despite the fact that they are known to be closely related and that the epistemic nature of Autoepistemic Logic is obvious, the only semantics that have been offered for Default Logic to date are complex and have little to do with epistemic notions [Etherington 1987]. In this paper we provide simple uniform epistemic semantics for the two logics. We do so by translating them both into a new logic, called GK, of Grounded Knowledge, which embodies a modification of preference semantics [Shoham 1987]. Beside their simplicity and uniformity, the semantics have two other advantages: They allow easy proofs of the connections between Default Logic and Autoepistemic Logic, and suggest a general class of logics of which the two logics are special cases.