Recently, Li established an open logic system to describe growth and updating of knowledge and evolution of hypothesis. Afterwards, he used it to give a logical framework for knowledge base maintenance. In a knowledge...Recently, Li established an open logic system to describe growth and updating of knowledge and evolution of hypothesis. Afterwards, he used it to give a logical framework for knowledge base maintenance. In a knowledge base, there are some special展开更多
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展开更多
Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical ...Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical approach of OL remain to be explored. In this paper, the typical proof theoretical problems for OL are described and the concept of open proof is defined. Two major conclusions are as follows： （i） For the consistent OL systems, the open proof problem is semi-decidable （a decision algorithm is presented）. （ii） For general （normal, not necessarily consistent） OL systems, the open proof problem is not semi-decidable.展开更多
文摘Recently, Li established an open logic system to describe growth and updating of knowledge and evolution of hypothesis. Afterwards, he used it to give a logical framework for knowledge base maintenance. In a knowledge base, there are some special
文摘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
文摘Open logic （OL） is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical approach of OL remain to be explored. In this paper, the typical proof theoretical problems for OL are described and the concept of open proof is defined. Two major conclusions are as follows： （i） For the consistent OL systems, the open proof problem is semi-decidable （a decision algorithm is presented）. （ii） For general （normal, not necessarily consistent） OL systems, the open proof problem is not semi-decidable.
