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

共 50 条

[21] A THEORY OF CONSOLIDATION FOR REASONING ABOUT DEVICES
BYLANDER, T
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1991, 35 (04): : 467 - 489
[22] Mechanical Reasoning about Families of UTP Theories
Zeyda, Frank
Cavalcanti, Ana
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 239 - 257
[23] Mechanical reasoning about families of UTP theories
Zeyda, Frank
Cavalcanti, Ana
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (04) : 444 - 479
[24] Causal Bayes nets as psychological theories of causal reasoning: evidence from psychological research
York Hagmayer
Synthese, 2016, 193 : 1107 - 1126
[25] Causal Bayes nets as psychological theories of causal reasoning: evidence from psychological research
Hagmayer, York
SYNTHESE, 2016, 193 (04) : 1107 - 1126
[26] Constructing and Reasoning About Security Protocols Using Invariants
Mooij, Arjan J.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 201 : 99 - 126
[27] Toward Reasoning about Security Protocols: A Semantic Approach
Hommersom, Arjen
Meyer, John-Jules
de Vink, Erik
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 53 - 75
[28] Reasoning about agents' interaction protocols inside DCaseLP
Baldoni, A
Baroglio, C
Gungui, I
Martelli, A
Martelli, M
Mascardi, V
Patti, V
Schifanella, C
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES II, 2005, 3476 : 112 - 131
[29] Formal Reasoning about Physical Properties of Security Protocols
Basin, David
Capkun, Srdjan
Schaller, Patrick
Schmidt, Benedikt
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2011, 14 (02)
[30] Reasoning about Causal Models with Infinitely Many Variables
Halpern, Joseph Y.
Peters, Spencer
THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 5668 - 5675

← 1 2 3 4 5 →