理性主体博弈的逻辑建模及其模型检测

本项目试图发展主体(agent)逻辑，用形式化方法构建人工智能领域主体理论，精确地定义主体和环境状态，分析主体行为，描述、规约和验证主体和多主体系统性质和特征。首先，基于动态认知逻辑，整合其他非经典逻辑，构建不同类型博弈的认知逻辑系统，刻画不同主体的理性认知特征（包括不同资源受限的有限理性主体），有效表达主体高阶信息变化的认知机制。其次，分析具有这些理性特征的主体在博弈中交互认知的结果与不同均衡之间的对应关系，为合理置信的均衡及重复剔除算法提供恰当的认知基础。最后，拓展和改进动态认知模型检测工具DEMO，实现对博弈认知逻辑系统性质的判定及相关博弈求解。鉴于当前对于主体认知结构的建模尚未满足人工智能领域中对主体认知的逻辑语义处理的要求，以及动态认知模型检测技术发展在验测多主体博弈认知系统性质的局限性，本项目对于深化理性主体博弈中认知互动机制的形式化研究和动态模型检测技术发展具有积极意义。

本项目所有研究内容执行情况一切按照计划进行。三年来，我们已基本完成研究计划，实现了预期的研究目标。在理论研究方面，我们基于动态认知逻辑，整合其他非经典逻辑，构建了不同类型博弈的认知逻辑系统，从而实现了对于不同主体的理性认知特征的刻画，有效表达主体高阶信息变化的认知机制。同时， 我们通过分析具有这些理性特征的主体在博弈中交互认知的结果与不同均衡之间的对应关系，为合理置信的均衡及重复剔除算法提供恰当的认知基础。在技术开发方面，我们拓展和改进动态认知模型检测工具 DEMO，实现对博弈认知逻辑系统性质的判定及相关博弈求解。这些内容的研究成果对于深化理性主体博弈中认知互动机制的形式化研究，推动动态模型检测技术发展起到了积极意义。在本项目的资助下，我们共发表论文19篇，其中被SCI、EI、ISTP等机构检索的文章共计18篇。