三第4章經(jīng)典邏輯推理:1、基本概念3、歸結(jié)演繹推理4、與/或形演繹推理基本概念3●何為推理?·●從已知的事實(shí)出發(fā),不斷運(yùn)用已掌握的(知識(shí)庫中的)知識(shí)推出或歸納出新的事實(shí)(包括目標(biāo)結(jié)論)的過程稱為推理。人工智能中推理是由程序?qū)崿F(xiàn)的,稱這個(gè)程序?yàn)橥评頇C(jī)。推理方式及其分類●人工智能作為對(duì)人類智能的模擬,有多:種推通方鹽它付·2、確定性推理、不確定性推理●3、單調(diào)推理、非單調(diào)推理●4、啟發(fā)式推理、非啟發(fā)式推理●5、基于知識(shí)的推理、統(tǒng)計(jì)推理、直覺推理●分別解釋如下:°1、演繹推理、歸納推理、默認(rèn)推理●所謂演繹推理是從全稱判斷推導(dǎo)出特稱3常用的是三段論式:它“推理·判斷的過程,是從一般到個(gè)別大前提:已知的一般性知識(shí)或假設(shè);小前提:具體情況或個(gè)別事實(shí);結(jié)論:由大前提推出的適合小前提所示情況的新判斷°1、演繹推理、歸納推理、默認(rèn)推理●例如有如下三個(gè)判斷:·(1)足球運(yùn)動(dòng)員的身體都是強(qiáng)壯的;°(2)高波是一名足球運(yùn)動(dòng)員●(3)所以,高波的身體是強(qiáng)壯的●其中(1)是大前提,(2)是小前提●(3)是經(jīng)演繹推出的結(jié)論。●只要大前提和小前提是正確的,那麼由它們推出的結(jié)論就是正確的?！?、演繹推理、歸納推理、默認(rèn)推理·演繹推理是人工智能中的一種重要推理:方式,目前研制成功的各關(guān)智能系統(tǒng)中,°1、演繹推理、歸納推理、默認(rèn)推理?！駳w納推理是從足夠多的事例中歸納出:般性結(jié)論的推理過程,是一種從個(gè)別到3:物的果對(duì)鋼如件類行產(chǎn)品質(zhì)量并且都是合格的,則推導(dǎo)出結(jié)論:該廠生產(chǎn)的產(chǎn)品是合格的。并稱這種推理為完全歸納推理?！?、演繹推理、歸納推理、默認(rèn)推理如果是隨機(jī)地抽查部分產(chǎn)品,并且它們是合格的,則得出結(jié)論該廠的產(chǎn)品是合格的,這種推理稱為不完全歸納推理默認(rèn)推理又稱為缺省推理,它是在知識(shí)不完全的情況下假設(shè)某些條件已經(jīng)具備所進(jìn)行的推理。例如,在條件A已成立的情況下,如果沒有足夠的證據(jù)能證明條件B不成立,則默認(rèn)B成立并在默認(rèn)前提下進(jìn)行推理,推導(dǎo)°1、演繹推理、歸納推理、默認(rèn)推理出某個(gè)結(jié)論來。由于這種推理允許默認(rèn)某些條件是成立的,這就擺脫了需要知道全部有關(guān)事實(shí)才能進(jìn)行推理的要求,使得在知識(shí)不完全的情況下也能進(jìn)行推理。在默認(rèn)推理過程中,如果到某一時(shí)刻發(fā)現(xiàn)原先所做的默認(rèn)不正確,則可以撤消默認(rèn)推理和所推出的結(jié)論,并重新按新情況進(jìn)行推理。2、確定性推理、不確定性推理●●所謂確定性推理是指推理時(shí)所用的:知識(shí)都是精確的,推出的結(jié)論也是確定的,是真或者是假。經(jīng)典邏輯°推理就屬于這一種●不確定性