TY - JOUR
T1 - Causal dynamic inference
AU - Bochman, Alexander
AU - Gabbay, Dov M.
PY - 2012/12
Y1 - 2012/12
N2 - 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.
AB - 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.
KW - Causal reasoning
KW - Dynamic reasoning
KW - Substructural inference
UR - http://www.scopus.com/inward/record.url?scp=84871208234&partnerID=8YFLogxK
U2 - 10.1007/s10472-012-9319-5
DO - 10.1007/s10472-012-9319-5
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84871208234
SN - 1012-2443
VL - 66
SP - 231
EP - 256
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
IS - 1
ER -