Transcript (11)Production_System

認知科学
思考のコンピュータシミュレーション（１）
２０１５年１月１５日（木）
今日の内容
知識表現と利用
1. 知識を用いた問題解決
2. ルールによる知識表現
1. プロダクションシステム
2. プロダクションルール
3. 競合解消
人工の専門知識と
人間の専門知識
人工の知識
長
所
短
所
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
不変である
移植しやすい
ドキュメント化しやすい
一貫性がある
安価である
創造的でない
適応性がない
記号処理が中心
焦点が狭い
専門知識に限られる
人間の知識
短
所
長
所
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
変化しやすい
移植しにくい
ドキュメント化しにくい
一貫性がない
高価である
創造的である
適応性がある
感覚処理も可
焦点が広い
常識を使う
人工の知識の利点の活用
1.
柔軟な知識表現の実現
知識の獲得と知識の管理→○宣言的知識
問題解決の観点→○手続き的知識
2. 問題解決機能の向上
3. あいまいな知識の取り扱い
4. 対象の構造の表現
5. 知識獲得の実現
知識モデル
知識の表現方法と利用方法を整理したもの
1.
論理モデル
2. 手続きモデル
3. プロダクションモデル
4. 意味ネットワークモデル
5. フレームモデル
ルールによる知識表現
もし～ならば・・・を実行せよ
ルール（規則）に基づく問題解決の基本的形式
日常生活のさまざまな場面で人々が行う判断
専門的作業において専門家が行う判断
ルールの記述形式を利用して問題解決を行うシス
テム ⇒ プロダクションシステム
ルールベース：プロダクションルールを格納するＤＢ
ワーキングメモリ：プロダクションルールとファクトが照合
される一時的記憶領域
プロダクションシステム（ＰＳ）
人間の認知のモデルを記述するための知識処理システムの知
識モデルとして発展（NewellやSimonら）
プロダクションシステムの利点
1.
2.
3.
知識がルールの形式で表現されているため，利用者にとって自然
で理解しやすい．
宣言的知識（条件・ファクト）と手続き型知識（行動）の相互作用を
記述できる．
ルールの記述は互いに独立であり，相互干渉が少ないため，知識
の変更，追加，削除が比較的簡単に行える．
プロダクションシステムの欠点
1.
2.
問題解決の制御構造がわかりにくい．すなわち問題解決を行って
いく順序がわかりにくく，アルゴリズム的知識の記述には向かない．
すべての推論を「照合－行動」のサイクルの繰り返しで行うため，
実行効率が悪い．
ＰＳの基本構成
ルールベース
プロダクションルールと呼ば
れる「条件-行動」形式の知識
を蓄積・管理する．
ワーキングメモリ
ファクトと呼ばれるデータを一
時的に記憶・管理する．ファク
トはプロダクションルールの条
件部と同じ形式をしている．
ルールインタプリタ
プロダクションルールの解釈
と実行を管理する制御機構．
if 条件C1 then 行動A1
if 条件C2 then 行動A2
専門家
問題領域
知識
ファクトF1
ファクトF2
利用者
問題
解
知識獲得
学習
ルールベース
ワーキングメモリ
ルールインタプリタ
人間の記憶モデルのアナロジー
人間の記憶のモデル
プロダクションシステム
専門家
刺激
反応
学習
適応
問題領域
知識
利用者
問題
解
知識獲得
学習
短期記憶
長期記憶
推論機構
ルールベース
ワーキングメモリ
ルールインタプリタ
ＰＳの基本動作
1. 問題がＷＭに書き込まれる
と，これをトリガーとしてＲＩが
動作を開始する．
2. ＲＩはＲＢに格納されている問
題解決の知識を適用しながら
中間結果をＷＭに記録し，こ
れを繰り返すことにより最終
的に解を得る．
3. ＷＭに得られた解はユーザイ
ンタフェースを通して利用者に
表示される．
if 条件C1 then 行動A1
if 条件C2 then 行動A2
専門家
問題領域
知識
ファクトF1
ファクトF2
利用者
問題
解
知識獲得
学習
ルールベース
ワーキングメモリ
ルールインタプリタ
ルールインタプリタの動作
ＲＩはＷＭに問題がファクト
の形式で与えれると，解が
生成されるまで，条件照合，
競合解消，行動の３つの
フェーズを繰り返す．
このＲＩの動作は認識－行
動サイクルと呼ばれている．
条件照合
競合解消
行動
条件照合
1.
2.
ＷＭのファクトと呼ばれるデータ形式と，
ＲＢにあるプロダクションルールの条件
部のデータ形式を順次照合していく．
データ形式が一致したルールを選び出
していく．
ルールの条件部とファクトのデータ形
式が一致することを“マッチする”という．
条件照合
競合解消
一般には複数のルールがＷＭのファク
トのどれかとマッチする．
このファクトとマッチしたルールの集合
を競合集合という．
行動
競合解消
競合集合の中から，実際
に実行するプロダクション
ルールを１つだけ選び出す
操作．
条件照合
この選び方によって問題解
決の種類や能力の違いが
決定される．
競合解消
このルールの選択の仕方
を競合解消戦略と呼ぶ．
行動
後に説明する
行動
競合解消フェーズで選択され
た１つのルールの行動部の実
行を行う．
条件照合
これを“ルールの発火”という．
競合解消
行動部は基本的にＷＭの内容を書
き換えたり，追加したり，除去したり
することが主であるが，その他入出
力など外部環境とのインタフェースを
定義することもできる．
行動
競合解消戦略
プロダクションシステムでは，ルールの数が多くなると各認
識－行動サイクルでファクトとマッチすることによって発火可
能となるルールが複数存在する可能性が生じる．
ルールの選択の仕方によって，そのＰＳの推論の性質や能
力が異なる．
ファーストマッチ
ルール 優先順位
最 新 優 先
リフラクトリネス
詳 述 優 先
ルール番号（Ｒ
Ｂの中の並び
順）の小さい
ルールを優先し
て選択する．
各ルールにあら
かじめ優先順位
を指定しておき，
競合集合の中
で最高の優先
順位をもつルー
ルを選択する．
競合集合の中
から，ＷＭに書
込み・修正され
たた順序が最も
新しいファクトと
マッチ し たルー
ルを選択する．
１つのルールは
１つのファクトに
対して一度しか
発火できない．
同じルールが発
火し続ける無限
サイクルを防ぐ．
競合集合の中
で最も複雑な条
件部をもつルー
ルを選択する．
ファクトのデータ形式
ファクトのデータ形式は，オブジェクト・属性・属性値
(object-attribute-value)の３種類のデータからな
る．⇒ＯＡＶ形式
オブジェクト：記述したい対象を表す文字列（シンボル）
属性：その対象がもつべき性質の名前
属性値：その対象が属性に関してもつ固有の値
Ａ
（積み木： 寸法 10cm）
（積み木： 名前 Ａ： 寸法 10cm： 場所 机の上）
プロダクションルールのデータ形
式
プロダクションルールのデータ形式は条件部のデータと行動部のデータ
に分けられる．
ｉｆ Ｃ１，Ｃ２，・・・，Ｃｎ ｔｈｅｎ Ａ１，Ａ２，・・・，Ａｍ
Ｃｉ＝（オブジェクト ：属性１ 属性値１ ・・・ ：属性ｎ 属性値ｎ）
各条件Ｃｉはファクトと似たＯＡＶ形式で表現される．
条件記述では，属性値は数値や文字列などの定数以外にも，関係式や
変数を取ることができる．
関係式として（＞３）などの不等式もＯＫ．
変数ｘは定数と区別するために？をつけて？ｘと表す．
条件とファクトのマッチ
条件Ｃｉ は次の条件を満足するときに「真」の値をもつ
という．
① Ｃｉ と同じＯＡＶ形式がＷＭに存在する．
② Ｃｉ の属性値に変数が含まれている場合，その変数
以外のＯＡＶ形式が一致するファクトがＷＭに存在
する．このとき，その変数は対応する属性値の任意
の値にマッチし，その変数はその値に束縛される．
条件Ｃｉ を真とするファクトＦｊ がＷＭに存在するとき“Ｃｉ
はＦｊ にマッチする”という．
その他のマッチなど
否定の表現～Ｃｉ
Ｃｉ にマッチするＯＡＶ形式がＷＭに存在しないときに真
になる．
Ｃｉ ＝?ｆ という書き方
条件Ｃｉ とマッチしたファクトを参照するための変数（ファ
クト変数？ｆ）
ファクトの属性ａｔｔの値を参照したいとき
?ｆ：ａｔｔ
条件部の各条件Ｃ１，Ｃ２，・・・，Ｃｎが同時になったとき
（Ｃ１∧Ｃ２∧・・・∧Ｃｎ）が真になったとき，そのルールは
“発火可能である”といい，競合集合に登録される．
行動フェーズでの行動 Ａｉ
（基本操作）
競合解消フェーズで競合集合からただ１つのルー
ルが選択され，行動フェーズに選択されたルール
の行動部の各行動Ａｉ が順に実行される．
ＯＡＶ形式
行動Ａｉ のデータ形式： （操作 データ形式）
プロダクションルール
ｉｆ
(make OAV形式)
(remove ?f
WMにOAV形式
)に追加
WMからそのルールのＣｉとマッチ
ｔｈｅｎ するファクト?ｆ を取り除く．
(make (obj: att v1))
(obj: att v1)
ルールベース
プロダクションルール
ｉｆ
Ci = ?f
ｔｈｅｎ
(modify ?f: att v1)
そのルールの条
件Ci とマッチした
WMのファクト ?ｆ
の属性1～属性ｎの
属性値を属性値１
～属性値ｎに変更
(obj: att x)
xをv1に書き換える
ルールベース
(modify ?f : 属性１ 属性値１ ・・・?f : 属性ｎ 属性値ｎ)
例題：車の運転のプロダクション
ルール
車Ａを運転して道路Ｐから交差点Ｑ
に進入して右折し，道路Ｒを走行す
るための運転に関する知識をプロ
ダクションルールで表現せよ．
ルールとしては次のようなものを考
える．
①
②
③
④
⑤
信号が赤か黄であれば停止
信号が青であれば交差点に進入
交差点Ｑでは右折
対向車があれば停止
対向車がなければ進行
対向車
交差点Ｑ
道路Ｒ
車Ａ
道路Ｐ
記号の定義
道路の「状況」と「車」の操作を次のようなＯＡＶ形式
のファクトで記述する．
（状況 ：位置 ｐ ：信号 ｓ ： 対向車 ｑ）
（車 ：操作 ｈ ：方向 ｄ）
位置ｐの値： 「道路Ｐ」，「交差点Ｑ」，「道路Ｒ］
信号ｓの値： 「赤」，「黄」，「青」
対向車ｑの値： 「有」，「無」
操作ｈの値： 「進行」，「停止」
方向ｄの値： 「直進」，「右折」，「左折」
ただし信号の色と対向車の状況を表す値はシステム外部から制御され
ているものとする．
知識①～⑤から得られ
たルール（１）
ｒ０
ｒ１
ｒ２
ｒ３
(start)
初期状態を与えるためのルール
→
(make (状況 ：位置 道路Ｐ ：信号 青 ：対向車 有))
(make (車 ：操作 進行 ：方向 直進))
(状況 ：位置 道路Ｐ ：信号 赤 or 黄)
(車 ：操作 進行) ＝ ?ｆ
→
(modify ?ｆ：操作 停止)
(状況 ：位置 道路Ｐ ：信号 青) ＝ ?ｆ
(車 ：操作 進行)
→
(modify ?ｆ：位置 交差点Ｑ)
(状況 ：位置 交差点Ｑ)
(車 ：方向 直進) ＝ ?ｆ
→
(modify ?ｆ：方向 右折)
知識①～⑤から得られ
たルール（２）
ｒ４
ｒ５
ｒ６
(状況 ：位置 交差点Ｑ ：対向車 有)
(車 ：操作 進行 ：方向 右折) ＝ ?ｇ
→
(modify ?ｇ：操作 停止)
(状況 ：位置 交差点Ｑ ：対向車 無) ＝ ?ｆ
(車 ：操作 停止 ：方向 右折) ＝ ?ｇ
→
(modify ?ｇ：操作 走行 ?ｇ：方向 直進)
(modify ?ｆ：位置 道路Ｒ)
(状況 ：位置 交差点Ｑ ：対向車 有)
(車 ：操作 停止 ：方向 右折)
→
動作を行わないことを表す
(no-operation)
シミュレーション（１）
時刻
ｔ＝０
ｔ＝１
ｔ＝２
ｔ＝３
ｔ＝４
ワーキングメモリの内容（ファクト）と直前に発火したルール
(start)
ルール ｒ０ を適用
(状況 ：位置 道路Ｐ ：信号 青 ：対向車 有)
(車 ：操作 進行 ：方向 直進)
ルール ｒ２ を適用
(状況 ：位置 交差点Ｑ ：信号 青 ：対向車 有)
(車 ：操作 進行 ：方向 直進)
ルール ｒ３ を適用
(状況 ：位置 交差点Ｑ ：信号 青 ：対向車 有)
(車 ：操作 進行 ：方向 右折)
ルール ｒ４ を適用
(状況 ：位置 交差点Ｑ ：信号 青 ：対向車 有)
(車 ：操作 停止 ：方向 右折)
シミュレーション（２）
時刻
ｔ＝５
ｔ＝ｉー１
ｔ＝ｉ
ワーキングメモリの内容（ファクト）と直前に発火したルール
ルール ｒ６ を適用
(状況 ：位置 交差点Ｑ ：信号 青 ：対向車 有)
(車 ：操作 停止 ：方向 右折)
ルール ｒ６ を適用
(状況 ：位置 交差点Ｑ ：信号 青 ：対向車 無)
(車 ：操作 停止 ：方向 右折)
ルール ｒ５ を適用
(状況 ：位置 道路Ｒ ：信号 青 ：対向車 無)
(車 ：操作 進行 ：方向 直進)
この例題では１つの状
態で１つのルールしか
ｔ＝５のあと，対向車が「有」の間はルールｒ６ が発火し続けるが，ｔ＝ｔ－１
で対向車が
「無」になると，ｔ＝ｉ でルールｒ５ が発火し，車は道路Ｒに進む． マッチしない．
→競合解消の処理の必
要がない
脳内シミュレーション
1. 「ハノイの塔」に適用されるプロダクションルールを記
述してみよう．
2. どんなオペレータがあるか検討してみよう．
3. 必要なデータ形式は何かを検討してみよう．
4. どんな競合解消の方法が良さそうか考えてみよう．
5. t=0から各ステップのWMの状態を記述してみよう．
思考過程のモデル化 → 強い人工知能（ＡＩ)の実装