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 条
  • [21] Determining ramifications in the situation calculus
    Giunchiglia, E
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 76 - 86
  • [22] DESIGN PATTERNS IN SITUATION CALCULUS
    Liu, Qiang
    Yang, Zongyuan
    Zhao, Yefei
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING, 2009, : 244 - 248
  • [23] On procedure recognition in the situation calculus
    Baier, JA
    XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2002, : 33 - 42
  • [24] Goal change in the situation calculus
    Shapiro, Steven
    Lesperance, Yves
    Levesque, Hector J.
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 983 - 1018
  • [25] Causality and counterfactuals in the situation calculus
    Hopkins, Mark
    Pearl, Judea
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 939 - 953
  • [26] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1162 - 1164
  • [27] On a nonstandard model of situation calculus
    Fusaoka, Akira
    Hiratsuka, Satoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (05) : 557 - 564
  • [28] MAKING SITUATION CALCULUS INDEXICAL
    SUBRAMANIAN, D
    WOODFILL, J
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 467 - 474
  • [29] Gradual Probabilistic Lambda Calculus
    Ye, Wenjia
    Toro, Matias
    Olmedo, Federico
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [30] Probabilistic Schubert Calculus: Asymptotics
    Lerario A.
    Mathis L.
    Arnold Mathematical Journal, 2021, 7 (2) : 169 - 194
12345