| 1 | はじめに | .... 2 |
| 2 | 記号学から知識獲得 | .... 2 |
| 3 | 論理型プログミング言語Prolog の特徴 | .... 3 |
| 4 | 知識ベースの構造 | .... 3 |
| 4.1 | フレーム間のコミュニケーション | .... 4 |
| 4.2 | フレームの論理構造 | .... 5 |
| 4.3 | 知識の格納形式 | .... 7 |
| 5 | メタ推論 | .... 7 |
| 5.1 | 理論的根拠 | .... 8 |
| 5.2 | demo 述語の実現法 | .... 8 |
| 6 | メソット型知識 | .... 9 |
| 6.1 | 冗長性管理 | .... 10 |
| 6.2 | 帰納推論アルゴリズム | .... 11 |
| 7 | オブジェクト・レベルの知識 | .... 14 |
| 8 | メタ・レベルの知識 | .... 15 |
| 8.1 | 因果関係 | .... 15 |
| 8.2 | 制約型知識の実行 | .... 16 |
| 8.3 | 矛盾知識の抽出 | .... 17 |
| 8.4 | 仮定型知識（信念）の修正 | .... 17 |
| 8.5 | 制約型知識のトランザクション処理 | .... 18 |
| 9 | 実行例 | .... 19 |
| 9.1 | オブジェクト・レベルの知識獲得 | .... 19 |
| 9.2 | メタ・レベルの知識獲得 | .... 25 |
| 10 | おわりに | .... 26 |
| 付録1 | フレーム内の知識例 | .... 26 |
| 付録2 | トランザクションの実行プログラム例 | .... 28 |
| 参考文献 | .... 28 | |
| End | .... 29 |
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports