THE LOGIC OF ONLY KNOWING AS A UNIFIED FRAMEWORK FOR NON-MONOTONIC REASONING
Jianhua Chen · Fundamenta Informaticae · 1994
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 an