建模一个动态和不确定的世界I：关于变化的符号和概率推理

审核人：苏珊·布里奇斯

一个在不确定和动态世界中进行推理的模型将概率理论与变化理论相结合。该模型使代理人能够对变化进行推理，即使他们可能需要应对意外事件，可能具有不可靠的感官信息，并且可能被迫使用不完美的世界模型进行推理。作者表示，这项工作的主要贡献是“一种概率推理算法——估计一个命题在某一时间点为真的预测概率。”在合理的时间内提供这种概率的关键是约束所考虑的证据，以获得命题在时间t的投影概率的足够好的估计。作者描述了世界模型（由“模型管理器”管理）和规划师的交互作用。规划师向世界模型发布查询，并以信念数据结构的形式接收答案。本文描述的算法使模型管理器只执行足够的处理来满足规划师的要求。它还要求模型管理员在后续信息改变之前计算出的信念结构的概率时通知规划师。尽管本文的大部分内容都是用于推导变化方程，但本文的组织结构使其变得非常容易理解。一个构造良好的示例说明了算法的操作以及对其所处理的更改进行推理的重要方面。本文对与逻辑和概率变化推理相关的其他工作进行了有益的总结。