非确定性情境演算动作理论的抽象——扩展版

我们基于非确定性情境演算与 ConGolog 编程语言，开发了一个用于抽象在不确定性域中运行的智能体行为的一般框架，即智能体无法控制非确定性动作的结果。我们假设同时拥有一个抽象与一个具体的非确定性基本动作理论，以及一个细化映射，其指定了抽象动作（分解为智能体动作与环境反应）如何由具体 ConGolog 程序实现。这一新设定通过允许我们分别对智能体动作与环境反应进行量化，支持了策略推理与策略综合。我们证明，若智能体在抽象层拥有实现目标/完成任务的（强 FOND）计划/策略，且它总能在具体层将非确定性抽象动作执行完毕，则存在一个其细化，该细化是在具体层实现目标/任务细化的（强 FOND）计划/策略。