人工智慧 語義網路推理

通常人們把利用語義網路知識表示方法所進行的推理稱為語義網路推理。語義網路的推理過程主要有兩種，一種是繼承，另一種是匹配。

步驟一：繼承

① 建立乙個結點表，用來存放待求解結點和所有以isa，ako等繼承弧與此結點相連的那些結點。在初始情況下，表中只有待求解結點。

② 檢查表中的第乙個結點是否有繼承弧。如果有，就把該弧所指的所有結點放入結點表的末尾，記錄這些結點的所有屬性，並從結點表中刪除第乙個結點。如果沒有，儀從結點表中刪除第乙個結點。

③重複（2），直到結點表為空。此時記錄下來的所有屬性都是待求解結點繼承來的屬性。

步驟二：匹配

① 根據待求解問題的要求構造乙個網路片斷，該網路片斷中有些結點或弧的標誌是空的.稱為詢問處，它反映的是待求解的問題。

② 根據該語義片斷到知識庫中去尋找所需要的資訊。

③ 當待求解問題的網路片斷與知識庫中的某個語義網路片斷相匹配時，則與詢問處所對應的事實就是該問題的解。

（1）繼承和匹配求解問題：

如上圖所示，求出鳥（待求解節點）可以（can）進行的活動

步驟一：繼承

① 將鳥（待求解節點）加入節點表

② 檢查第乙個節點（鳥）的繼承弧，將繼承弧所指的節點（動物）加入節點表，刪除第乙個節點（鳥）

③檢查第乙個節點（動物）的繼承弧，不存在繼承弧，刪除第乙個節點（動物），並記錄第乙個節點（動物）can 對應的屬性（運動，吃）。

故鳥 can 運動和吃。

步驟二：匹配

① 構造乙個語義網路片段如下圖

② 根據語義網路片段到知識庫中找需要的資訊，找到匹配的片段（鳥，can，飛）

故鳥 can 運動、吃和飛

人工智慧 語義網路表示法

從結構上看，語義網路是由一些最基本的語義單元構成的，這種最基本的語義單元被稱為語義基元。結點1，弧，結點2 來描述。當把多個語義基元用相應的語義聯絡關聯在一起時，就形成了乙個語義網路。事實與規則的語義網路的表示形式是相同的，區別僅是弧上的標誌不同 1 例項關係 乙個事物是另外乙個事物的具體例子，語義...

人工智慧 產生式推理

通常人們把利用產生式知識表示方法所進行的推理稱為產生式推理，把由此所產生的系統稱為產生式系統。按照推理的控制方向，產生式推理可分為正向 逆向和混合三種方式。步驟 1 推理開始前，把使用者提供的初始證據放入綜合資料庫。2 推理開始後，檢查綜合資料庫中是否包含了問題的解，若已包含，則求解結束，並成功退出...

人工智慧 自然演繹推理

從一組已知為真的事實出發，直接運用經典邏輯中的推理規則推出結論的過程稱為自然演繹推理。自然演繹推理所給予的邏輯基礎主要包含等價式 永真蘊含式 置換 合一 永真蘊含式 置換合成 合一自然演繹推理的方法 設p和d是d上的兩個謂詞公式，若對d上的任意解釋，p與q都有相同的真值，則稱p與q在d上是等價的。如...