知识库增长过程中对新知识的消化和吸收

被引:4
作者
李德毅
机构
[1] 中国电子设备系统工程公司研究所
关键词
D O I
暂无
中图分类号
学科分类号
摘要
本文定义了能把目标语言和元语言混合于逻辑程序设计之中的元谓词demo,在此基础上计论了在知识库增长期间遇到的四个基本概念:可证明性、不相容性、冗余性和独立性.用PROLOG实现了一个用于知识库增长的知识库系统,完成对新知识的消化和吸收.
引用
收藏
页码:251 / 256
页数:6
相关论文
empty
未找到相关数据