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

逻辑与智能研究中心简报2018-PAGE2-逻辑与智能研究中心第第4期总第66期2018西南大学逻辑与智能研究中心简报★★学术交流★李章吕受邀在伊利诺伊州立大学做学术报告2018年11月9日上午11:00，受美国伊利诺伊州立大学哲学系邀请，李章吕副教授在伊利诺伊州立大学StevensonHall132做了一场题为“SolvingNewcomb’sProblemwithProbabilityStructure”的学术讲座。美国伊利诺伊州立大学哲学系系主任ChristopherHorvath教授出席了本次讲座，DanielBreyer、DavidSanson、DerekO'Connell等哲学系、数学系和教育学系等的部分师生到场聆听了本次报告。李章吕副教授从贝叶斯决策理论的基本观点及其重要性谈起，接着探讨了纽科姆难题中选择困境对其规范性的挑战，然后用概率理论对选择困境进行了分析，指出选择困境的形成其实是因为决策者在面对纽科姆难题中的选择情境时，对联合概率的分解可以有两种不同的理解，而这两种理解是由两个不相容的假设所导致的。因而，可以通过澄清联合概率的分解方式来消解纽科姆难题。讲座期间和问答环节，李章吕副教授与听众进行了较好的互动，分别回答了JimO’Donnell,ChristopherHorvath,DanielBreyer,DavidSanson,RoyJlyons等人的提问。慕尼黑大学RushStewart博士做学术报告2018年12月17、19日19:30-21:30，德国慕尼黑大学数学哲学中心助理教授RushStewart博士在中心3203学术报告厅为广大师生带来了两场精彩的学术报告。报告的主题分别是：报告I：概率化观念的聚合方法介绍。报告II：非精确概率下概率化观念的聚合。★★中心要闻★2017级博士生开题报告会

