一种带权重的真值流推理算法

摘要：

研究了真值流推理算法在各种推理模式下的还原性,证明了真值流推理算法在单一规则下是具有还原性的.但是,在采用常用的推理模型进行推理时,真值流推理算法并不具有多重多维情形下的还原性.为了解决这个问题,提出了一种带权重的真值流推理算法,并证明了该新算法具有多重多维情形下的还原性.

关键词：真值流推理、还原性、相似度、权重

所属期刊栏目：36

分类号：TP18I(自动化基础理论)

资助基金：重庆市人文社会科学重点研究基地项目《缺省逻辑与动态缺省逻辑研究》08jwsk277

在线出版日期：2010-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：223-226