A Causal Theory of Ramifications and Qualifications

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1978-1984

  McCain, Norman ^a   Turner, Hudson ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACKGROUND KNOWLEDGE; CAUSAL THEORY; CONDITION; CONDITIONAL LOGIC; FIXPOINTS; INDIRECT EFFECTS; INFERENCE RULES; SIMPLE++; STANDARD FRAMEWORKS; STATE CONSTRAINTS;

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

References (14)

1. [Baker, 199l] Andrew Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5-23,1991.
2. [Brewka and Hertzberg, 1993] Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: On formalizing actions and plans. Journal of Logic and Computation, 3(5), 1993.
3. [Elkan, 1992] Charles Elkan. Reasoning about action in first-order logic. In Proc. of the 1992 Canadian Conf. on Artificial Intelligence, 1992.
4. [Geffner, 1990] Hector Geffner. Causal theories of nonmonotonic reasoning. In Proc. AAA 1-90, pages 524- 530, 1990. [Gelfond and Lifschitz, 1993]
5. Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-322, 1993.
6. [Ginsberg and Smith, 1988] M.L. Ginsberg and D.E. Smith. Reasoning about actions I I : The qualification problem. Artificial Intelligence, 35:311-342, 1988.
7. [Kartha and Lifschitz, 1994] G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects. In Proc. of the Fourth Int.'I Conf. on Principles of Knowledge Representation and Reasoning, pages 341- 350,1994.
8. [Kim, 1974] Jaegwon Kim. Noncausal connections. Nous, 8:41-52, 1974.
9. [Lifschitz, 1990] Vladimir Lifschitz. Frames in the space of situations. Artificial Intelligence, 46:365-376, 1990.
10. [Lin and Reiter, 1994] Fangzh en Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5):655-678, 1994.
11. [Lin, 1995] Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI- 95, 1995.
12. [Marek and Truszczyriski, 1994] W. Marek and M. Truszczyriski. Revision specifications by means of revision programs. In Logics in AJ. Proceedings of JELIA '94- Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
13. [Przymusinski and Turner, 1995] Teodor Przymusinski and Hudson Turner. Update by means of inference rules. In Proc. of the Third Int'l Conf. on Logic Programming and Non-Monotonic Reasoning, 1995.
14. [Winslett, 1988] Marianne Winslett. Reasoning about action using a possible models approach. In Proc. AAAI-88, pages 89-93, 1988.