Probabilistic Situation Calculus

被引：2
|
作者：
Paulo Mateus
António Pacheco
Javier Pinto
Amílcar Sernadas
Cristina Sernadas
机构：
[1] CMA,Logic and Computation Group
[2] Departamento de Matemática,Stochastic Processes Group
[3] CMA,undefined
[4] Departamento de Matemática,undefined
[5] Bell Labs,undefined
[6] P. Universidad Católica de Chile,undefined
来源：
Annals of Mathematics and Artificial Intelligence | 2001年 / 32卷
关键词：
probability logic; probabilistic automata; Situation Calculus; theory of action; Mathematica;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about dynamic worlds in which actions have uncertain effects. Uncertain effects are modeled by dividing an action into two subparts: a deterministic (agent produced) input and a probabilistic reaction (produced by nature). We assume that the probabilities of the reactions have known distributions.
引用
收藏
页码：393 / 431
页数：38
相关论文
共 50 条
  • [31] A Probabilistic Semantics for the Pure λ-Calculus
    Di Pierro, Alessandra
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 70 - 76
  • [32] Probabilistic Analysis of the Quality Calculus
    Nielson, Hanne Riis
    Nielson, Flemming
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 258 - 272
  • [33] Lambda Calculus and Probabilistic Computation
    Faggian, Claudia
    della Rocca, Simona Ronchi
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [34] Foundations for a Probabilistic Event Calculus
    D'Asaro, Fabio Aurelio
    Bikakis, Antonis
    Dickens, Luke
    Miller, Rob
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 57 - 63
  • [35] Semantics of the probabilistic Lambda Calculus
    Loreti, Michele
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 457 - 458
  • [36] Model checking the probabilistic π-calculus
    Norman, Gethin
    Palamidessi, Catuscia
    Parker, David
    Wu, Peng
    FOURTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2007, : 169 - +
  • [37] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [38] Tractable Probabilistic μ-Calculus That Expresses Probabilistic Temporal Logics
    Castro, Pablo
    Kilmurray, Cecilia
    Piterman, Nir
    32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 211 - 223
  • [39] Temporal Reasoning in Bounded Situation Calculus
    De Giacomo, Giuseppe
    2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 2 - 2
  • [40] The Situation Calculus: A Case for Modal Logic
    Lakemeyer G.
    Journal of Logic, Language and Information, 2010, 19 (4) : 431 - 450
12345