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 条
  • [21] Reasoning about outliers by modelling noisy data
    Wu, JX
    Cheng, GX
    Liu, XH
    ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, 1997, 1280 : 549 - 558
  • [22] Reasoning about cryptographic protocols in the spi calculus
    Abadi, M
    Gordon, AD
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 59 - 73
  • [23] Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
    Stefan Schiffer
    Alexander Ferrein
    Gerhard Lakemeyer
    Journal of Intelligent & Robotic Systems, 2012, 66 : 273 - 300
  • [24] Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
    Schiffer, Stefan
    Ferrein, Alexander
    Lakemeyer, Gerhard
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2012, 66 (1-2) : 273 - 300
  • [25] Non-monotonic Reasoning for Machine Ethics with Situation Calculus
    Limarga, Raynaldio
    Pagnucco, Maurice
    Song, Yang
    Nayak, Abhaya
    AI 2020: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 12576 : 203 - 215
  • [26] Segment calculus and region calculus: an engineering approach to reasoning about time and space
    Nippon Kikai Gakkai Ronbunshu C Hen, 597 (2050-2057):
  • [27] A Heuristic Calculus for Transformative Reasoning about Social Information
    Rubin, Stuart H.
    2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 533 - 538
  • [28] Using session types for reasoning about boundedness in the π-calculus
    Huttel, Hans
    ACTA INFORMATICA, 2020, 57 (06) : 801 - 827
  • [29] Using Session Types for Reasoning About Boundedness in the π-Calculus
    Huttel, Hans
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 67 - 82
  • [30] Stochastic Sharing Calculus for Reasoning About Social Networks
    Aman, Bogdan
    Ciobanu, Gabriel
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (06) : 1048 - 1066
12345