Simple Causal Minimizations for Temporal Persistence and Projection

Formalizing temporal persistence and solving the temporal projection problem within traditional non-monotonic logics is shown possible through two different approaches, neither of which requires any special minimization techniques. Minimizing potential causes is shown to yield a type of temporal persistence that is useful for the temporal projection problem, although it differs significantly from the ordinary conception of temporal persistence. A conception of determined causes is then developed whose minimization does yield the results preferred by ordinary temporal persistence. Finally, previous approaches to formalizing temporal persistence using chronological minimizations are shown inadequate for certain classes of scenarios, which causal minimizations formalize correctly.

[1]  John McCarthy,et al.  Programs with common sense , 1960 .

[2]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[3]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[4]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

[6]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[7]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[8]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[9]  D. McDermott,et al.  Temporal Reasoning and Default Logics. , 1985 .

[10]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[11]  D. Perlis,et al.  The SUPREM architecture: a new intelligent paradigm , 1986 .

[12]  Donald Perlis,et al.  Completeness Results for Circumscription , 1986, Artif. Intell..

[13]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[14]  Henry A. Kautz The Logic of Persistence , 1986, AAAI.

[15]  Yoav Shoham,et al.  Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories , 1986, AAAI.

[16]  John McCarthy,et al.  Circumscription—a form of non-monotonic reasoning , 1987 .

[17]  V. Lifschitz Formal theories of action , 1987 .

[18]  Vladimir Lifschitz,et al.  Formal Theories of Action (Preliminary Report) , 1987, IJCAI.

[19]  F. Suppe,et al.  Nonmonotonic formalisms for commonsense temporal-causal reasoning , 1989 .

[20]  J. McCarthy Circumscription|a Form of Nonmonotonic Reasoning , 1979 .