基于中介逻辑的近似推理

摘要

知识处理的发展对"否定知识"的认识提出了新的要求.中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系.文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题.文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述.然后,扩展了近似推理的CRI算法.同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法.