Abstract
In this paper we propose a new approach to address the ramification problem in common-sense reasoning about action and change. We contrast the methods of McCain and Turner, Thielscher and Sandewall and, based on some of the limitations they encounter, we introduce a trajectory-based approach which keeps a history of the states through which a system evolves to characterise its dynamical state. We furnish an underlying state-transition semantics and a logic that admits an expressive, dynamical account of some typical scenarios which encounter modelling difficulties in the other approaches mentioned.
Similar content being viewed by others
References
Denecker, M., D. Dupré, and K. Belleghem, ‘An inductive definition approach to ramifications’, in Linköping Electronic Articles in Computer and Information Science, Linköping University Electronic Press, 3, 1998.
Ginsberg, M., and D. Smith, ‘Reasoning about action I: A possible worlds approach’, Artificial Intelligence 35, 1988.
Ginsberg, M., and D. Smith, ‘Reasoning about action II: The qualification problem’, Artificial Intelligence 35, 1988.
Gustafsson, J., and P. Doherty, ‘Embracing occlusion in specifying the indirect effects of actions’, in Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning, Morgan-Kaufmann, 1996.
Lin, F., ‘Embracing causality in specifying the indirect effects of actions’, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1985-1991, 1995.
McCain, N., and M. Turner, ‘A causal theory of ramifications and qualifications’, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1978-1984, Montreal, 1995.
Sandewall, E., Features and Fluents, Oxford University Press, 1994.
Sandewall, E., ‘Transition cascade semantics and first assessments results for ramification’, Preliminary report, IDA Technical Report, 1996.
Shanahan, M., ‘The ramification problem in the event calculus’, in Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999.
Thielscher, M., ‘Ramification and causality’, Artificial Intelligence 89:317-364, 1997.
Winslett, M., ‘Reasoning about actions using the possible models approach’, in Proceedings of the Seventh National Artificial Intelligence Conference, San Mateo, CA., 1988
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jauregui, V., Foo, N. & Pagnucco, M. A Trajectory Approach to Causality. Studia Logica 67, 385–401 (2001). https://doi.org/10.1023/A:1010564432183
Issue Date:
DOI: https://doi.org/10.1023/A:1010564432183