西南大学逻辑与智能研究中心课件.docVIP

精品 第 1期总第 59 期 第 1期 总第 59 期 2017 西南大学逻辑与智能研究中心 简 报 ★ ★学术交流★ Jeremy Seligman教授学术报告 ——Social Epistemic Logic (Part 1)? ? 2017年3月24日，Jeremy Seligman教授应西南大学逻辑与智能研究中心之邀，做了题为“Social Epistemic Logic (Part 1)”的报告。 报告的主要内容是：社会学和社会心理学能给什么逻辑,尤其是认知逻辑?尽管在这些领域中，数学和计算模型很常见，但它们使用的是技术——主要是统计和贝叶斯的模型——而不是逻辑学。我们首先关注的是扩散模型，即一些属性在一个社区中传播。这已经被用来解释各种各样的社会现象，从传染到文化和创新的传播。我们将重点放在使用元胞自动机的模型上，展示如何用动态运算符来描述这些模型，并将其添加到一个命题模态逻辑的语言中。这建立了一个范例，然后我们扩展到影响的模型，这是一个双向的扩散版本。同样，我们使用基于自动化的模型，在NetLogo中实现，并在动态模态逻辑中对它们进行描述。反对的理由是，这些模型仅限于低水平的理性活动，缺乏描述高阶推理的能力，这种推理是逻辑的好处。我们认为，一个适度的扩展对高阶的信仰影响(关于其他人相信什么，他们相信你相信什么，等等)。 Jeremy Seligman教授学术报告 ——Social Epistemic Logic (Part 2)? ? 2017年4月2日，Jeremy Seligman教授应西南大学逻辑与智能研究中心之邀，做了题为“Social Epistemic Logic (Part )”的报告。 这个是延续了上周的研讨会。Jeremy Seligman教授介绍了社会科学模型的另一个方面是他们专注于不确定性和概率方法的使用。我们在社会机制中讨论了各种非决定论的来源，从结构的不确定(随机遭遇)到行为之间的冲突(我试图在你试图跟随我的时候离开你)。再一次，我们研究了基于自动化的模型和它们的逻辑描述。对社会关系变化的描述需要使用PDL(命题动态逻辑)和动态扩展DDL(动态动态逻辑)的扩展。社会非决定论的另一个方面是我们做出选择的能力。我们将“着色游戏”作为一种社会学解释的范式，并简单介绍了布尔网络游戏的方法，它使用逻辑和自动的模型，以及博弈论中的概念。 Jeremy Seligman教授学术报告 ——Social Epistemic Logic (Part 3)? ? 2017年4月7日，Jeremy Seligman教授应西南大学逻辑与智能研究中心之邀，做了题为“Social Epistemic Logic (Part )”的报告。 在这次报告中, Jeremy Seligman教授带我们考虑时间和知识的表示在我们的模型中,引入的两种方法。一个用模态逻辑的二维模型，另一种方法是将知识建模为忽视情境的能力，以及时间作为对过去的事实的存在。这些模型是在非完善的集合理论的背景下形成的，并将概念的扩展运用于情境理论，包括偏方、约束和“atunement”的概念。 通过Jeremy Seligman教授的生动讲解，以及与中心成员的多次互动，使我们对社会认知逻辑的第一部分有了更多的了解。 Jeremy Seligman教授学术报告 ——?Common Sense Modal Predicate Logic 2017年5月5日，Jeremy Seligman教授再次做了题为“?Common Sense Modal Predicate Logic”的报告。 在此次报告中，Jeremy Seligman讲述到：模态谓词演算(MPC)是将S5公理和必要规则添加到谓词逻辑的公理系统的结果。众所周知，Barcan scheme的所有实例都是MPC的定理。当用可能的世界语义学来解释时，Barcan隐含着一个强大的形而上学理论，即每个世界都有相同的对象域。我们简要地调查了一些原因，认为这是不令人满意的，并提出了一种轻微的语义和逻辑演算，以恢复常识。微积分(CMPC)不同于货币政策委员会只有在实施一个句法限制K axiom方案:□只分布在前期的自由变量的含义也发生con-sequent免费。Jeremy Seligman强调它的定理包括了Barcan的逆，而非Barcan和它的语义学拒绝了常数域的命题。 Patrick Blackburn 教授“批判性思维”报告简述 2017年5月19日，丹麦罗斯基勒大学Patrick Blackburn 教授应西南大学逻辑与智能研究中心之邀，做了题为“批判性思维真的是可能的么？（Is Critical Thinking Even Possible?）”的报告。 Blackburn 教授从对批判性思