A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
复制标题
情境演算到认知逻辑的简单易处理的扩展
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Maria del Pilar Pozos Parra
中科院分区：
文献类型：
--
作者：
R. Demolombe;Maria del Pilar Pozos Parra
框架问题和知识变化的表示是一个值得研究的问题。特别是，在多伦多的认知机器人小组，在过去的十年里，几位研究人员在基于情景演算的统一形式逻辑框架中发表了相当有趣的论文[Rei91，SL93，LR94，LL98]。在[Rei91]中，Reiter为框架问题提出了一个简单的解决方案。Scherl和Levesque在[SL93]中定义了对认知逻辑的扩展，以表示在某些动作可能产生知识的上下文中的知识动力学，例如，感知机器人的动作。这种方法已由Lakmeyer和Levesque在[LL98]中扩展到“我知道并且只知道”这类模式算子。给出了形式语义和公理，证明了公理的可靠性和完备性。
The frame problem and the representation of knowledge change have deserved a lot of works. In particular, at the Cognitive Robotics Group, at Toronto, several researchers in the last ten years have produced quite interesting papers in a uni- form logical framework based on Situation Calulus [Rei91, SL93, LR94, LL98]. In [Rei91] Reiter has proposed a simple solution to the frame problem. Scherl and Levesque in [SL93] have defined an extension to Epistemic Logic to represent knowledge dynamics in contexts where some actions may produce knowledge, like, for instance, sensing actions for a robot. This approach has been extended by Lakemeyer and Levesque in [LL98] to modal operators of the kind “I know and only know”. Also, they have given a formal semantics and axiomatics, and they proved soundness and completeness of the axiomatics.