人工智能lesson3--資料下載頁
2025-07-24 21:56本頁面
【正文】 的。 線性歸結(jié)策略 在歸結(jié)過程中，除第一次歸結(jié)可都用初始子句集 S中的子句外，其它的各次歸結(jié)至少要有一個親本子句是前次歸結(jié)的結(jié)果。 例、 P85例 5 線性歸結(jié)策略的特點：完備、高效、與別的策略兼容。 輸入歸結(jié)策略 每次參加歸結(jié)的親本子句，必須至少有一個是初始子句集 S中的子句。 輸入策略的特點： 輸入歸結(jié)策略實際是一種自底向上的推理，它有相當高的效率。 輸入歸結(jié)策略不完備。例如 S={ P?Q ,? P?Q, P? ? Q, ? P?? Q}不可滿足，但用輸入歸結(jié)策略導不出空子句。 可與支持集策略、線性歸結(jié)策略結(jié)合。 單元歸結(jié)策略（單文字歸結(jié)策略） 每次參加歸結(jié)的兩個親本子句中，必須至少有一個是單元子句（單文字子句）。 單元歸結(jié)策略的特點： 可以盡快逼近空字句； 效率高但不完備 改進型的單元歸結(jié)策略：單元優(yōu)先策略。 祖先過濾形策略 參加歸結(jié)的兩個子句，要么至少有一個是初始子句集中的子句，要么一個是另一個的祖先。 例 P86例 6 祖先過濾形策略的特點： 是輸入策略的改進。 是完備的 歸結(jié)策略的類型 簡化性策略。 限制性策略。 有序性策略。 歸結(jié)反演程序舉例（略） Horn子句歸結(jié)與邏輯程序 子句的蘊含表示形式 正文字：原子公式稱為正文字。 負文字：原子公式的否定稱為負文字。 把所有正、負文字分別放在一起，任意子句可寫為： ? Q1? … ? ? Qn ? P1? … ? Pm 可近一步化為蘊含式： Q1 ? Q2 ? … ? Qn ? P1? P2 ? … ? Pm 如果約定前提文字之間恒為合取關系，結(jié)論文字之間恒為析取關系，則上式可簡化為： Q1 ， Q2 ， … ， Qn ? P1， P2 ， … ， Pm 寫成另一種方式： P1， P2 ， … ， Pm ? Q1 ， Q2 ， … ， Qn 兩種特殊情形： 當 m=0時，變?yōu)? ? Q1 ， Q2 ， … ， Qn ，相當于 ? （ Q1 ? Q2 ? … ? Qn ）。 當 n=0時，變?yōu)?P1， P2 ， … ， Pm ?，這相當于 P1? P2 ? … ? Pm 。 對于子句的蘊含表示形式，歸結(jié)過程變?yōu)椋簭钠渲幸粋€子句的“ ?”號左（右）側(cè)與另一個子句 的“ ?”號右（左）側(cè)的文字中尋找可合一文字對，然后消去它們，并把其余的左部文字合并，作為消解式的左部；其余的右部文字合并，作為消解式的右部。 一般地，設子句 C: P1， … ， Pm ? Q1 ， … ， Qn 和 C? : P?1， … ， P ?s ? Q ?1， … ， Q ?t 中有 Pi與 Q ?j （或 Qi與 P?j ）可合一， ?為它們的 MGU，則C與 C?的歸結(jié)式為 P1 ? ， … ， Pi1 ? ， Pi+1 ? ， … ， Pm ? ， P ?1 ? ， … ， P ?s ? ? Q1 ? ， … ， Qn? ， Q ?1 ? ， … ， Q?j1 ? ， Q?j+1 ? ， … ， Q?t? 或 P1 ? ， … ， Pm ? ， P ?1 ? ， … ， P?j1 ? ， P ?j+1 ? ， … ， P ?s ? ? Q1? ， … ， Qi1? ， Q ?i+1 ? ， … ， Qn ? ， Q?1 ? ， … ， Q?t? 定義 1 至多含有一個正文字的子句稱為 Horn子句。蘊含型 Horn子句共有三種： （ 1）、 P ? Q1 ， Q2 ， … ， Qm 稱為條件子句， P稱為頭部或結(jié)論； （ 2）、 P ? 稱為無條件句； （ 3）、 ? Q1 ， Q2 ， … ， Qm 稱為目標子句， Qi稱為子目標。 例 證明 P(a,c)是下面子句集 {（ 1），（ 2），（ 3），（ 4） }的邏輯結(jié)論。 證 ： （ 1） P(x,z) ? P1(x， y)， P2 (y,z) （ 2） P1(u,v) ? P11(u， v) （ 3） P11(a,b) ? （ 4） P2(b,c) ? （ 5） ?P(a,c) 歸結(jié)（從目標子句出發(fā)，采用線性歸結(jié)） （ 6） ? P1(a， y)， P2 (y,c) [(5), (1), { a/x, c/z}] （ 7） ? P11(a， y)， P2 (y,c) [ (6), (2), {a/u,y/v} ] （ 8） ? P2(b， c) [ (7), (3), {b/y} ] (9) [(8),(4)] 第三章 基于謂詞邏輯的機器推理 非歸結(jié)演繹推理 Bledsoe 自然演繹法 基于規(guī)則的演繹推理 王浩算法 作業(yè)： P85, 1.(3),(6)。 4.(3),(4)。 7
醫(yī)療健康相關推薦
鄂ICP備17016276號-1