人工知能の基础知识.ppt

《人工知能の基础知识.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1問題解決問題の表現定性的，論理的関係を対象とした問題問題解決プロセスの表現状態空間問題の分解・還元2問題の表現1個200円のリンゴと1個100円のナシを合わせて6個買い，800円支払いました．　　　　　リンゴとナシはそれぞれ何個買ったでしょうか？[記号]：リンゴの個数：ナシの個数[定量的関係]3問題の表現太郎は花子の父であり,次郎は太郎の父である．父の父は祖父である．花子の祖父は誰か？[記号]：　は　の父である：　は　の祖父である[論理的関係]4問題の別表現リンゴの個数ナシの個数合計066001570024800339004210005111006

2、012001個200円のリンゴと1個100円のナシを合わせて6個買い，800円支払いました．　　　　　リンゴとナシはそれぞれ何個買ったでしょうか？5積木の世界の表現積木の状態の表現BA初期状態BC目標状態AC6積木の世界の表現ロボットの手の状態の表現BACBAC7基本的操作の表現（１）を持ち上げる前提条件削除リスト追加リストBACBACBAC8基本的操作の表現（１）を　　の上に置く前提条件削除リスト追加リストBACBACBAC9基本的操作前提条件削除リスト追加リスト基本的操作の表現（２）10基本的操作前提条件削除リスト追加リスト基本的操作の表現（２）

3、11問題の解決例初期状態BAC12問題の解決例BAC13問題の解決例BAC14問題の解決例BAC15問題の解決例BAC16問題の解決例BAC17問題の解決例BAC目標状態18問題解決に必要な知識問題領域に関する知識事実や状態の記述　（例：積木の状態の記述）関係や規則の記述　（例：基本的操作の記述）解決方法に関する知識演算，操作，戦略などに関する知識データアルゴリズム19問題解決プロセスの表現状態空間の探索探索木問題の分解・還元AND/OR木20状態空間問題規則前提条件追加リスト＃１SA＃２SB＃３AB＃４AG＃５BC＃６CA＃７CD＃８CGABCGS

4、D＃１＃２＃３＃４＃６＃８＃５＃７状態空間21状態空間の探索状態空間→探索木ABCGSD＃１＃２＃３＃４＃６＃８＃５＃７22状態空間の探索状態空間→探索木ABCGSD＃１＃２＃３＃４＃６＃８＃５＃７初期状態目標状態SABCDGBGCADGG23状態空間の探索状態空間→探索木ABCGSD＃１＃２＃３＃４＃６＃８＃５＃７初期状態目標状態SABCDGBGCADGG24問題の分解・還元問題副問題副問題OR25問題の分解・還元問題部分問題部分問題AND26書換え問題問題「文字列“ABC”を以下の書換規則を用いて文字列“Z･･･Z”に書き換えることができるか？」

5、書換規則①A→XY②A→BZ③B→X④B→Z⑤C→BBZ27書換え問題の分解・還元AND/OR木ABCABCXYXYBZBZXZBBZBBZXZXZXZ①A→XY②A→BZ③B→X④B→Z⑤C→BBZ“ABC”を“ZZ･･･Z”に書き換える問題28書換え問題の解解の探索ABCABCXYXYBZBZXZBBZBBZXZXZXZ29書換え問題の解解の探索ABCABCXYXYBZBZXZBBZBBZXZXZXZ30書換え問題の解解の探索ABCABCXYXYBZBZXZBBZBBZXZXZXZ31書換え問題の解解の探索ABCABCXYXYBZBZXZBBZB

6、BZXZXZXZ32書換え問題の解解の探索ABCABCXYXYBZBZXZBBZBBZXZXZXZ33書換え問題の解解ABCABCBZBZZBBZBBZZZZ部分木②①A→XY②A→BZ③B→X④B→Z⑤C→BBZ④⑤④④④・②→④・④・⑤→④②→⑤→④②→④→⑤→④34書換え問題の状態空間①A→XY②A→BZ③B→X④B→Z⑤C→BBZABCAXCXYBCZZZBBZXZXCZZZXXZXYXCXYZCXYBBBZZZZCBZBBBZBZBCAZCABBBZZZZZZZ①②③③④⑤③④⑤⑤③④④⑤XZXXXZZZZZZZ③④35書換え問題の解①A→

7、XY②A→BZ③B→X④B→Z⑤C→BBZABCAXCXYBCZZZBBZXZXCZZZXXZXYXCXYZCXYBBBZZZZCBZBBBZBZBCAZCABBBZZZZZZZ①②③④　⑤③④⑤③④⑤⑤③④④XZXXXZZZZZZZ③④②→⑤→④36書換え問題の解①A→XY②A→BZ③B→X④B→Z⑤C→BBZABCAXCXYBCZZZBBZXZXCZZZXXZXYXCXYZCXYBBBZZZZCBZBBBZBZBCAZCABBBZZZZZZZ①②③④　⑤③④⑤③④⑤⑤③④④XZXXXZZZZZZZ③④②→④→⑤→④37積木の問題BACBACon(

8、A,B)on(B,C)holding(B)ontable(B)on(A,B)clear(C)clear(B)