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 条
  • [21] Compositional Specification in Rewriting Logic
    Martin, Oscar
    Verdejo, Alberto
    Marti-Oliet, Narciso
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (01) : 44 - 98
  • [22] PROCESS SPECIFICATION OF LOGIC PROGRAMS
    RAMANUJAM, R
    SHYAMASUNDAR, RK
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 31 - 43
  • [23] The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid
    Battell, Chelsea
    Felty, Amy
    PROCEEDINGS OF THE ELEVENTH WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2016), 2016,
  • [24] THE TEMPORAL LOGIC OF ACTIONS
    LAMPORT, L
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
  • [25] Specification and thermodynamical properties of semigroup actions
    Rodrigues, Fagner B.
    Varandas, Paulo
    JOURNAL OF MATHEMATICAL PHYSICS, 2016, 57 (05)
  • [26] The Logic of Qualitative Probability
    Delgrande, James P.
    Renne, Bryan
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2904 - 2910
  • [27] PROBABILITY, LOGIC, AND ESP
    BRIDGMAN, PW
    SCIENCE, 1956, 123 (3184) : 15 - 17
  • [28] The logic of qualitative probability
    Delgrande, James R.
    Renne, Bryan
    Sack, Joshua
    ARTIFICIAL INTELLIGENCE, 2019, 275 : 457 - 486
  • [29] Combining Probability and Logic
    Cozman, Fabio
    Haenni, Rolf
    Romeijn, Jan-Willem
    Russo, Federica
    Wheeler, Gregory
    Williamson, Jon
    JOURNAL OF APPLIED LOGIC, 2009, 7 (02) : 131 - 135
  • [30] Logic and probability in physics
    Darwin, CG
    SCIENCE, 1938, 88 : 155 - 160
12345