The University of Southampton
University of Southampton Institutional Repository

Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols

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
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. pp. 52-54 .

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×