标题： 在非马尔可夫情境演算中指定义务分类学 显示英文标题

标题： Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus

摘要： 在过去三十多年里，情境演算已经确立了自己作为一种优雅、强大且简洁的形式化方法，用于指定动态领域以及在世界和建模代理人的心理状态中对这些领域的动作效果进行推理。 此外，也已经确定，给定动作的前提条件及其效果可能仅由当前情境单独决定，或者也可能由过去的情境共同决定。 当过去的情境涉及动作前提条件和效果的确定时，所得理论是非马尔可夫性的。 假设有一个产生义务的动作规范，我们考虑在情境演算中使用非马尔可夫控制来指定文献中发现的不同义务概念。 这些概念已经使用事件演算进行了指定；但据我们所知，它们从未使用情境演算进行过指定。 本文中的规范产生了直观的性质，确保了整个工作的正确性。 显示英文摘要

摘要： Over more than three decades, the Situation Calculus has established itself as an elegant, powerful, and concise formalism for specifying dynamical domains as well as for reasoning about the effects of actions of those domains both in the world and in the mental state of the modelled agents. Moreover, it has also been established that the preconditions of a given action and its effects may be determined entirely by the current situation alone, or they may be determined by past situations as well. When past situations are involved in determining action preconditions and effects, resulting theories are non-Markovian. Assuming a specification of actions that produce obligations, we consider using non-Markovian control in the Situation Calculus to specify different notions of obligations found in the literature. These notions have been specified using Event Calculus; but, as far as we know, they have never been specified using the Situation Calculus. The specifications in this paper yield intuitive properties that ensure the correctness of the whole endeavour.