Probabilistic Logic for Reasoning About Actions in Time

被引：0
|
作者：
Dautovic, Sejla [1 ]
Doder, Dragan [2 ]
机构：
[1] Matemat Inst SANU, Belgrade, Serbia
[2] IRIT Paul Sabatier Univ, Toulouse, France
来源：
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019 | 2019年 / 11726卷
关键词：
Probabilistic logic; Temporal logic; Action; AXIOMATIZATION;
D O I：
10.1007/978-3-030-29765-7_32
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like "precondition of the action A will hold in the next moment" and uncertain information like "probability that the precondition of A will hold in the next moment is at least one half." We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete.
引用
收藏
页码：385 / 396
页数：12
相关论文
共 50 条
  • [31] Probabilistic Logic Neural Networks for Reasoning
    Qu, Meng
    Tang, Jian
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
  • [32] Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
    Liu, Daxin
    Lakemeyer, Gerhard
    [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 1951 - 1958
  • [33] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    [J]. INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
  • [34] A logic for reasoning about ambiguity
    Halpern, Joseph Y.
    Kets, Willemien
    [J]. ARTIFICIAL INTELLIGENCE, 2014, 209 : 1 - 10
  • [35] A logic for reasoning about responsibility
    de Lima, Tiago
    Royakkers, Lamber
    Dignum, Frank
    [J]. LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 99 - 117
  • [36] A LOGIC FOR REASONING ABOUT SECURITY
    GLASGOW, J
    MACEWEN, G
    PANANGADEN, P
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
  • [37] A Logic for Reasoning about Persuasion
    Budzynska, Katarzyna
    Kacprzak, Magdalena
    [J]. FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 51 - 65
  • [38] LOGIC FOR REASONING ABOUT KNOWLEDGE
    ORLOWSKA, E
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 559 - 572
  • [39] A logic for reasoning about evidence
    Halpern, Joseph Y.
    Pucella, Riccardo
    [J]. Journal of Artificial Intelligence Research, 2006, 26 : 1 - 34
  • [40] REASONING ABOUT UPDATE LOGIC
    VANEIJCK, J
    DEVRIES, FJ
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (01) : 19 - 45
12345