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