Abstract
We suggest a general logical framework for causal dynamic reasoning. As a first step, we introduce a uniform structural formalism and assign it two kinds of semantics, abstract dynamic models and relational models. The corresponding completeness results are proved. As a second step, we extend the structural formalism to a two-sorted state-transition calculus, and prove its completeness with respect to the associated relational semantics.
Similar content being viewed by others
References
Barwise, J., Gabbay, D., Hartonas, C.: On the logic of information flow. Bull. IGPL 3, 7–50 (1995)
Bochman, A., Gabbay, D.M.: Sequential dynamic logic. J. Logic Lang. Inf. 21, 279–298 (2012)
Bochman, A.: A Logical Theory of Nonomonotonic Inference and Belief Change. Springer (2001)
Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160, 105–143 (2004)
Forbus, K.D.: Qualitative process theory. Artif. Intell. 24, 85–168 (1984)
Gabbay, D.M.: Investigations in Modal and Tense Logics. Reidel (1976)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153, 49–104 (2004)
Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguist. Philos. 14, 39–101 (1991)
Kanazawa, M.: Completeness and decidability of the mixed style of inference with composition. In: Dekker, P., Stokhof, M. (eds.) Proceedings of the Ninth Amsterdam Colloquium, pp. 377–390 (1994)
Pratt, V.R.: Transition and cancellation in concurrency and branching time. Math. Struct. Comput. Sci. 13, 485–529 (2003)
Steedman, M.: The productions of time: temporality and causality in linguistic semantics. Draft 5.0 (2005)
van Benthem, J.: Exploring Logical Dynamics. CSLI Publ. (1996)
van Glabbeek. R.J., Plotkin G.D.: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410, 4111–4159 (2009)
van Lambalgen, M., Hamm, F.: The Proper Treatment of Events. Wiley-Blackwell (2004)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bochman, A., Gabbay, D.M. Causal dynamic inference. Ann Math Artif Intell 66, 231–256 (2012). https://doi.org/10.1007/s10472-012-9319-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-012-9319-5