Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols

Summary: Stratified Causal Theories for Reasoning about Deterministic
Devices and Protocols
Antony Galton
and Juan Carlos Augusto
We present a method for formalising the behaviour of simple deterministic devices and protocols in a
way that makes explicit the causal dependencies amongst the component elements, thereby allowing true
causal (as opposed to purely temporal) reasoning. Our intention is to handle such systems effectively
in the simplest possible way, without invoking additional problematic considerations (concerning, for
example, non-monotonicity) that may be necessary for modelling a more general range of scenarios.
1 Introduction
Causal theories may be classified into two broad categories, depending on whether they contain explicit
reference to the notion of cause. By explicit reference we mean the presence of a predicate or function
within the formalism. A crude caricature of a system of this kind might be something like
ش ״ ص ״
Here the first formula provides a general rule characterising the predicate; the other formulas provide
specific instances of that predicate to which the rule can apply. The advantage of a theory of this kind is that
it forces one to think explicitly about what causes what, in other words to attend to the true causal structure


Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown


Collections: Computer Technologies and Information Sciences