Reasoning about knowledge and causality

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.

[1]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

[2]  Aïcha Mokhtari,et al.  Action-Based Causal Reasoning , 1997, Applied Intelligence.

[3]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[4]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[5]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[6]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[7]  Yoav Shoham,et al.  A Unified View of Belief Revision and Update , 1994, J. Log. Comput..

[8]  Aïcha Mokhtari,et al.  Time in a causal theory , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[9]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[10]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[11]  Aïcha Mokhtari,et al.  Normative and Epistemic Aspects in Causality , 1996, ECAI.

[12]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[13]  Gerhard Lakemeyer,et al.  Only Knowing in the Situation Calculus , 1996, KR.

[14]  Hector J. Levesque,et al.  Knowledge, Action, and Ability in the Situation Calculus , 1994, TARK.

[15]  Joseph Almog,et al.  Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions , 1980, Notre Dame J. Formal Log..