Stratified causal theories for reasoning about deterministic devices and protocols

被引：11

作者：

Galton, A ^{[1
]}

Augusto, JC ^{[1
]}

机构：

[1] Univ Exeter, Exeter, Devon, England

来源：

NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2002年

关键词：

D O I：

10.1109/TIME.2002.1027473

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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, nonmonotonicity) that may be necessary for modelling a more general range of scenarios.

引用

页码：52 / 54

页数：3