Stratified Causal Theories for Reasoning about Deterministic Devices
and Protocols
Antony Galton
and
Juan Carlos
Augusto
In M. Fisher and A. Artale, Proceedings of the Ninth International
Symposium on Temporal Representation and Reasoning (TIME-02),
IEEE Computer Society, 2002, pages 52-54.
ISBN 0-7695-1474-X
Abstract
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.
A.P.Galton
Last modified: Thu Feb 6 10:02:54 GMT 2003