Embracing Causality in Specifying the Indirect Effects of Actions

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1985-1991

  Lin, Fangzhen ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN CONSTRAINT; FLUENTS; INDIRECT EFFECTS; NORMAL STATE; SITUATION CALCULUS; STATE CONSTRAINTS;

ARTIFICIAL INTELLIGENCE;

EID: 0005498652     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. [Clark, 1978] Keith L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logics and Databases, pages 293-322. Plenum Press, New York, 1978.
2. [Elkan, 1992] Charles Elkan. Reasoning about action in first-order logic. In Proc. of the 1992 Canadian Conf. on Artificial Intelligence, 1992.
3. [Finger, 1986] Jeff Finger. Exploiting Constraints in Design Synthesis. PhD thesis, Department of Computer Science, Stanford University, Stanford, CA, 1986.
4. [Geffner, 1990] Hector Geffner. Causal theories for nonmonotonic reasoning. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI- 90), pages 524-530, 1990.
5. [Ginsberg and Smith, 1988] Matthew L. Ginsberg and David E. Smith. Reasoning about action I I : the qualification problem. Artificial Intelligence, 35:311-342, 1988.
6. [Haugh, 1987] Brian Haugh. Simple causal minimizations for temporal persistence and projection. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 218-223, 1987.
7. [Iwasaki and Simon, 1986] Yumi Iwasaki and H.A. Simon. Causality in device behavior. Artificial Intelligence, 29:3-32, 1986.
8. [Lifschitz, 1987] Vladimir Lifschitz. Formal theories of action. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI- 87), pages 966-972, 1987.
9. [Lin and Reiter, 1994] Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5):655-678, 1994. [Lin and Shoham, 1991]
10. Fangzhen Lin and Yoav Shoham. Provably correct theories of action: Preliminary report. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991. Full paper to appear in JACM.
11. [McCain and Turner, 1995] Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications. In This Volume, 1995.
12. [McCarthy and Hayes, 1969] John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463- 502. Edinburgh University Press, Edinburgh, 1969.
13. [McCarthy, 1977] John McCarthy. Epistemological problems of Artificial Intelligence. In IJCAI-77, pages 1038-1044. Cambridge, MA, 1977.
14. [McCarthy, 1986] John McCarthy. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence, 28:89-118, 1986.
15. [Pearl, 1988] Judea Pearl. Embracing causality in default reasoning. Artificial Intelligence, 35:259-271, 1988.
16. [Reiter, 19911 Raymond Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 418-420. Academic Press, San Diego, CA, 1991.
17. [Shoham, 1990] Yoav Shoham. Nonmonotonic reasoning and causation. Cognitive Science, 14:213-252, 1990.