Studia Logica

, Volume 79, Issue 1, pp 73–96 | Cite as

Distant Causation in C+

  • Robert CravenEmail author
  • Marek Sergot


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+.


Action languages temporal reasoning causation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    GIUNCHIGLIA, E., J. LEE, V. LIFSCHITZ, N. MCCAIN, and H. TURNER, ‘Nonmonotonic causal theories’, Artificial Intelligence, 153:49–104, 2004.CrossRefGoogle Scholar
  3. 3.
    JONES, A., and M. SERGOT, ‘A formal characterisation of institutional power’, Journal of the IGPL, 4(3):429–445, 1996.Google Scholar
  4. 4.
    SERGOT, M., ‘The language (C/C+)++’, in J. Pitt, (ed.), The Open Agent Society. Wiley, 2004. To appear.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  1. 1.Department of ComputingImperial College LondonLondonUnited Kingdom

Personalised recommendations