A unifying action calculus

Artificial Intelligence

Volumn 175, Issue 1, 2011, Pages 120-141

  Thielscher, Michael ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Knowledge representation; Reasoning about actions; Situation Calculus

Indexed keywords

BIOMINERALIZATION; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PATHOLOGY;

ACTION CALCULUS; CLASSICAL SITUATIONS; EVENT CALCULUS; FLUENT CALCULUS; KNOWLEDGE REPRESENTATION FORMALISM; PLANNING LANGUAGES; REASONING ABOUT ACTIONS; SITUATION CALCULUS;

CALCULATIONS;

EID: 78649721081     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.04.010     Document Type: Article

References (42)

1. A.B. Baker A simple solution to the Yale Shooting problem R. Brachman, H. Levesque, R. Reiter, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) 1989 Morgan Kaufmann Toronto, Canada 11 20
2. A.B. Baker Nonmonotonic reasoning in the framework of situation calculus Artificial Intelligence 49 1991 5 23
3. J. Claßen, P. Eyerich, G. Lakemeyer, and B. Nebel Towards an integration of golog and planning Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2007 AAAI Press Hyderabad, India
4. P. Doherty, J. Gustafsson, L. Karlsson, and J. Kvarnström Temporal action logics (TAL): Language specification and tutorial Electronic Transactions on Artificial Intelligence 2 3-4 1998 273 306
5. R.E. Fikes, and N.J. Nilsson STRIPS: A new approach to the application of theorem proving to problem solving Artificial Intelligence 2 1971 189 208
6. M. Fox, and D. Long PDDL2.1: An extension to PDDL for expressing temporal planning domains Journal of Artificial Intelligence Research 20 2003 61 124
7. M. Gelfond, and V. Lifschitz Representing action and change by logic programs Journal of Logic Programming 17 1993 301 321
8. M. Genesereth, N. Love, and B. Pell General game playing AI Magazine 26 2 2006 73 84
9. M.L. Ginsberg, and D.E. Smith Reasoning about action I: A possible worlds approach Artificial Intelligence 35 1988 165 195
10. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner Nonmonotonic causal theories Artificial Intelligence 153 1-2 2004 49 104
11. J. Gustafsson, and P. Doherty Embracing occlusion in specifying the indirect effects of actions L.C. Aiello, J. Doyle, S. Shapiro, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) 1996 Morgan Kaufmann Cambridge, MA 87 98
12. S. Hanks, and D. McDermott Nonmonotonic logic and temporal projection Artificial Intelligence 33 3 1987 379 412
13. A. Herzig, and I. Varzinczak Domain descriptions should be modular R.L. de Mántras, L. Saitta, Proceedings of the European Conference on Artificial Intelligence (ECAI) 2004 IOS Press 348 352
14. A. Herzig, I. Varzinczak, Cohesion, coupling and the meta-theory of actions, in: L. Kaelbling, A. Saffiotti (Eds.), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, UK, 2005, pp. 442-447.
15. A. Herzig, and I. Varzinczak Metatheory of actions: Beyond consistency Artificial Intelligence 171 16-17 2007 951 984
16. G.N. Kartha Soundness and completeness theorems for three formalizations of actions R. Bajcsy, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 1993 Morgan Kaufmann Chambéry, France 724 729
17. R. Kowalski, and F. Sadri The situation calculus and event calculus compared M. Bruynooghe, Proceedings of the International Logic Programming Symposium (ILPS) 1994 MIT Press Ithaca, NY 539 553
18. R. Kowalski, and M. Sergot A logic based calculus of events New Generation Computing 4 1986 67 95
19. F. Lin Embracing causality in specifying the indirect effects of actions C.S. Mellish, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 1995 Morgan Kaufmann Montreal, Canada 1985 1991
20. F. Lin Embracing causality in specifying the indeterminate effects of actions B. Clancey, D. Weld, Proceedings of the AAAI National Conference on Artificial Intelligence 1996 MIT Press Portland, OR 670 676
21. N. McCain, and H. Turner A causal theory of ramifications and qualifications C.S. Mellish, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 1995 Morgan Kaufmann Montreal, Canada 1978 1984
22. J. McCarthy, Situations and Actions and Causal Laws, Stanford Artificial Intelligence Project, Memo 2, Stanford University, CA, 1963.
23. J. McCarthy Circumscription-a form of non-monotonic reasoning Artificial Intelligence 13 1980 27 39
24. J. McCarthy Mathematical logic in artificial intelligence Daedalus 117 1 1988 297 311
25. J. McCarthy, and P.J. Hayes Some philosophical problems from the standpoint of artificial intelligence Machine Intelligence 4 1969 463 502
26. D. McDermott The 1998 AI planning systems competition AI Magazine 21 2 2000 35 55
27. S. McIlraith An axiomatic solution to the ramification problem (sometimes) Artificial Intelligence 116 1-2 2000 87 121
28. E. Mueller Event calculus and temporal action logics compared Artificial Intelligence 170 11 2006 1017 1029
29. E. Pednault ADL: Exploring the middle ground between STRIPS and the situation calculus R. Brachman, H. Levesque, R. Reiter, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) 1989 Morgan Kaufmann Toronto 324 332
30. F. Pirri, and R. Reiter Some contributions to the metatheory of the situation calculus Journal of the ACM 46 3 1999 261 325
31. R. Reiter The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression V. Lifschitz, Artificial Intelligence and Mathematical Theory of Computation 1991 Academic Press 359 380
32. R. Reiter On knowledge-based programming with sensing in the situation calculus ACM Transactions on Computational Logic 2 4 2001 433 457
33. E. Sandewall Features and Fluents. The Representation of Knowledge about Dynamical Systems 1994 Oxford University Press
34. E. Sandewall The range of applicability of some non-monotonic logics for strict inertia Journal of Logic and Computation 4 5 1994 581 615
35. S. Schiffel, and M. Thielscher Reconciling situation calculus and fluent calculus Proceedings of the AAAI National Conference on Artificial Intelligence 2006 AAAI Press Boston, MA 287 292
36. M. Shanahan A circumscriptive calculus of events Artificial Intelligence 77 1995 249 284
37. M. Shanahan Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia 1997 MIT Press
38. M. Shanahan The ramification problem in the event calculus T. Dean, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 1999 Morgan Kaufmann Stockholm, Sweden 140 146
39. M. Thielscher Representing actions in equational logic programming P.V. Hentenryck, Proceedings of the International Conference on Logic Programming (ICLP) 1994 MIT Press Santa Margherita Ligure, Italy 207 224
40. M. Thielscher Ramification and causality Artificial Intelligence 89 1-2 1997 317 364
41. M. Thielscher From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem Artificial Intelligence 111 1-2 1999 277 299
42. M. Thielscher FLUX: A logic programming method for reasoning agents Theory and Practice of Logic Programming 5 4-5 2005 533 565