人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。本讲义内容丰富，知识面广，表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。
鄂公网安备 42010302001612号 