| Summary | .... 3 | |
| 1 | まえがき | .... 4 |
| 2 | 知識検証 | .... 4 |
| 3 | 診断問題 | .... 5 |
| 4 | 知識検証の概念モデル | .... 5 |
| 4.1 | 知識検証アーキテクチャ | .... 6 |
| 4.2 | 矛盾知識管理へのATMS適用 | .... 6 |
| 4.3 | 検証メタ知識 | .... 7 |
| 5 | 知識検証支援システム;KNOV | .... 9 |
| 5.1 | システム構成 | .... 9 |
| 5.2 | 知識検証例 | .... 9 |
| 6 | 結論 | .... 11 |
| 参考文献 | .... 11 | |
| 図表 | .... 13 | |
| End | .... 23 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports