Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
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, UK, IEEE, 52-54.
This is the latest version of this item.
Download
Full text not available from this repository.
Description/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.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Event Dates: July 2002 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 256799 |
| Date Deposited: | 27 Sep 2002 |
| Last Modified: | 01 Mar 2012 10:49 |
| Contributors: | Galton, A. (Author) Augusto, Juan C. (Author) |
| Date: | 2002 |
| Additional Information: | Event Dates: July 2002 |
| Status: | Published |
| Publisher: | IEEE |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/256799 |
Available Versions of this Item
- Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. (deposited 27 Sep 2002) [Currently Displayed]
Actions (login required)
 |
View Item |
