Causal dynamic inference

Alexander Bochman; Dov M. Gabbay

doi:10.1007/s10472-012-9319-5

Causal dynamic inference

Alexander Bochman
, Dov M. Gabbay

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	231-256
Number of pages	26
Journal	Annals of Mathematics and Artificial Intelligence
Volume	66
Issue number	1
DOIs	https://doi.org/10.1007/s10472-012-9319-5
State	Published - Dec 2012

Keywords

Causal reasoning
Dynamic reasoning
Substructural inference

Access to Document

10.1007/s10472-012-9319-5

Cite this

@article{97ae67ed127e4870ad4bdc37de0f2981,

title = "Causal dynamic inference",

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.",

keywords = "Causal reasoning, Dynamic reasoning, Substructural inference",

author = "Alexander Bochman and Gabbay, \{Dov M.\}",

year = "2012",

month = dec,

doi = "10.1007/s10472-012-9319-5",

language = "אנגלית",

volume = "66",

pages = "231--256",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Netherlands",

number = "1",

}

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 - https://www.scopus.com/pages/publications/84871208234

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 -

Causal dynamic inference

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this