Reasoning about discontinuities the event calculus

被引：0
|
作者：
Miller, R
Shanahan, M
机构：
来源：
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96) | 1996年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper describes a logic-based formalism which combines techniques for reasoning about actions with standard mathematical techniques for modelling dynamic systems using the differential calculus. The formalism inherits a robust solution to the frame problem which can handle concurrency, nondeterminism, domain constraints and narrative. It also incorporates a mechanism for reasoning about the boundary conditions associated with systems of differential equations defined over various intervals. This mechanism overcomes a number of drawbacks of previous systems.
引用
收藏
页码：63 / 74
页数：12
相关论文
共 50 条
  • [41] Quantitative Strongest Post A Calculus for Reasoning about the Flow of Quantitative Information
    Zhang, Linpeng
    Kaminski, Benjamin Lucien
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [42] Calculus of Cooperation and Game-Based Reasoning about Protocol Privacy
    More, Sara Miner
    Naumov, Pavel
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (03)
  • [43] CONSTRAINT LOGIC PROGRAMMING FOR REASONING ABOUT DISCRETE EVENT PROCESSES
    OSTROFF, JS
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (3-4): : 243 - 270
  • [44] Reasoning About Promises in Weak Memory Models with Event Structures
    Wehrheim, Heike
    Bargmann, Lara
    Dongol, Brijesh
    [J]. FORMAL METHODS, FM 2023, 2023, 14000 : 282 - 300
  • [45] A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most
    Rosati R.
    [J]. Studia Logica, 2001, 69 (1) : 171 - 191
  • [46] Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
    De Giacomo, G
    Lesperance, Y
    Levesque, HJ
    [J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 1221 - 1226
  • [47] Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach
    Liu, Shichao
    Jiang, Ying
    [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 133 - 140
  • [48] The Transition Calculus: A high-level formalism for reasoning about action and change
    Gooday, J
    Galton, A
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1997, 9 (01) : 51 - 66
  • [49] An Event Calculus for Event Recognition
    Artikis, Alexander
    Sergot, Marek
    Paliouras, Georgios
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2015, 27 (04) : 895 - 908
  • [50] Reconciling the event calculus with the situation calculus
    Kowalski, R
    Sadri, F
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 39 - 58
12345