Abstract
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+.
Similar content being viewed by others
References
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.
GIUNCHIGLIA, E., J. LEE, V. LIFSCHITZ, N. MCCAIN, and H. TURNER, ‘Nonmonotonic causal theories’, Artificial Intelligence, 153:49–104, 2004.
JONES, A., and M. SERGOT, ‘A formal characterisation of institutional power’, Journal of the IGPL, 4(3):429–445, 1996.
SERGOT, M., ‘The language (C/C+)++’, in J. Pitt, (ed.), The Open Agent Society. Wiley, 2004. To appear.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Craven, R., Sergot, M. Distant Causation in C+. Stud Logica 79, 73–96 (2005). https://doi.org/10.1007/s11225-005-0495-8
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-0495-8