多主体合作逻辑发展趋势研究

发布时间：2017-09-09 21:28

  本文关键词：多主体合作逻辑发展趋势研究

  更多相关文章： 多主体系统 联盟逻辑 交互时态逻辑 合作逻辑

【摘要】：多主体合作逻辑是多主体系统研究中关注的热点问题,也是近年来逻辑学与人工智能领域的一个前沿研究课题。国外学者对多主体合作逻辑的研究主要是围绕着联盟逻辑和交互时态逻辑两条线索展开,并在此基础上进行拓展,形成了联盟逻辑序列和交互时态逻辑序列;国内对多主体合作逻辑的研究尚处于起步阶段。学界对于联盟逻辑和交互时态逻辑研究已有一定的广度,但仍有待于进一步深化和完善;对联盟逻辑序列与交互时态逻辑序列的比较研究尚需深入展开;对多主体合作逻辑中模型检测的研究还比较薄弱;对非合作博弈中多主体合作逻辑的研究有待于推进。
【作者单位】： 北京理工大学人文与社会科学学院;
【关键词】： 多主体系统 联盟逻辑 交互时态逻辑 合作逻辑
【基金】：北京市哲学社会科学规划项目“双主体博弈逻辑形式系统建构及模型检测研究”(11ZXB004)
【分类号】：B815
【正文快照】： 多主体合作逻辑(Cooperation Logics)是近年来逻辑学与人工智能领域的一个前沿研究课题,涉及逻辑学、计算机、博弈论相关领域的内容,是一个高度交叉的研究领域。多主体合作逻辑研究多主体系统中联盟策略能力的推理。联盟策略能力(Coalition Strategic Ability)即联盟通过采取

【共引文献】

中国期刊全文数据库 前8条

1 赖贤伟;胡山立;宁正元;王秀丽;;Multi-agent Belief,Goal and Exceptions Reasoning[J];Journal of Donghua University(English Edition);2010年02期

2 宁正元;赖贤伟;胡山立;王秀丽;;Belief and Knowledge Reasoning[J];Journal of Donghua University(English Edition);2010年02期

3 赖贤伟;胡山立;宁正元;王秀丽;;交互时态逻辑下的三种模糊信念算子[J];海南师范大学学报(自然科学版);2008年04期

4 刘虎;;一个用于表达因果关系的ATL的扩展(英文)[J];逻辑学研究;2009年04期

5 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期

6 吕进;;一个向上线序的命题时态逻辑PTL[J];西南大学学报(社会科学版);2010年02期

7 陈清亮;朱可宜;;多智能体协同的认知规范模型检测算法[J];中山大学学报(自然科学版);2009年01期

8 黄正;唐晓嘉;;基于逻辑的社会选择理论研究[J];哲学动态;2012年03期

中国重要会议论文全文数据库 前1条

1 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

中国博士学位论文全文数据库 前3条

1 吴骏;多Agent联盟规范系统研究[D];南京大学;2011年

2 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

3 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年

中国硕士学位论文全文数据库 前1条

1 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年

【相似文献】

中国期刊全文数据库 前10条

1 冯彦波;;组合逻辑:一种新的逻辑研究方法[J];重庆工学院学报(社会科学版);2009年07期

2 武宏志;陈如松;;非形式逻辑和人工智能[J];佳木斯大学社会科学学报;2006年05期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前2条

1 陈慕泽;;多主体认知系统中的共同知识[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

2 陈小平;刘贵全;郭宝贵;;一个意图后承的形式理论[A];2000年逻辑研究专辑[C];2000年

中国重要报纸全文数据库 前1条

1 陈慕泽;多主体系统中的互知[N];光明日报;2000年

中国硕士学位论文全文数据库 前2条

1 刘珂;动态认知逻辑发展初探[D];河南大学;2008年

2 梁真;群体动态认知偏好逻辑[D];西南大学;2011年

，

本文编号：822857