MMFeb, 2014

基于情境演算的机器人定位估计

TL;DR在不确定的世界中,使用 Bacchus、Halpern 和 Levesque 的框架和连续领域的扩展,以期望推理的方式进行基于状态的位置估计,并揭示了行为理论下的位置估计问题。此外,本文还表明,虽然行动可能以非标准的方式影响先验分布,但总体规范的副作用是产生了适当的后验信念。