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

项目名称： 理性主体博弈的逻辑建模及其模型检测

项目编号： No.61173019

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 鞠实儿

作者单位： 中山大学

项目金额： 56万元

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

中文关键词： 认知博弈；博弈逻辑；动态模型检测；有限理性；

英文摘要：

英文关键词： Epistemic Game；Game Logic；Dynamic Epistemic Model Checking；Bounded Rationality；