时序 - 认知动作的逻辑
计算机科学中的逻辑
2014-11-25 v1 人工智能
多智能体系统
摘要
我们提出了动态认知时序逻辑，这是一个用于推理包含指定时序关系的多智能体 Kripke 模型上操作的框架。这些操作是动态认知逻辑中众所周知的“动作模型”的自然扩展。我们的“时序动作模型”可用于定义多种信息动作，这些动作可以修改模型的“客观”时序结构，以及智能体关于该结构的基本和高阶知识与信念（包括它们关于时间的信念）。本质上，这种方法提供了一种将动作模型风格的操作域从非时序 Kripke 模型扩展到时序 Kripke 模型的方式，并允许动作控制时间流。我们提供了若干示例以阐明解释扩展动作模型对时序 Kripke 模型效应时所涉及的微妙之处。我们还研究了时序 Kripke 模型的重要认知 - 时序性质在时序动作模型诱导操作下的保持性，为两种时序动作模型理论提供了完整的公理化体系，并将我们的方法与动态认知逻辑中关于时间的先前工作联系起来。
引用
@article{arxiv.1411.6279,
title = {Logics of Temporal-Epistemic Actions},
author = {Bryan Renne and Joshua Sack and Audrey Yap},
journal= {arXiv preprint arXiv:1411.6279},
year = {2014}
}