|
|||||
|
|
Causal dynamic inference |
|
| Authors: | Alexander Bochman Dov M. Gabbay |
| Affiliation: | 1. Computer Science Department, Holon Institute of Technology, Holon, Israel 2. Computer Science Department, Bar-Ilan University, Ramat Gan, Israel 3. Department of Computer Science, King??s College London, London, UK 4. University of Luxembourg, Luxembourg City, Luxembourg |
| 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: | |
| 本文献已被 SpringerLink 等数据库收录！ | |