The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also define a new kind of transition system called a ‘run system’ to provide a graphical semantics. Finally, we show how domains involving prohibition and permission can be modelled, by incorporating the ideas of another extension of C+.
KeywordsAction languages temporal reasoning causation
Unable to display preview. Download preview PDF.
- 1.BELZER, M., ‘Legal reasoning in 3-D’, in Proceedings of the First International Conference on Artificial Intelligence and Law, ACM Press, 1987, pp. 155–163.Google Scholar
- 3.JONES, A., and M. SERGOT, ‘A formal characterisation of institutional power’, Journal of the IGPL, 4(3):429–445, 1996.Google Scholar
- 4.SERGOT, M., ‘The language (C/C+)++’, in J. Pitt, (ed.), The Open Agent Society. Wiley, 2004. To appear.Google Scholar