模态逻辑和人工智能逻辑

导师：王彦晶

简介：

模态逻辑方向：主要研究一阶模态逻辑及其片段、多元模态逻辑、非正规命题模态逻辑、非经典逻辑的模态解释及其相关的理论及应用问题。

人工智能的逻辑方向：主要研究有人工智能背景的逻辑及其理论及计算问题，包括但不限于如下方向：知识表示及推理，基于不确定性的自动化规划以及多主体系统，逻辑学与大语言模型的结合等方向。特别欢迎有计算机背景的同学报考。

说明：

上述两个方向仅代表导师目前的研究兴趣和特长所在的大致研究方向，博士生具体的研究方向在博士资格考试之后再根据学生的情况讨论确定，也可以不完全拘泥于上述两个方向。在报考时，不论选择哪个方向，博士生复试的笔试选做部分会考察申请人在模态逻辑领域的基础知识。导师希望申请人有很好的技术功底，同时有很强的批判性思维的能力，并能对基础问题有哲学式的反思，看到技术背后的思想，同时真诚的热爱科学/哲学研究。

非经典逻辑和模态逻辑

导师：钟盛阳

简介：

量子逻辑方向：主要研究作为量子系统的数学模型的数学结构，以及使用形式语言描述这些数学结构而产生的可定义性、公理化等问题，也研究逻辑学在量子计算与量子信息领域的应用。

自选方向：在导师有兴趣有能力指导的前提下，允许考生自选非经典逻辑（含直觉主义逻辑、弗协调逻辑、多值逻辑等）、格论、模态逻辑等方向的题目。

要求：

根据导师个人专长，本方向分为量子逻辑和自选方向两个子方向。导师对报考两个子方向的考生没有偏好，根据逻辑学专业的一般学术能力和学术潜力择优录取。

按照要求，报名材料中需包括个人陈述一份。请在个人陈述的研究计划部分充分展示以下能力：

1. 搜集相关经典文献和前沿文献的能力

2. 阅读和总结文献的能力

3. 问题意识，即在文献中已有成果的基础上合理地提出有研究价值的问题的能力

4. 学术书面表达能力，含书面语言表达能力和学术格式规范等。