SLAP: Specification logic of actions with probability

被引：3
|
作者：
Rens, Gavin [1 ,2 ]
Meyer, Thomas [1 ,2 ]
Lakemeyer, Gerhard [3 ]
机构：
[1] Univ KwaZulu Natal, Ctr Artificial Intelligence Res, Durban, South Africa
[2] CSIR Meraka, Pretoria, South Africa
[3] Rhein Westfal TH Aachen, Aachen, Germany
来源：
JOURNAL OF APPLIED LOGIC | 2014年 / 12卷 / 02期
关键词：
Probabilistic actions; Modal logic; Tableau method; Systems of linear inequalities;
D O I：
10.1016/j.jal.2013.09.001
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the paper is the formulation of the decision procedure: a tableau system which appeals to solving systems of linear equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of linear equations are generated and checked for feasibility. Proofs of soundness, completeness and termination of the decision procedure are provided. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码：128 / 150
页数：23
相关论文
共 50 条
  • [31] Combining logic and probability
    Milch, Brian
    IEEE INTELLIGENT SYSTEMS, 2008, 23 (03) : 14 - 14
  • [32] ON THE LOGIC OF HIGH PROBABILITY
    ADAMS, EW
    JOURNAL OF PHILOSOPHICAL LOGIC, 1986, 15 (03) : 255 - 279
  • [33] Logic and probability in physics
    不详
    NATURE, 1938, 142 : 339 - 339
  • [34] Frequentist Probability Logic
    Aldini, Alessandro
    Graziani, Pierluigi
    Tagliaferri, Mirko
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2023 COLLOCATED WORKSHOPS, CIFMA 2023 AND OPENCERT 2023, 2024, 14568 : 54 - 71
  • [35] LOGIC OF SUBJECTIVE PROBABILITY
    ELLIS, B
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1973, 24 (02): : 125 - 152
  • [36] Logic, probability, and coherence
    Vickers, JM
    PHILOSOPHY OF SCIENCE, 2001, 68 (01) : 95 - 110
  • [37] Probability and Symmetric Logic
    Michał Gil Sanchez
    Zalán Gyenis
    Leszek Wroński
    Journal of Philosophical Logic, 2023, 52 : 183 - 198
  • [38] Probability and Symmetric Logic
    Sanchez, Michal Gil
    Gyenis, Zalan
    Wronski, Leszek
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (01) : 183 - 198
  • [39] INFERENCES IN PROBABILITY LOGIC
    GERLA, G
    ARTIFICIAL INTELLIGENCE, 1994, 70 (1-2) : 33 - 52
  • [40] Mental probability logic
    Pfeifer, Niki
    Kleiter, Gernot D.
    BEHAVIORAL AND BRAIN SCIENCES, 2009, 32 (01) : 98 - +
12345