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 条
  • [11] Efficient temporal reasoning in the cached event calculus
    Chittaro, L
    Montanari, A
    [J]. COMPUTATIONAL INTELLIGENCE, 1996, 12 (03) : 359 - 382
  • [12] Reasoning about cryptographic protocols in the spi calculus
    Abadi, M
    Gordon, AD
    [J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 59 - 73
  • [13] Representing and Reasoning about Program in Situation Calculus
    Yang Bo
    Zhang Ming-yi
    Wu Mao-nian
    Xie Gang
    [J]. FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
  • [14] Incremental Event Calculus for Run-Time Reasoning
    Tsilionis E.
    Artikis A.
    Paliouras G.
    [J]. Journal of Artificial Intelligence Research, 2022, 73 : 967 - 1023
  • [15] Incremental Event Calculus for Run-Time Reasoning
    Tsilionis, Efthimis
    Artikis, Alexander
    Paliouras, Georgios
    [J]. DEBS'19: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, 2019, : 79 - 90
  • [16] Incremental Event Calculus for Run-Time Reasoning
    Tsilionis, Efthimis
    Artikis, Alexander
    Paliouras, Georgios
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 73 : 967 - 1023
  • [17] A Heuristic Calculus for Transformative Reasoning about Social Information
    Rubin, Stuart H.
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 533 - 538
  • [18] Using session types for reasoning about boundedness in the π-calculus
    Huttel, Hans
    [J]. ACTA INFORMATICA, 2020, 57 (06) : 801 - 827
  • [19] Using Session Types for Reasoning About Boundedness in the π-Calculus
    Huttel, Hans
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 67 - 82
  • [20] Stochastic Sharing Calculus for Reasoning About Social Networks
    Aman, Bogdan
    Ciobanu, Gabriel
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (06) : 1048 - 1066
12345