Reference : Causal dynamic inference
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/14986
Causal dynamic inference
English
Bochman, Alexander [Holon Instutute of Technology, Holon]
Gabbay, Dov M. [Bar-Ilan University > Computer Science Department]
2012
Annals of Mathematics & Artificial Intelligence
Springer
66
1-4
231-256
Yes (verified by ORBilu)
1012-2443
[en] 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.
http://hdl.handle.net/10993/14986

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
struct.pdfPublisher postprint327.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.