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,...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展开更多
文摘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