西南大学逻辑与智能研究中心

1、逻辑与智能研究中心简报 2017第 2期总第 60 期2017西南大学逻辑与智能研究中心简 报学术交流Thomas Agotnes 教授“合作推理”报告简述2017年6月2日，挪威卑尔根大学 Thomas Ågotnes 教授应西南大学逻辑与智能研究中心之邀，为中心师生做了题为 “合作推理”（Reasoning about Cooperation）的报告，Jeremy Seligman教授对 Ågotnes 教授做了简要的介绍。Ågotnes 教授首先简要介绍了CTL的语言和语义， 并就表示主体能力的模态公式<A>phi 在一系列相

2、关逻辑中所表达的自然语义做了介绍。进一步，Ågotnes 教授介绍了ATL的模型和语言， 对于单个主体的策略，是由针对于具体状态（state）上的可执行的行动/动作（action）的集合来定义的（之后我们称之为“无记忆策略” memoryless strategy）， 而群体的策略则是群体中每一主体在群体中可执行策略的集合。在ATL中的关于群体策略的模态算子 <G>与关于路径（path）或状态时间（state/time）的模态算子是成对出现的，如<G>Ophi，<G> phi U psi，<G>phi等，分别表示“群体G有一个策略使得p

3、hi在下一步为真”，“群体G有一个策略使得在psi真之前，phi都为真”，“群体G有一个策略使得phi一直为真”。ATL关于群体的模态公式可以简要理解为，群体有一个策略使得对任意群体外的主体而言，无论他们采取任何策略，群体执行策略的结果不会受到影响，如之上所提的Ophi 为真，phi U psi为真，phi为真等等，Ågotnes 教授运用一些例子阐明了这些模态公式的语义，并给出了ATL的公理系统。基于ATL中模态算子是成对出现的现象，Ågotnes 教授进一步介绍了其扩张，ATL*。在ATL*中模态算子可以分开出现，即我们可以表示类似于<G>(Ophiwedg

4、epsi)一样的公式。然而ATL*的公理系统和完全性问题至今还未被解决。即便如此，Ågotnes 教授给出了ATL和ATL*之间一些有趣的关系。比如，对于一个新的策略语义，“完美记忆策略”（prefect recall strategy）：主体对于任意有穷状态序都有一个策略。ATL不能区分无记忆策略语义与完美策略语义之间的区别， 而ATL*却可以。另言之，在ATL*中，存在着一个公式在完美策略语义下为真，但是在无记忆策略语义下为假。Ågotnes 教授对此进行了例示和阐明。最后，Ågotnes 教授介绍了 “不可重用”（irrevocable）策略。一个策略对于某

5、一主体是不可重用的，意指该主体一旦执行了该策略之后，则不可再次执行该策略。基于该策略语义的ATL的完全性问题依然未被解决。在问答环节，大家对此表现出了浓厚的兴趣，提出了很多相关的建议与问题中心要闻 李章吕参加逻辑教育专业委员会成立大会 2017年7月10-11日，“中国逻辑学会逻辑教育专业委员会成立大会暨逻辑思维与素质教育常州论坛”在江苏常州中学召开。李章吕副教授代表中心出席了此次会议，并受邀做了题为 “西南大学逻辑教育工作的回顾与展望兼论慕课背景下的大学逻辑教育”。李章吕副教授首先介绍了西南大学逻辑教育的基本架构和依托平台，即以重庆市人文社会科学重点研究基地“西南大学逻辑与智能研究

6、中心”、重庆市重点学科、硕士学位授权店、博士学位授权点、博士后流动站为教学平台，以国家级教学名师、国家级教学团队、国外柔性引进教授等为教学力量，以国家级精品课程、国家级精品资源视频共享课程等为教学资源等，共同搭建起一个全方位的逻辑教育平台。在这个平台基础上，通过哲学本科专业的专业课程、公共管理专业和政治学专业的平台课程、全校本科生的通识选修课程、本科生跨专业选修课程、重庆大学联盟课程、iCourse网络课程等途径对本科生、研究生等开展逻辑学通识教育，通过逻辑学硕士点、博士点、博士后流动站等开展逻辑学专业教育，实现全方位、多途径的逻辑教育工作切入点。在对西南大学逻辑教育的平台、途径和对象进行介绍

7、之后，李章吕副教授还从以下四个方面对西南大学的逻辑教育工作进行了全面介绍：1.西南大学逻辑教育的历史沿革；2.西南大学逻辑教育的主要成绩；3.西南大学逻辑教育的经验体会；4.西南大学逻辑教育的工作展望。在李章吕副教授图文并茂的报告中，与会代表对西南大学的逻辑教育有了更加深入的了解，并对西南大学的逻辑教育取得的成绩表示赞叹，对下一步即将开展和实施的逻辑教育举措也表示高度认同，特别是通过开发慕课来实现逻辑通识教育的举措大为赞赏，认为该举措突破了时空限制，必将对我国的逻辑教育工作做出重大贡献。学术会议中心成员参加2017年全国归纳逻辑学术研讨会2017年8月16-17日，“2017年全国归纳逻辑学术

8、研讨会”在云南师范大学（呈贡校区）举行，中心荣誉主任何向东教授、中心主任郭美云教授、中心办公室主任李章吕副教授等三人受邀参加了此次学术研讨会。何向东教授主持了大会开幕式。李章吕副教授做了题为“论萨维奇的确定性原则基于逻辑与认知的分析”的学术报告。会议期间，中心成员还就学科建设、团队建设、逻辑教学、协同培养等诸多议题与各位专家学者展开了深入研讨，在许多方面都达成了较为广泛的认识。此外，在本次会议上，经中国逻辑学会归纳逻辑专业委员会主任任晓明教授提名、全体委员表决，李章吕副教授当选为中国逻辑学会归纳逻辑专业委员会秘书长。这也表明了我国归纳逻辑学界对中心在归纳逻辑研究上所取得成绩的肯定。中心师生参加第六届逻辑、理性与互动国际大会2017年9月11日至14日， 中心成员熊作军，柔性引进教授Jeremy Seligman，访问教授Thomas Ågotnes, 以及中心博士生梁真等参加了由日本北海道大学主办的第六届逻辑、理性与互动国际大会（LORI-VI），Jeremy Seligman 作为程序委员会主席之一主持了这次会议。 由我中心成员熊作军等合作的论文Towards a Logic of Tweeting以及毕业于我中心的姜桂飞博士的论文On Axiomatiz