计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (21): 175-178.DOI: 10.3778/j.issn.1002-8331.2009.21.051
王 岑,潘正华,程天笑
WANG Cen,PAN Zheng-hua,CHENG Tian-xiao
摘要: 中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。