第二章小結:
方法 | 初始問題 | 算符 | 目標 | 結果 |
---|---|---|---|---|
狀態空間 | 狀態 | 算符 | 目標狀態 | 解答路徑 |
問題規約 | 節點 | 弧線 | 節點 | 解答樹 |
謂詞邏輯 | 合適公式 | 子句集置換合一消解反演 | 根節點 | NIL |
語義網絡 | 節點 | 鏈 | 目標網絡 | 語義網絡 |
第二章小結:
方法 | 初始問題 | 算符 | 目標 | 結果 |
---|---|---|---|---|
狀態空間 | 狀態 | 算符 | 目標狀態 | 解答路徑 |
問題規約 | 節點 | 弧線 | 節點 | 解答樹 |
謂詞邏輯 | 合適公式 | 子句集置換合一消解反演 | 根節點 | NIL |
語義網絡 | 節點 | 鏈 | 目標網絡 | 語義網絡 |