| 基于ATMS的知识库维护系统与开放逻辑的实现 |
| |
| 引用本文： | 方思行,凌卫新.基于ATMS的知识库维护系统与开放逻辑的实现[J].计算机科学,1995,22(1):10-13. |
| |
| 作者姓名： | 方思行 凌卫新 |
| |
| 作者单位： | 华南理工大学应用数学系，华南理工大学应用数学系，华南理工大学应用数学系 广州 510641，广州 510641，广州 510641 |
| |
| 摘 要： | In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describing and characterizingknowledge increment, knowledge update and scientific discoveries. The relation of the open logicand this system is also discussed. Both of them aim at the computer simulation of higher mentalprocesses on theoretical foundation and implementation respectively
|
| 关 键 词： | 正确性维护系统 知识库维护系统 开放逻辑 |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
