The transition calculus: A high-level formalism for reasoning about action and change

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 9, Issue 1, 1997, Pages 51-66

  Gooday, John ^a   Galton, Antony ^b  

^a UNIVERSITY OF LEEDS   (United Kingdom)

^b UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

Action; Change; Non monotonic reasoning; Planning

Indexed keywords

EID: 0031540412     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/095281397147239     Document Type: Article

References (12)

1. Allen, J. F. (1981) An interval-based representation of temporal knowledge. Proceedings 7th International Joint Conference on Artificial Intelligence, pp. 221-226.
2. Fikes, R. E. and Nilsson, N. J. (1971) STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 189-208.
3. Gelfond, M. and Lifschitz, V. (1993) Representing action and change by logic programs. Journal of Logic Programming, 17, 301-321.
4. Ginsberg, M. L. (1991) The MVL theorem proving system. Symposium on Implemented Systems, Stanford.
5. Gooday, J. M. (1994) A Transition-based Approach to Reasoning about Action and Change. PhD thesis, Department of Computer Science, University of Exeter.
6. Gooday, J.M. and Cohn, A.G. (1996) Transition-based qualitative simulation. In Y. Iwaski and A. Farquar (eds) Proceedings of the 10th International Workshop on Qualitative Reasoning. To appear.
7. Hanks, S. and McDermott, D. (1986) Default reasoning, nonmonotonic logics, and the frame problem. Proceedings American Association for Artificial Intelligence-86, pp. 328-333.
8. Kowalski, R. and Sergot, M. (1986) A logic-based calculus of events. New Generation Computing, 4, 67-95.
9. McCarthy, J. and Hayes, P. (1969) Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Mitchie (eds) Machine Intelligence, Vol. 4 (Edinburgh University Press), pp. 463-502.
10. Sandewall, E. (1994) Features and Fluents (Oxford: Oxford University Press).
11. Shoham, Y. (1987) Nonmonotonic logics: meaning and utility. Proceedings 10th International Joint Conference on Artificial Intelligence, pp. 388-392.
12. Shoham, Y. (1988) Reasoning about Change, MIT Press Series in Artificial Intelligence (Cambridge, MA: M IT Press).