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