Reasoning about noisy sensors and effectors in the situation calculus

被引：0
|
作者：
Bacchus, Fahlem [1 ]
Halpern, Joseph Y. [2 ]
Levesque, Hector J. [3 ]
机构：
[1] Department of Computer Science, University of Waterloo, Waterloo, Ont. N2L 3G1, Canada
[2] Department of Computer Science, Cornell University, Ithaca, NY, United States
[3] Department of Computer Science, University of Toronto, Toronto, Ont. M5S 3H5, Canada
来源：
Artificial Intelligence | 1999年 / 111卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：171 / 208
相关论文
共 50 条
  • [1] Reasoning about noisy sensors and effecters in the situation calculus
    Bacchus, F
    Halpern, JY
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 171 - 208
  • [2] Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
    Belle, Vaishak
    Levesque, Hector J.
    ARTIFICIAL INTELLIGENCE, 2018, 262 : 189 - 221
  • [3] REASONING ABOUT TIME IN THE SITUATION CALCULUS
    PINTO, J
    REITER, R
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 251 - 268
  • [4] Representing and Reasoning about Program in Situation Calculus
    Yang Bo
    Zhang Ming-yi
    Wu Mao-nian
    Xie Gang
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
  • [5] Hypothetical reasoning about actions: From situation calculus to event calculus
    Provetti, A
    COMPUTATIONAL INTELLIGENCE, 1996, 12 (03) : 478 - 498
  • [6] Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
    Belle, Vaishak
    Lakemeyer, Gerhard
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 255 - 260
  • [7] Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
    De Giacomo, G
    Lesperance, Y
    Levesque, HJ
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 1221 - 1226
  • [8] Temporal Reasoning in Bounded Situation Calculus
    De Giacomo, Giuseppe
    2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 2 - 2
  • [9] NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS
    BAKER, AB
    ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 5 - 23
  • [10] Decidable Reasoning in a Modified Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1891 - 1897
12345