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 条
  • [1] Probabilistic situation calculus
    Mateus, P
    Pacheco, A
    Pinto, J
    Sernadas, A
    Sernadas, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 32 (1-4) : 393 - 431
  • [2] Reconciling the event calculus with the situation calculus
    Kowalski, R
    Sadri, F
    JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 39 - 58
  • [3] Reconciling the event calculus with the situation calculus
    Kowalski, Robert
    Sadri, Fariba
    Journal of Logic Programming, 31 (1-3):
  • [4] Inductive situation calculus
    Denecker, Marc
    Ternovska, Eugenia
    ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) : 332 - 360
  • [5] Executability in the Situation Calculus
    Cerexhe, Timothy
    Pagnucco, Maurice
    AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7106 : 677 - 686
  • [6] Narratives in the situation calculus
    Miller, R.
    Shanahan, M.
    Journal of Logic and Computation, 1994, 4 (05)
  • [7] On the relation between situation calculus and event calculus
    VanBelleghem, K
    Denecker, M
    DeSchreye, D
    JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 3 - 37
  • [8] A calculus for probabilistic languages
    Park, S
    ACM SIGPLAN NOTICES, 2003, 38 (03) : 38 - 49
  • [9] Probabilistic asynchronous π-calculus
    Herescu, OM
    Palamidessi, C
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 146 - 160
  • [10] Probabilistic Schubert calculus
    Buergisser, Peter
    Lerario, Antonio
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2020, 760 : 1 - 58
12345