[第5集] 人工智能逻辑

本集介绍：本讲通过区分数学推理与常识推理介绍了人工智能逻辑的产生背景，以非单调推理为例介绍了人工智能逻辑的研究对象和研究方法。重点介绍了缺省逻辑及其应用。

讲师：鞠实儿，男，1953年9月26日生，中山大学哲学系系主任，教育部人文社会科学重点研究基地中山大学逻辑与认知研究所所长，中山大学哲学系教授、逻辑学博士生导师，曾在美国哥伦比亚（Columbia）大学、匹兹堡（Pittsburgh）大学和斯坦福（Stanford）大学哲学系访问；1999年入选教育部跨世纪人才培养计划，2003年被聘为广东省特聘教授，2010年受聘为中山大学“逸仙学者”讲座教授。主攻方向为：非经典逻辑、逻辑哲学和认知与文化。

逻辑学是研究、区分、论证好坏标准的科学。它不仅有形式逻辑与非形式逻辑之分，还有演绎逻辑与归纳逻辑之别。本课程将围绕形式理性和实践理性展开讲授，让学生对逻辑学的基本知识有一个大致的了解和把握，同时学会一些如何论证的基本逻辑技巧。本课程共分7讲：主要介绍逻辑学的对象、类型及其发展趋势，数理逻辑的基础知识，哲学逻辑的基础知识等。