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 条
  • [1] Logic of involved variables - System specification with Temporal Logic of Distributed Actions
    Alexander, A
    Reisig, W
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 167 - 176
  • [2] A Logic for Specifying Agent Actions and Observations with Probability
    Rens, Gavin
    Lakemeyer, Gerhard
    Meyer, Thomas
    PROCEEDINGS OF THE SIXTH STARTING AI RESEARCHERS' SYMPOSIUM (STAIRS 2012), 2012, 241 : 252 - +
  • [3] The specification logic νZ
    Henson, Martin C.
    Deutsch, Moshe
    Kajtazi, Besnik
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (03) : 364 - 395
  • [4] Object specification logic
    Sernadas, A
    Sernadas, C
    Costa, JF
    JOURNAL OF LOGIC AND COMPUTATION, 1995, 5 (05) : 603 - 630
  • [5] AN INTRODUCTION TO SPECIFICATION LOGIC
    REYNOLDS, JC
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 442 - 442
  • [6] Logic of Conditionals and Logic of Probability
    Mura, Alberto
    RIVISTA DI FILOSOFIA, 2016, 107 (01) : 71 - 98
  • [7] THE LOGIC OF PROBABILITY
    FINETTI, BD
    PHILOSOPHICAL STUDIES, 1995, 77 (01) : 181 - 190
  • [8] PROBABILITY LOGIC
    AMER, MA
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 441 - 441
  • [9] On probability and logic
    Sernadas, Amilcar
    Rasga, Joao
    Sernadas, Cristina
    PORTUGALIAE MATHEMATICA, 2017, 74 (04) : 267 - 313
  • [10] Probability and Logic
    Easwaran, Kenny
    PHILOSOPHY COMPASS, 2014, 9 (12): : 876 - 883
12345