论文信息 - Temporal Projection and Explanation

Temporal Projection and Explanation

We propose a solution to problems involving temporal projection and explanation (e.g., the Yale shooting problem) based on the idea that whether a situation is abnormal should not depend upon historical information about how the situation arose. We apply these ideas both to the Yale shooting scenario and to a blocks world domain that needs to address the qualification problem.

Andrew B. Baker | Matthew L. Ginsberg | M. Ginsberg | A. B. Baker

[1] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[2] Vladimir Lifschitz,et al. Pointwise circumscription , 1987 .

[3] Brian A. Haugh,et al. Simple Causal Minimizations for Temporal Persistence and Projection , 1987, AAAI.

[4] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[5] Andrew B. Baker,et al. A Simple Solution to the Yale Shooting Problem , 1989, KR.

[6] Michael Gelfond,et al. Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report , 1988, NMR.

[7] Matthew L. Ginsberg,et al. Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[8] Drew McDermott,et al. A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

[9] Michael Gelford,et al. Autoepistemic logic and formalization of commonsense reasoning: preliminary report , 1989 .

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

[11] J. Finger,et al. Exploiting constraints in design synthesis , 1987 .

[12] Y Shoham,et al. Chronological ignorance , 1987 .

[13] Vladimir Lifschitz,et al. ON THE SEMANTICS OF STRIPS , 1987 .

[14] Vladimir Lifschitz,et al. Miracles in Formal Theories of Action , 1989, Artif. Intell..

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