动力系统中离散与连续噪声传感器及执行器的推理
人工智能
2018-09-17 v1 计算机科学中的逻辑
摘要
在众多关于噪声感知与执行下信念度推理的方法中，Bacchus、Halpern 和 Levesque 提出的逻辑解释或许最具表达力。尽管他们的形式化相当通用，但其局限于取值来自离散有限域的 fluent，而非许多机器人应用中出现的连续域。在本工作中，我们展示了如何消除该方法中的这一局限。通过在丰富的动作理论中无缝处理离散分布与连续密度，我们给出了在复杂噪声域中执行与感知后信念应如何变化的非常通用的逻辑规范。
引用
@article{arxiv.1809.05314,
title = {Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems},
author = {Vaishak Belle and Hector J. Levesque},
journal= {arXiv preprint arXiv:1809.05314},
year = {2018}
}
备注
To appear in Artificial Intelligence 2018