人工智能原理ch4andch5read(編輯修改稿)
2025-03-10 15:20 本頁面
【文章內(nèi)容簡(jiǎn)介】 部分為后項(xiàng)（新斷言 ）。這種 基于規(guī)則的系統(tǒng)叫做規(guī)則演繹系統(tǒng) 。 有時(shí)， THEN部分用于規(guī)定動(dòng)作，這時(shí)稱這種基于規(guī)則的系統(tǒng)為 反應(yīng)式系統(tǒng)或產(chǎn)生式系統(tǒng)。 規(guī)則正向演繹系統(tǒng) (事實(shí)、規(guī)則、目標(biāo) ) 在基于規(guī)則的系統(tǒng)中，無論是規(guī)則演繹系統(tǒng)或規(guī)則產(chǎn)生式系統(tǒng)，均有兩種推理方式，即正向推理和逆向推理。 從 IF部分向 THEN部分推理的過程，叫做正向推理 。也就是說，正向推理是從事實(shí)或狀況向目標(biāo)或動(dòng)作進(jìn)行操作的。反之， 對(duì)于從 THEN部分向 IF部分推理的過程，叫做逆向推理 。逆向推理是從目標(biāo)或動(dòng)作向事實(shí)或狀況進(jìn)行操作的。 1. 事實(shí)表達(dá)式的 與或形變換 通常用謂詞演算公式來表示事實(shí)（用作事實(shí)表達(dá)式）。如事實(shí)表達(dá)式： ( U)( V){Q(V,U)∧[(R(V)∨P(V))∧S(U,V)]} 通常還存在蘊(yùn)含關(guān)系。 ?? 在基于規(guī)則的正向演繹系統(tǒng)中，所要做的第一步是將其變換（或叫化成）非蘊(yùn)含形式的與或形 。要把一個(gè)公式化成與或形，可利用以下恒等式或方法： (1) W1=W2 = W1∨W2 （利用恒等式 ，去蘊(yùn)含符號(hào)），在事實(shí)表達(dá)式中，很少有 =符號(hào)出現(xiàn) (2) 用德 .摩根公式（定律）把否定符號(hào)移進(jìn)括號(hào)內(nèi)，直到每個(gè) 否定符號(hào) 都只含 一個(gè)謂詞 為止。 (3) 對(duì)所得表達(dá)式進(jìn)行 skelem化，消除存在性量詞。 X Y mother(Y , X) X mother( f(X) , X ) (4) 刪去全稱量詞 ，而余下的變量都被認(rèn)為具有全稱量化作用。 Q(V, f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} ?? 2. 事實(shí)表達(dá)式的 與或圖 表示 根節(jié)點(diǎn) Q(V,f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} 與、合取 Q(V,f(V)) [(R(V)∧P(V))]∨S(f(V),V) 或、析取 R(V)∧P(V) S(f(V),V) 葉節(jié)點(diǎn) 文字 R(V) P(V) 通常，把事實(shí)表達(dá)式的與或圖表示 倒 過來畫，即把根節(jié)點(diǎn)畫在最下面，而把其后繼節(jié)點(diǎn)往上畫。 3. 與或圖的 F規(guī)則 變換 我們把允許用作規(guī)則的公式類型限制為下列形式： L = W 式中， L是單文字； W是與或形表達(dá)式 例如：事實(shí)表達(dá)式： P∨[S∧(T∨U)] 規(guī)則： S =(X∧Y)∨Z P∨[S∧(T∨U)] P 析取 S∧(T∨U) S 合取 T∨U S T U Z X∧Y 應(yīng)用一條 F規(guī)則 L=W X Y 得到的與或圖 4. 作為終止條件的目標(biāo)公式 應(yīng)用 F規(guī)則的目的在于從某個(gè)事實(shí)公式和某個(gè)規(guī)則集出發(fā)來證明某個(gè)目標(biāo)公式。在正向推理系統(tǒng)中，這種目標(biāo)表達(dá)式只限于可證明的表達(dá)式，尤其是可證明的 文字析取形的目標(biāo)公式表達(dá)式。 結(jié)論是：當(dāng)正向演繹系統(tǒng)產(chǎn)生一個(gè)含有目標(biāo)節(jié)點(diǎn)作為終止的解圖時(shí)，此系統(tǒng)就成功地終止。 (目標(biāo)可由葉節(jié)點(diǎn)析取得到 ) 對(duì)上圖，若目標(biāo)為： P∨Z∨X 或 P∨Z∨Y 時(shí)，就算證出。 例：事實(shí) A∨B 規(guī)則 A=C∧D ， B=E∧G 目標(biāo) C∨G （ C∨E ， D∨G ， D∨E ） A∨B 消解否證法 A B A∨C C G B∨G A B A∨B A B C D E G B C G 空 把規(guī)則化為子句形式： A∨C ， A∨D ， B∨E ， B∨G 目標(biāo)否定： C∨G ，其子句形式為 C ， G 規(guī)則逆向演繹系統(tǒng) 基于規(guī)則的逆
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號(hào)-1