An open logic system admitting modification of inference rules  

作　　者：应明生 

机构地区：[1]Department of Mathematics, Jiangxi Normal University, Nanchang 330027, China

出　　处：《Chinese Science Bulletin》1996年第13期1069-1071,共3页

摘　　要：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

关 键 词：open LOGIC system INFERENCE RULE reconstruction. 

分 类 号：O141[理学—数学]