| Summary | .... 2 | |
| 1 | まえがき | .... 3 |
| 2 | ATMS | .... 4 |
| 3 | 段階的前向き仮説推論システム | .... 5 |
| 3.1 | 入出力 | .... 5 |
| 3.2 | 構成と動作の概略 | .... 7 |
| 3.3 | インクリメンタル・コンパイラ | .... 7 |
| 3.4 | インクリメンタル推論アルゴリズム | .... 10 |
| 4 | 評価 | .... 12 |
| 4.1 | 例題 | .... 12 |
| 4.2 | 評価方法 | .... 16 |
| 4.3 | 評価結果 | .... 16 |
| 5 | 他の研究との関連 | .... 20 |
| 5.1 | Reteアルゴリズムとの相違点 | .... 20 |
| 5.2 | ネットワーク構造に関する考察 | .... 20 |
| 6 | むすび | .... 21 |
| 謝辞 | .... 21 | |
| 参考文献 | .... 22 |
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports