纪尧姆拍卖行;巴斯蒂安·莫伯特;苏菲·平奇纳特 认知协议综合的自动机技术。 (英语) Zbl 1464.68340号 Mogavero,Fabio(编辑)等人,《第二届战略推理国际研讨会论文集》,SR'14,法国格勒诺布尔,2014年4月5-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)146,97-103(2014)。 小结:在这项工作中,我们旨在将自动机技术应用于动态认识逻辑中研究的问题,例如认识规划。为此,我们首先注意到,从初始认知模型无限次地重复执行命题事件模型会产生一个可以用自动机有限地表示的关系结构。这种对应关系,再加上最近关于统一策略的结果,使我们能够对命题事件的认知规划问题给出另一种可判定性证明,作为其副产品,精确的时间复杂度上限,以及合成描述所有解决方案集的有限字自动机的可能性。事实上,使用自动机技术使我们能够解决一个更普遍的问题,我们引入并称之为认知协议合成。关于整个系列,请参见[Zbl 1433.68028号]. 引用于4文件 MSC公司: 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑(包括信念变化) 05年3月 与逻辑问题相关的自动机和形式文法 68T42型 Agent技术与人工智能 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher}等人,《电子》。程序。西奥。计算。科学。(EPTCS)146,97--103(2014;Zbl 1464.68340) 全文: arXiv公司 链接