节点文献

An open logic system admitting modification of inference rules

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 应明生

【Author】 YING Mingsheng(Department of Mathematics, Jiangxi Normal University, Nanchang 330027, China)

【机构】 Department of MathematicsJiangxi Normal UniversityNanchang 330027China

【摘要】 <正> 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 infer

  • 【文献出处】 Chinese Science Bulletin ,科学通报(英文版) , 编辑部邮箱 ,1996年13期
  • 【分类号】O141
  • 【下载频次】17
节点文献中: 

本文链接的文献网络图示:

本文的引文网络