人工知能の基礎知識-近代科学社.ppt

* * * * * * * * * * * * * * * * * * * * * * * * ?2008 Ikuo Tahara * 導出原理と導出戦略 導出原理の適用 一般の節集合に対する導出原理 最汎単一化置換 論理による問題解決 導出の制御戦略 横形優先戦略 線形導出 * 基礎節の集合に対する導出原理 導出原理 エルブランの定理 * 単一化（unification） * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 最汎単一化置換 　 * 論理による問題解決 　 太郎は花子の父である． 次郎は太郎の父である． 父の父は祖父である． 花子の祖父は誰か？ * 論理による問題解決 　 * 論理による問題解決 　 * 導出の制御戦略 基本的な制御戦略 横形優先戦略（breadth-first strategy） 線形導出（linear resolution） 意味に基づく制御戦略 支持集合戦略（set-of-support strategy） 意味導出（semantic resolution） * 横形優先戦略 　 節集合 第１段階の導出 第２段階の導出 * 例 　 * 線形導出 　 節集合 * 例 　 * 支持集合戦略 　 からの節集合 からの節集合 充足不能 充足可能 支持集合 * 例 　 支持集合 * 意味導出 一つの解釈 I を設定する． 解釈Iで真となる節の集合 解釈Iで偽となる節の集合 導出節も含む節の集合 * 例 　 * 順序付き線形導出（OL導出） 節におけるリテラルの並び順を固定する． 最右リテラルに着目し，それと相補的なリテラルを持つ節を選び導出を行う． 着目したリテラルを四角で囲い導出節に残す． * 導出節に対する処理（１） 縮約（reduction） この処理の結果 となれば とする． * 導出節に対する処理（２） 簡約（factorization） この処理の結果 となれば とする． * * * ?2008 Ikuo Tahara * * * * * * * * * * * * * * * * * * * * * * * * * *