An open logic system admitting modification of inference rules

An open logic system admitting modification of inference rules

导出

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

作者应明生

机构地区 Department of Mathematics

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

关键词 open LOGIC system INFERENCE RULE reconstruction. open logic system inference rule reconstruction

分类号 O141 [理学—基础数学]

引文网络
相关文献

1田畴.LAX PAIR AND BCKLUND TRANSFORMATION OF KP EQUATION[J].Chinese Science Bulletin,1987,32(5):353-354.
2苏开乐.R-reconstruction in open logic[J].Chinese Science Bulletin,1995,40(5):365-366. 被引量：1
3ZHANG Wei.On the decidability of open logic[J].Science in China(Series F),2009,52(8):1283-1291. 被引量：1
4其它[J].中国光学,1998(5):7-7.
5林作铨,李未.The open logic and its relation to circumscription[J].Science China(Technological Sciences),1999,42(1):44-53.
6Wen Weiqiang,Ma Xinwen,Wang Hanbing,Huang Zhongkui,Zhang Dacheng,Zhu Xiaolong,Zhao Dongmei,Li Jie,Ma Xiaoming,Yan Tailai,Mao Ruishi,Zhao Tiecheng,Wu Junxia,Yang Jiancheng,Yuan Youjin,Xia Jiawen,Michael Bussmann.4 - 5 Observation of Enhanced Schottky Signals of RF-bunched C3＋ Ion Beam at the CSRe[J].IMP & HIRFL Annual Report,2013(1):181-181.
7WEN Ruili,CHAI Shugen.Regularity for Euler-Bernoulli Equations with Boundary Control and Collocated Observation[J].Journal of Systems Science & Complexity,2015,28(4):788-798. 被引量：2
8朱晓明,张大军,李春霞.Quasideterminant Solutions of a Noncommutative Nonisospectral Kadomtsev-Petviashvili Equation[J].Communications in Theoretical Physics,2011,55(5):753-759. 被引量：1
9邓安生,刘叙华.Reasoning formalism in Boolean operator fuzzy logic[J].Science China Mathematics,1995,38(10):1261-1271.
10吴尽昭,刘卓军.Linear Strategy for Boolean Ring BasedTheorem Proving[J].Journal of Computer Science & Technology,2000,15(3):271-279.

Chinese Science Bulletin

1996年第13期

浏览历史

内容加载中请稍等...

An open logic system admitting modification of inference rules

相关作者

相关机构

相关主题

浏览历史