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 条
  • [31] CRAFT: A Benchmark for Causal Reasoning About Forces and inTeractions
    Ates, Tayfun
    Atesoglu, M. Samil
    Yigit, Cagatay
    Kesen, Ilker
    Kobas, Mert
    Erdem, Erkut
    Erdem, Aykut
    Goksun, Tilbe
    Yuret, Deniz
    FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022), 2022, : 2602 - 2627
  • [32] A cognitive model of causal reasoning about the physical world
    Carassa, A
    Valpiani, A
    Geminiani, G
    Bandini, S
    TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 217 - 230
  • [33] Causal Reasoning About Entities and Events in Procedural Texts
    Zhang, Li
    Xu, Hainiu
    Yang, Yue
    Zhou, Shuyan
    You, Weiqiu
    Arora, Manni
    Callison-Burch, Chris
    17TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EACL 2023, 2023, : 415 - 431
  • [34] Automatic Reasoning about Causal Events in Surveillance Video
    Neil M. Robertson
    Ian D. Reid
    EURASIP Journal on Image and Video Processing, 2011
  • [35] Exploring primary students causal reasoning about ecosystems
    Zangori, Laura
    Ke, Li
    Sadler, Troy D.
    Peel, Amanda
    INTERNATIONAL JOURNAL OF SCIENCE EDUCATION, 2020, 42 (11) : 1799 - 1817
  • [36] Automatic Reasoning about Causal Events in Surveillance Video
    Robertson, Neil M.
    Reid, Ian D.
    EURASIP JOURNAL ON IMAGE AND VIDEO PROCESSING, 2011,
  • [37] The development of reasoning about causal and noncausal influences on levers
    Amsel, E
    Goodman, G
    Savoie, D
    Clark, M
    CHILD DEVELOPMENT, 1996, 67 (04) : 1624 - 1646
  • [38] WHAT ARE THE FOUNDATIONS OF NORMATIVE THEORIES ABOUT HUMAN REASONING
    COHEN, LJ
    BEHAVIORAL AND BRAIN SCIENCES, 1987, 10 (02) : 312 - 313
  • [39] Invariant-based reasoning about parameterized security protocols
    Mooij, Arjan J.
    FORMAL ASPECTS OF COMPUTING, 2010, 22 (01) : 63 - 81
  • [40] An encapsulated authentication logic for reasoning about key distribution protocols
    Cervesato, I
    Meadows, C
    Pavlovic, D
    18th IEEE Computer Security Foundations Workshop, Proceedings, 2005, : 48 - 61
12345