计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (21): 163-166.DOI: 10.3778/j.issn.1002-8331.2009.21.048
程天笑,潘正华,王 岑
CHENG Tian-xiao,PAN Zheng-hua,WANG Cen
摘要: 知识处理的发展对“否定知识”的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。