人工智能邏輯是用邏輯方法和成果研究智能主體如何處理知識的學問，主要研究主體的常識推理。這種推理具有非單調性和信息不完備性。本講義分別介紹了三種主要的人工智能邏輯：缺省邏輯、非單調模態(tài)邏輯和限定邏輯。缺省邏輯的主要思想是在經典邏輯中增加刻畫常識推理的缺省推理規(guī)則，由此形成的擴張概念刻畫了主體的信念集及其變化。非單調模態(tài)邏輯是用“知”和“信”那樣的認識論算子研究主體的認知狀態(tài)，用具有反思性質的穩(wěn)定集概念刻畫主體的認知狀態(tài)。限定邏輯的主要思想是合理限定通常的謂詞邏輯所描述的謂詞，從而合理限定這樣的謂詞指稱的類的外延以排除反常的對象，因此限定邏輯在形式上提供一般的方法來極小化任意選出的謂詞或者由謂詞構成的公式，從而在直觀上刻畫了主體常識推理的能力。本講義內容豐富，知識面廣，表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。
鄂公網安備 42010302001612號 