Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Between circumscription and autoepistemic logic
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
Extended logic programs as autoepistemic theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Reflexive autoepistemic logic and logic programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal knowledge + negation as failure = only knowing (sometimes)
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A new logic of beliefs: monotonic and non-monotonic beliefs-part 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We propose to use the logic of only knowing (OL) by Levesque [10] as a unified framework that encompasses various non-monotonic formalisms and logic programming. OL is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases. The OL logic allows one to formally express the statement “α is all I know” (in symbols, Oα) and to perform inferencing based on only-knowing, which is very useful for commonsense reasoning. Another nice thing about the OL logic is that it has a clear model-theoretic semantics and a simple proof theory, which is sound for the quantificational case, and both sound and complete for the prepositional case. We establish the relations between OL and various non-monotonic logics (such as default logic, circumscription) and logic programming, thus extending the existing works relating the OL logic with other non-monotonic reasoning formalisms (e.g., Levesque showed that autoepistemic logic can be embeded in OL). This is accomplished by finding the connection between OL and MBNF, the logic of Minimal Belief and Negation as Failure proposed by Lifschitz [12, 13], which is known to have close relationship with logic programming and other non-monotonic logics. Our results show that OL can be used as a unified framework to compare different non-monotonic formalisms based on the same domain.