| 1 | はじめに | .... 2 |
| 2 | 問題解決と推論 | .... 3 |
| 3 | メタ推論 | .... 4 |
| 4 | 部分計算によるメタ推論の高速化 | .... 6 |
| 5 | 知識同化機構の実現 | .... 8 |
| 6 | 知識調節機構の実現 | .... 9 |
| 7 | トランザクション管理機構の実現 | .... 10 |
| 8 | 仮説生成・検定機構の実現例 | .... 12 |
| 9 | 類推機構の実現例 | .... 13 |
| 10 | おわりに | .... 15 |
| 謝辞 | .... 16 | |
| 参考文献 | .... 16 | |
| End | .... 18 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda