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

《西南大学逻辑与智能研究中心》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑与智能研究中心简报2017第1期总第59期2017西南大学逻辑与智能研究中心简报★学术交流★JeremySeligman教授学术报告——SocialEpistemicLogic(Part1)  2017年3月24日，JeremySeligman教授应西南大学逻辑与智能研究中心之邀，做了题为“SocialEpistemicLogic(Part1)”的报告。报告的主要内容是：社会学和社会心理学能给什么逻辑,尤其是认知逻辑?尽管在这些领域中，数学和计算模型很常见，但它们使用的是技术——主要是统计和贝叶斯的模型——而不是逻辑学。我们首先关注的是扩散模

2、型，即一些属性在一个社区中传播。这已经被用来解释各种各样的社会现象，从传染到文化和创新的传播。我们将重点放在使用元胞自动机的模型上，展示如何用动态运算符来描述这些模型，并将其添加到一个命题模态逻辑的语言中。这建立了一个范例，然后我们扩展到影响的模型，这是一个双向的扩散版本。同样，我们使用基于自动化的模型，在NetLogo中实现，并在动态模态逻辑中对它们进行描述。反对的理由是，这些模型仅限于低水平的理性活动，缺乏描述高阶推理的能力，这种推理是逻辑的好处。我们认为，一个适度的扩展对高阶的信仰影响(关于其他人相信什么，他们相信你相信什么，等等)。-6-

3、逻辑与智能研究中心逻辑与智能研究中心简报2017JeremySeligman教授学术报告——SocialEpistemicLogic(Part2)  2017年4月2日，JeremySeligman教授应西南大学逻辑与智能研究中心之邀，做了题为“SocialEpistemicLogic(Part)”的报告。这个是延续了上周的研讨会。JeremySeligman教授介绍了社会科学模型的另一个方面是他们专注于不确定性和概率方法的使用。我们在社会机制中讨论了各种非决定论的来源，从结构的不确定(随机遭遇)到行为之间的冲突(我试图在你试图跟随我的时候离开你

4、)。再一次，我们研究了基于自动化的模型和它们的逻辑描述。对社会关系变化的描述需要使用PDL(命题动态逻辑)和动态扩展DDL(动态动态逻辑)的扩展。社会非决定论的另一个方面是我们做出选择的能力。我们将“着色游戏”作为一种社会学解释的范式，并简单介绍了布尔网络游戏的方法，它使用逻辑和自动的模型，以及博弈论中的概念。JeremySeligman教授学术报告——SocialEpistemicLogic(Part3)  2017年4月7日，JeremySeligman教授应西南大学逻辑与智能研究中心之邀，做了题为“SocialEpistemicLogic(

5、Part)”的报告。在这次报告中,JeremySeligman教授带我们考虑时间和知识的表示在我们的模型中,引入的两种方法。一个用模态逻辑的二维模型，另一种方法是将知识建模为忽视情境的能力，以及时间作为对过去的事实的存在。这些模型是在非完善的集合理论的背景下形成的，并将概念的扩展运用于情境理论，包括偏方、约束和“atunement”的概念。通过JeremySeligman教授的生动讲解，以及与中心成员的多次互动，使我们对社会认知逻辑的第一部分有了更多的了解。-6-逻辑与智能研究中心逻辑与智能研究中心简报2017JeremySeligman教授学术

6、报告—— CommonSenseModalPredicateLogic2017年5月5日，JeremySeligman教授再次做了题为“ CommonSenseModalPredicateLogic”的报告。在此次报告中，JeremySeligman讲述到：模态谓词演算(MPC)是将S5公理和必要规则添加到谓词逻辑的公理系统的结果。众所周知，Barcanscheme的所有实例都是MPC的定理。当用可能的世界语义学来解释时，Barcan隐含着一个强大的形而上学理论，即每个世界都有相同的对象域。我们简要地调查了一些原因，认为这是不令人满意的，并提出了

7、一种轻微的语义和逻辑演算，以恢复常识。微积分(CMPC)不同于货币政策委员会只有在实施一个句法限制Kaxiom方案:□只分布在前期的自由变量的含义也发生con-sequent免费。JeremySeligman强调它的定理包括了Barcan的逆，而非Barcan和它的语义学拒绝了常数域的命题。PatrickBlackburn教授“批判性思维”报告简述2017年5月19日，丹麦罗斯基勒大学PatrickBlackburn教授应西南大学逻辑与智能研究中心之邀，做了题为“批判性思维真的是可能的么？（IsCriticalThinkingEvenPossib

8、le?）”的报告。Blackburn教授从对批判性思维（CriticalThinking）的兴趣谈起，介绍了他所学的理解的批判性思维，并