不完全な知識 不完全な知識に基づく問題解決 フレーム問題 制約条件記述問題 非単調推論 極小限定 常識の定式化 並列極小限定.

Presentation on theme: "不完全な知識 不完全な知識に基づく問題解決 フレーム問題 制約条件記述問題 非単調推論 極小限定 常識の定式化 並列極小限定."— Presentation transcript:

1 不完全な知識 不完全な知識に基づく問題解決 フレーム問題 制約条件記述問題 非単調推論 極小限定 常識の定式化 並列極小限定

2 論理に基づく問題解決 問題解決の枠組み 問題解決が可能であるための条件 知識は完全である． 知識は無矛盾である． 知識 （論理式集合）
質問（論理式） 　　知識 （論理式集合） 答 推論規則

3 積木の問題 　 　 　　　　　　　 A A B B 初期状態 目標状態

4 積木の問題 導出反駁 解

5 積木の問題再考 目標状態の記述変更 A B 物理的状態は同じであるがより詳細な記述にした．

6 積木の問題再考 導出反駁

7 積木の問題再考 導出反駁 「AをpickupしてBにstackした後,Bはテーブル上にあるか？」

8 積木の問題再考 オペレータの作用に関する言明 この問題解決に必要な知識は？ フレーム言明 オペレータの非作用に関する言明

9

10 フレーム言明 フレーム言明の数 述語holdsの導入 ≒オペレータの数×述語の数 初期状態の記述 目標状態の記述
フレーム言明の数　 述語holdsの導入 初期状態の記述 目標状態の記述 ≒オペレータの数×述語の数 記述量の軽減 ： f という事実が s という状況で成り立つ

11 フレーム言明 オペレータの記述 PICKUPに関する言明 フレーム言明 STACKに関する言明

12 フレーム公理 様相記号の導入 ： は他の主張と矛盾しない 推論規則： が定理でない限り は定理である
： は他の主張と矛盾しない 推論規則： が定理でない限り　　　は定理である フレーム公理 オペレータの記述にその適用後成立しなくなる事柄を追加する必要がある．

13 フレーム公理を含むプログラム 初期状態 オペレータ フレーム公理

14 フレーム問題 行為（処理）に関係する事柄と関係しない事柄を判断する問題 記述に関するフレーム問題 処理に関するフレーム問題 A B C B
擬似的解決：常識 （世界の限定） 人間にも一般には解決不能

15 制約条件記述問題（例外記述） 「鳥は飛ぶ」という知識の記述 ペンギンは飛ばない ダチョウは飛ばない

16 制約条件記述問題 様相記号の導入 ： は他の主張と矛盾しない 推論規則： が定理でない限り　　　は定理である 例外を考慮した記述 各例外の記述

17 制約条件記述問題 非単調性

18 非単調推論 推論の非単調性 非単調推論の問題点 ⇒ 知識全体を考えても得られる結論か？ 知識全体 結論

19 極小限定 常識の形式化 述語極小限定 　　　 ：述語 p を含む一階述語論理式 　　 ：任意の述語 述語の外延を限定 における p の極小限定式

20 述語極小限定の例 述語 animal の極小限定 とすれば

21 極小限定 並列極小限定 ：述語 p と z を含む一階述語論理式 z 可変で における p の極小限定 p ：限定しようとする性質を表す述語

22 並列極小限定の例 ab(x): xは異常である

23 並列極小限定の例

24 極小限定のモデル 極小モデル のモデルは （z の外延を可変にしたとき） p に関する の極小モデルである． animal animal
dog dog 極小モデル 述語animalの外延を比較

25 極小限定のモデル ab fly bird ab fly bird ab fly bird 述語abの外延を比較
flyの外延を可変にしてabの外延を比較 極小モデル ab fly bird ab fly bird ab fly bird

26 極小限定のモデル 極小モデル ab fly bird