一个带有依赖关系的知识库
 
庄朝晖

关键词:知识库 依赖关系 真值维护系统 逻辑程序
 
主要内容:人工智能以知识为基础,然而知识往往是可错的.当知识被发现是错误时,就要撤销该错误知识及依赖于该错误知识的知识.基于对Forget机制、TMS和ATMS的改进,提出一种新的知识表示方法,即带有依赖关系的知识库.基于命题逻辑程序,给出带有依赖关系的知识库的示例,同时还给出1个规则加入算法和2个规则撤销算法.第2个规则撤销算法可以处理循环依赖关系.带有依赖关系的知识库,是一种全新结构的知识库,在知识表示、信念修正和辩论推理中具有应用的前景.
 
《厦门大学学报:自然科学版》  2011,50(6).-989-993
全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp
仿站