人工智能知識(shí)表示51(編輯修改稿)
2025-03-10 15:19 本頁面
【文章內(nèi)容簡介】 行 2） 后 ， 結(jié)束 數(shù)據(jù)與數(shù)據(jù)的匹配是指在規(guī)則中沒有變量的情況，此時(shí)，規(guī)則的前提中，不論是要比較，還是計(jì)算，最后，總之是用數(shù)據(jù)和數(shù)據(jù)庫中的數(shù)據(jù)進(jìn)行匹配。 不論是正向推理，還是反向推理，在挑選可用的規(guī)則時(shí)，都是要利用數(shù)據(jù)庫的數(shù)據(jù)或事實(shí)，判定規(guī)則的前提是否為真，即規(guī)則前提與數(shù)據(jù)庫匹配。考慮規(guī)則中是否帶有變量，這種匹配可分為三種：數(shù)據(jù)與數(shù)據(jù)的匹配、數(shù)據(jù)與變量的匹配、變量與變量的匹配。這里的變量概念是廣義的，可是一般的變量，也可是指數(shù)據(jù)與一般的變量共同組成的模式。 變量與變量的匹配是在有變量的情況下進(jìn)行反向推理時(shí)出現(xiàn) 。 給定一個(gè)斷言 ， 假定不含變量 ， 在反向推理中 ， 用它和規(guī)則的結(jié)論匹配 ， 形成一個(gè)環(huán)境 ， 規(guī)則前提的變量應(yīng)從此環(huán)境取值 ， 但是 ，前提中的變量在結(jié)論中可能不出現(xiàn) ， 這樣 ， 當(dāng)前提作為新的未知斷言 ， 讓它去和某規(guī)則的結(jié)論匹配時(shí) ， 就出現(xiàn)變量與變量的匹配 。 這種匹配正是我們?cè)跉w結(jié)推理中講的合一算法 。 。 數(shù)據(jù)與變量的匹配是在規(guī)則中有變量的情況下進(jìn)行正向推理時(shí)出現(xiàn)。 ? 有變量的正向推理 ? 數(shù)據(jù)與變量的匹配是在規(guī)則中有變量的情況下進(jìn)行正向推理時(shí)出現(xiàn) 。 我們假定有一個(gè)使用漢語的演繹系統(tǒng)做正向推理 ， 其中用英語字母表示變量 ， 用漢語表示常量 ， 有如下規(guī)則： ? （ 規(guī)則 203 （ 如果 （ x 是 y 的 母親 ） ? （ y 是 男性 ） ? （ z 是 x 的 姐妹 ） ? （ z 是 w 的 母親 ）） ? （ 則 （ z 是 y 的 姨母 ） ? （ y 是 w 的 表兄弟 ））） ? 若又有以下事實(shí)： ? （ 王夫人 是 賈寶玉 的 母親 ） ? （ 王夫人 是 賈元春 的 母親 ） ? （ 薛王氏 是 王夫人 的 姐妹 ） ? （ 薛王氏 是 薛蟠 的 母親 ） ? （ 薛王氏 是 薛寶釵 的 母親 ） ? （ 賈寶玉 是 男性 ） ? （ 賈元春 是 女性 ） ? （ 薛蟠 是 男性 ） ? （ 薛寶釵 是 女性 ） ? 可推出新事實(shí)： ? （ 薛王氏 是 賈寶玉 的 姨母 ） ? （ 賈寶玉 是 薛蟠 的 表兄弟 ） ? （ 賈寶玉 是 薛寶釵 的 表兄弟 ） ? 在檢查規(guī)則中某前提是否成立時(shí) ， 帶變量的正向演繹與不帶變量的正向演繹是有區(qū)別的 。 ? 不帶變量：檢查該前提是否與已知事實(shí)相同 。 ? 帶變量：檢查該前提是否與已知事實(shí)相匹配，當(dāng)把該前提中的變量換成匹配中所獲得的約束值時(shí)，它才與那個(gè)事實(shí)相同。我們說匹配成功，既建立了約束關(guān)系，并把建立的一組約束關(guān)系稱為一個(gè)演繹環(huán)境。 ? 例如 ， 第一個(gè)前提與事實(shí)庫的四個(gè)事實(shí)匹配成功 ， 建立了編號(hào)為 4的四個(gè)環(huán)境 。 ? 1 （（ x?王夫人 ） （ y?賈寶玉 ）） ? 2 （（ x?王夫人 ） （ y?賈元春 ）） ? 3 （（ x?薛王氏 ） （ y?薛蟠 ）） ? 4 （（ x?薛王氏 ） （ y?薛寶釵 ）） ? 為使用一條規(guī)則演繹 ， 應(yīng)使規(guī)則中的所有前提同時(shí)成立 ， 即不同前提中的同名變量可以取到同一個(gè)約束值 。 實(shí)際上是說 ， 各前提與事實(shí)相匹配中所獲得的環(huán)境應(yīng)當(dāng)是相容的 ， 應(yīng)有一個(gè)公共的環(huán)境 ， 滿足各前提的要求 。 ? 我們采用 “ 累積 ” 的方法尋找這一環(huán)境 。當(dāng)?shù)谝粋€(gè)前提獲得四個(gè)環(huán)境 ， 讓第二個(gè)前提使用這些環(huán)境尋找與之相配的事實(shí) 。 于是 ， 符合前兩個(gè)前提的環(huán)境為 3： ? 1 （（ x?王夫人 ） （ y?賈寶玉 ）） ? 3 （（ x?薛王氏 ） （ y?薛蟠 ）） ? 第三個(gè)前提使用這兩個(gè)環(huán)境尋找相匹配的事實(shí) ， 環(huán)境 3不適合 ， 使用環(huán)境 1， 增加了一個(gè)約束 ， 擴(kuò)充為環(huán)境 5： ? 5 （（ x?王夫人 ） （ y?賈寶玉 ） （ z?薛王氏 ）） ? 最后 ， 第四個(gè)前提使用環(huán)境 5找到兩個(gè)事實(shí) ， 環(huán)境 5擴(kuò)充為環(huán)境 6和環(huán)境 7。 ? 6 （（ x?王夫人 ） （ y?賈寶玉 ） （ z?薛王氏 ） （ w?薛蟠 ）） ? 7 （（ x?王夫人 ） （ y?賈寶玉 ） （ z?薛王氏 ） （ w?薛寶釵 ）） ? 這兩個(gè)環(huán)境就是符合所有前提的公共環(huán)境 ， 使用此環(huán)境 ， 可得出新事實(shí)： ? （ 薛王氏 是 賈寶玉 的 姨母 ） ? （ 賈寶玉 是 薛蟠 的 表兄弟 ） ? 和 ? （ 薛王氏 是 賈寶玉 的 姨母 ） ? （ 賈寶玉 是 薛寶釵 的 表兄弟 ） ? 去掉重復(fù) ， 獲得三條 。 ? 有變量的反向推理 ? 變量與變量的匹配是在有變量的情況下進(jìn)行反向推理時(shí)出現(xiàn) 。 給定一個(gè)斷言 ， 假定不含變量 ， 在反向推理中 ， 用它和規(guī)則的結(jié)論匹配 ， 形成一個(gè)環(huán)境 ， 規(guī)則前提的變量應(yīng)從此環(huán)境取值 ， 但是 ， 前提中的變量在結(jié)論中可能不出現(xiàn) ， 這樣 ， 當(dāng)前提作為新的未知斷言， 讓它去和某規(guī)則的結(jié)論匹配時(shí) ， 就出現(xiàn)變量與變量的匹配 。 這種匹配正是我們?cè)跉w結(jié)推理中講的合一算法 。 只是算法的實(shí)現(xiàn)細(xì)節(jié)有所不同 。 ? 在帶變量的反向推理中 ， 合一算法所得到的置換實(shí)現(xiàn)成約束表 ， 對(duì)未匹配部分做置換通過對(duì)變量求 “ 終值 ” 而解決 。 算法的基本過程是一樣的 。 ? 參與合一的變量先在環(huán)境中取終值 ， 無值則為本身 。 常量值為常量 。 ? 雙方為常量 ， 相等則合一成功 ， 否則失敗。 ? 一方為變量 ， 則建立約束關(guān)系 ， 合一成功。 ? 雙方為變量 ， 建立約束關(guān)系 ， 合一成功 。 ? 在帶變量的反向推理中 ， 使用的搜索算法與歸結(jié)推理方法相同 ， 都是回溯算法 。 ? 為了證明分支 3都成立
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1