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 条

[1] Reasoning about cryptographic protocols in observational theories
Zaabar, Imen
Berregeb, Narjes
ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 539 - +
[2] Reasoning with stratified default theories
Int J Pressure Vessels Piping, 2 (273):
[3] Reasoning with stratified default theories
Cholewinski, P
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 273 - 286
[4] Game-theoretic reasoning about actions in nonmonotonic causal theories
Finzi, A
Lukasiewicz, T
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 185 - 197
[5] CAUSAL REASONING IN RUBE GOLDBERG DEVICES
ZBRODOFF, NJ
BULLETIN OF THE PSYCHONOMIC SOCIETY, 1990, 28 (06) : 518 - 518
[6] Reasoning About Causal Relationships: Inferences on Causal Networks
Rottman, Benjamin Margolin
Hastie, Reid
PSYCHOLOGICAL BULLETIN, 2014, 140 (01) : 109 - 139
[7] Equational Reasoning About Quantum Protocols
Gay, Simon J.
Puthoor, Ittoop V.
REVERSIBLE COMPUTATION, RC 2015, 2015, 9138 : 155 - 170
[8] Reasoning about active network protocols
Bhattacharjee, S
Calvert, KL
Zegura, EW
SIXTH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, PROCEEDINGS, 1998, : 31 - 40
[9] Causal reasoning about aircraft accidents
Ladkin, PB
COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 344 - 360
[10] Causal beliefs about depression in different cultural groups what do cognitive psychological theories of causal learning and reasoning predict?
Hagmayer, York
Engelmann, Neele
FRONTIERS IN PSYCHOLOGY, 2014, 5 : 1 - 1

← 1 2 3 4 5 →