2018年12月6日晚19：00-21:00，2017级博士生谭雪叶博士论文开题报告会在逻辑与智能研究中心会议室进行。此次开题委员会由何向东教授任主席，唐晓嘉教授、郭美云教授、邓辉文教授、李章吕副教授任委员，熊作军博士任负责人，孙永丹硕士生任记录员。此外，中心部分逻辑专业的在校博士生、硕士生也参与了旁听。此次报告会由两部分组成，分别是博士综合考试与博士论文选题报告。报告会主席何向东教授介绍了本次报告会的议程、议题等基本情况，并宣布报告会开始。博士生谭雪叶介绍了自己入学两年来学习的课程、参与的学术会议等学习情况，并针对老师们提出的专业问题进行了回答。综合考试结束后，谭雪叶从自己的研究专业和研究领域出发，对开题报告内容作了比较详细的汇报，汇报内容包括选题背景和意义、国内外研究现状及文献综述、研究的主要内容、拟解决的关键问题和重难点问题、论文创新点、论文工作计划等，与会老师针对汇报内容分别提出了自己的建议和意见。老师提问结束后，按开题报告会的既定程序，开题委员会成员闭门对谭雪叶博士生的综合考试与选题报告进行了投票。最后，按照投票统计结果，开题委员会主席何向东宣布委员会一致认为谭雪叶通过博士生综合考试与选题申请。逻辑教研室举行教研活动2018年12月25日上午11:00，逻辑教研室在3203西南大学逻辑与智能研究中心会议室举行了教研活动。本次活动的主题是：“《现代逻辑与批判性思维》课程的大纲修订”，本门课程的任课教师唐晓嘉教授、李章吕副教授、蒋军利博士、熊作军博士参与了本次教研活动。大家围绕课程建设、内容体系、教学模式、教学方法和考核方式等进行了深入研讨，并确定了各部分内容的教学分工等，为本门课程的质量提升打下了坚实基础。中心毕业生喜获2018年重庆市优秀博士学位论文根据《重庆市教育委员会关于公布2018年优秀博士、硕士学位论文名单的通知》（渝教研发[2018]4号），中心毕业生王善侠的博士论文《极小非正规时态逻辑研究》喜获2018年重庆市优秀博士学位论文。博士论文摘要：时态逻辑是模态逻辑的一个重要分支。随着人工智能、软件工程、模型检测等领域的产生和发展,时态逻辑在计算机科中越来越重要。本文研究的对象是极小非正规时态逻辑C2t，该逻辑是对E.J.Lemmon提出的极小非正规模态逻辑C2时态化处理后得到的。针对极小非正规时态逻辑C2t，本文从证明论、模型论和代数的角度开展了以下5个方面的创新性工作:建立C2t的希尔伯特式公理系统HC2t。建立C2t的加标矢列式演算系统GC2t。建立正则模型类在时态语言下可定义的刻画定理。建立C2t语言与一阶语言的对应理论和C2t语言的有穷模型性。建立C2t的代数语义学。本文开展的上述工作，从理论上丰富了现有的时态逻辑系统,并建立了一些重要的结论。这些结论在软件规约、自动定理证明和模型检测等方面都有一定的指导意义。因此本文的研究，不仅具有理论意义，而且具有应用价值。王善侠博士简介：2011年--2017年，于西南大学逻辑与智能研究中心攻读逻辑学博士，师从邓辉文教授。2017年获哲学博士学位，现为河南师范大学计算机与信息工程学院、软件学院副教授。非精确概率逻辑读书会2018.12.14日(周五)上午9:30，在逻辑与智能研究中心会议室举办了以非精确概率逻辑(ImpreciseProbabilities)为主题的读书会，领读人为中心学生詹莹、郭青宸和刘慧。此次读书会的主要内容是介绍概率逻辑的相关分类与历史，以及传统精确概率逻辑面临的困境，从而引出非精确概率逻辑，并介绍其相对于精确概率逻辑有哪些异同与进步。参考资料:《逻辑学·第二版》第七章概率部分斯坦福哲学百科全书词条ImpreciseProbabilities王春丽博士生与张冒玲硕士生的报告2018年10月19日晚上7：00-9：00，2016级博士生王春丽做了关于布尔逻辑理论中“不可解释的表达式”的报告，2016级硕士生张冒玲讲读其最近阅读的一篇题为“Actionsthatmakeusknow”(JohanvanBenthem,2006)的论文。概率动态认知逻辑读书会2018年12月25日，2016级硕士生张志金带领逻辑中心的部分师生（硕士生、博士生、青年老师）以及部分哲学本科生研读了BarteldP.Kooi的概率动态认知逻辑（ProbabilisticDynamicLogic,JoLLI12,381-408,2003）一文。该文将动态认知逻辑（DynamicEpistemicLogic）和概率逻辑（ProbabilisticLogic）相糅合，形成了一个概率推理、信息以及信息改变的动态认知逻辑。并给出了语义系统和公理系统，证明了完全性，并用该逻辑分析了一系列相关例子，如蒙提霍尔困境（MontyHallDilemma），中心师生就可能的扩展研究进行了交流讨论。谭雪叶博士生的报告2018年11月8日15点-16点，2017级博士生谭雪叶在逻辑与智能研究中心教室为中心师生带来了一场题为“哲学逻辑与人工智能”的学术报告。人工智能发展至今经历数次起落，产生出多个派别。本次报告以近代欧洲哲学为切入点，结合图灵测试及塞尔“汉字屋”论证，厘清各派的理论依据和分歧所在，同时探讨哲学和逻辑学在人工智能研究中的作用。★★学术会议★中心师生参加2018年全国现代逻辑学术研讨会2018年10月26-28日，由中国逻辑学会现代逻辑专业委员会主办、厦门大学承办的“2018年全国现代逻辑学术研讨会”在美丽的厦门大学（思明校区）召开。来自北京大学、中山大学、中国社会科学院、浙江大学、西南大学、南开大学、北京师范大学、四川大学、河北大学、中国科学院大学、山东大学、南京大学、南京师范大学等近30所国内知名高校和科研机构的近百人专家学者和学生参加了会议。全国现代逻辑学术研讨会旨在增进国内各领域逻辑学研究人员的交流，共同营造一个健康的学术氛围，提高学术研究水平。为对参会学术论文严格