认知合成的近似的复杂性（扩展摘要）
计算机科学中的逻辑
2016-02-04 v1 多智能体系统
摘要
认知协议规范允许用多个代理在信息不完全情况下行动的设置中的程序，根据动作与代理所知内容的关系来描述。它们是Fagin等人[Distributed Computing, 1997]的基于知识的程序的一种变体，其动机是该框架中合成实现的复杂性。本文提出一种认知协议规范实现的合成方法，该方法将寻找实现的问题归约为一系列在最终被合成系统的近似中的模型检测问题。考虑了多种构造此种近似的方法，并针对相关模型检测问题的复杂性进行了研究。该研究的结果是确定了具有PTIME可实现性质的最佳近似。
引用
@article{arxiv.1602.01176,
title = {The complexity of approximations for epistemic synthesis (extended abstract)},
author = {Xiaowei Huang and Ron van der Meyden},
journal= {arXiv preprint arXiv:1602.01176},
year = {2016}
}
备注
In Proceedings SYNT 2015, arXiv:1602.00786