Specifying causality in action theories: A default logic approach

Theoretical Computer Science

Volumn 220, Issue 2, 1999, Pages 489-513

  Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0342402432     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00011-0     Document Type: Article

References (19)

1. R. Ben-Eliyahu, A hierarchy of tractable subsets for computing stable models, J. Artif. Intell. Res. 6 (1996) 27-52.
2. G. Brewka, J. Hertzberg, How do things with worlds: on formalizing actions and plans, J. Logic Comput. 3(5) (1993) 517-532.
3. J.P. Delgrande, T. Schaub, W.K. Jackson, Alternative approaches to default logic, Artif. Intell. 70 (1994) 167-237.
4. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: Proc. 5th Internat. Conf. on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1070-1080.
5. M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Gen. Comput. 9 (1991) 365-386.
6. M.L. Ginsberg, D.E. Smith, Reasoning about action I: a possible worlds approach, in: Proc. 1987 Workshop on the Frame Problem in Artificial intelligence, F.M. Brown (Ed.), Morgan Kaufmann, Los Altos, CA, 1987, pp. 233-258.
7. P. Hayes, A logic of actions. Machine Intell. 13 (1971) 459-520.
8. G.N. Kartha, V. Lifschitz, Actions with indirect effects (preliminary report), in: Proc. 4th Internat. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, CA, 1994, pp. 341-350.
9. V. Lifschitz, Formal theories of action, in: Proc. 10th Internat. Joint Conf. on Artificial Intelligence (IJCAI'87), Morgan Kaufmann, Los Altos, CA, 1987, pp. 966-972.
10. V. Lifschitz, Frames in the space of situations, Artif. Intell. 46 (1990) 365-376.
11. F. Lin, Embracing causality in specifying the indirect effects of actions, in: Proc. 14th Internat. Joint Conf. on Artificial Intelligence (IJCAI'95), Morgan Kaufmann, Los Altos, CA, 1995, pp. 1985-1993.
12. W. Lukaszewicz, Non-Monotonic Reasoning, Ellis Horwood, Chichester, UK, 1990.
13. N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: Proc. 14th Internat. Joint Conf. on Artificial Intelligence (IJCAI'95), Morgan Kaufmann, Los Altos, CA, 1995, pp. 1978-1984.
14. J. McCarthy, P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Machine Intell. 4 (1969) 463-502.
15. K. Myers, D. Smith, The persistence of derived information, in: Proc. 7th National Conf. on Artificial Intelligence (AAAI'88), Morgan Kaufmann, Los Altos. CA, 1988, pp. 496-500.
16. I. Niemela, P. Simons, Efficient implementation of the well-founded and stable model semantics, in: Proc. 1996 Joint Internat. Conf. and Symp. on Logic Programming, MTT Press, Cambridge, MA, 1996, pp. 289-303.
17. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
18. M. Winslett, Reasoning about action using a possible models approach, in: Proc. 7th National Conf. on Artificial Intelligence (AAAI'88), Morgan Kaufmann, Los Altos, CA, 1988, pp. 89-93.
19. Y. Zhang, Compiling causality into action theories, in: Proc. 3rd Symp. on Logical Formalizations of Commonsense Reasoning (COMMONSENSE'96), Stanford, 1996, pp. 261-270.