Reasoning about knowledge and causality
A. Mokhtari, A A Nasri · 2003
This paper proposes a new formalism, CTOL, resulting from the integration of OL-nonmonotonic logic of only knowing which models the agent's static knowledge when isolated from his/her environment- into CT -the causal theory based on the idea that nonmonotonic deduction must be modeled naturally by giving certain norms in the world. Thereby we provide a framework to reason about knowledge and causality.