Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
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.
52-54
Galton, A.
3864caae-e344-4cfa-8e11-6680842c638e
Augusto, Juan C.
92c779fe-4ace-4c48-ada4-91cadedef1c7
2002
Galton, A.
3864caae-e344-4cfa-8e11-6680842c638e
Augusto, Juan C.
92c779fe-4ace-4c48-ada4-91cadedef1c7
Galton, A. and Augusto, Juan C.
(2002)
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.
9th International Symposium on Temporal Representation and Reasoning (Time-2002), Manchester, United Kingdom.
.
Record type:
Conference or Workshop Item
(Other)
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.
This record has no associated files available for download.
More information
Published date: 2002
Additional Information:
Event Dates: July 2002
Venue - Dates:
9th International Symposium on Temporal Representation and Reasoning (Time-2002), Manchester, United Kingdom, 2002-06-30
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 256799
URI: http://eprints.soton.ac.uk/id/eprint/256799
PURE UUID: 90dfb4df-0e86-4a1d-89da-2b1f26efd7dc
Catalogue record
Date deposited: 27 Sep 2002
Last modified: 08 Jan 2022 17:38
Export record
Contributors
Author:
A. Galton
Author:
Juan C. Augusto
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics