在非马尔可夫情境演算中规范义务分类体系

三十多年来，情境演算已确立其作为一种优雅、强大且简洁的形式体系的地位，用于规范动态领域，并对这些领域中动作在世界及建模智能体心智状态中的效应进行推理。此外，也已确定，给定动作的前置条件及其效应可能完全由当前情境单独决定，也可能由过去的情境共同决定。当过去的情境参与决定动作前置条件和效应时，所得理论是非马尔可夫的。假设存在产生义务的动作规范，我们考虑在情境演算中使用非马尔可夫控制来规范文献中出现的不同义务概念。这些概念此前已使用事件演算进行规范；但据我们所知，它们从未使用情境演算进行过规范。本文中的规范产生了直观的性质，确保了整个工作的正确性。