Causal dynamic inference

Authors:
Alexander Bochman;Dov M. Gabbay
Affiliations:
Computer Science Department, Holon Institute of Technology, Holon, Israel;Computer Science Department, Bar-Ilan University, Ramat Gan, Israel and Department of Computer Science, King's College London, London, UK and University of Luxembourg, Luxembourg City, Luxembourg
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2012

Citing 8
Cited 1

Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Exploring logical dynamics

Exploring logical dynamics
A logical theory of nonmonotonic inference and belief change

A logical theory of nonmonotonic inference and belief change
Transition and cancellation in concurrency and branching time

Mathematical Structures in Computer Science
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Configuration structures, event structures and Petri nets

Theoretical Computer Science
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Sequential Dynamic Logic

Journal of Logic, Language and Information

Sequential Dynamic Logic

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

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.