合作、行动和知识的推理

发布时间：2017-10-31 19:34

  本文关键词：合作、行动和知识的推理

  更多相关文章： 合作逻辑 行动 知识 推理

【摘要】：近几年来,合作逻辑的研究引起了广泛关注并取得了很大的进展。合作逻辑是用来对多主体系统中联盟的合作能力进行推理的逻辑,所谓联盟的合作能力是指不论联盟外的其他主体采取什么行动,该联盟中的主体通过合作能确保某一事态成立。然而,以往的合作逻辑并没有适当刻画联盟是如何达成某一事态的,也没有考虑联盟中主体信息不完全时的合作能力。带有行动和知识的合作逻辑的发展可以弥补这些不足,可用来对联盟的合作能力、行动和知识进行推理,同时也具有很强的语言表达力。
【作者单位】： 南京大学哲学系;
【关键词】： 合作逻辑 行动 知识 推理
【分类号】：B81-0
【正文快照】： 一引言多主体(Agent)合作问题是社会科学、博弈论、计算机科学和人工智能等领域长期以来共同关心的课题。最近几年,合作逻辑的研究引起了广泛关注并取得了很大的进展,其中最具开拓性成果的主要有两个:一是由Alur,Henzinger和Kupferman于1997年开发并于2002年逐步完善的交互时

【参考文献】

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

1 吕渭源;;反思逻辑——论非逻辑思维[J];湖北大学学报(哲学社会科学版);2011年05期

【相似文献】

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

1 周华;逻辑学教学方法探略[J];新疆警官高等专科学校学报;2001年01期

2 王忠良;推理与其语言形式对应关系探析[J];延边大学学报(社会科学版);2003年02期

3 姜春民;墨子逻辑推理思想简析[J];辽宁大学学报(哲学社会科学版);1997年06期

4 孙磊;;对蕴涵和推理的关注探讨[J];现代商贸工业;2008年13期

5 余庶捷;马静;袁利华;;一种基于推理的本体映射方法[J];市场周刊(理论研究);2009年03期

6 陈涛;;推理和论证的语用分析[J];三峡论坛(三峡文学.理论版);2010年06期

7 王俊英;趣味实例在逻辑学辅导中的作用[J];内蒙古电大学刊;1996年02期

8 黄士平;几种推理定义之商榷[J];江汉大学学报;1997年05期

9 孙洪义;对《形式逻辑》几个问题的探讨[J];大连教育学院学报;1999年03期

10 郭芙蓉;推理是由前提、结论、推导关系三部分构成[J];黑龙江教育学院学报;2001年04期

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

1 陈小平;郑诚;刘贵全;;意图形式化研究的若干问题[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

3 杜雄柏;;皮亚杰的逻辑起源观及其意义[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

4 关兴丽;;墨家的言语行为思想和中国古代逻辑[A];2003年逻辑研究专辑[C];2003年

5 贺寿南;;博弈视野中的逻辑推理问题[A];庆祝科学技术与辩证法创刊20周年文集[C];2004年

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

1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

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

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

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

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

1 王婉玲;冯·赖特行动逻辑研究[D];华南师范大学;2004年

2 祁长见;王充的逻辑思想探析[D];西南大学;2009年

3 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

4 陈国亮;博弈逻辑中的推理问题研究[D];燕山大学;2012年

，

本文编号：1123478