中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识，合理修改与或图，将每一谓词表达式视为状态结点，把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上，修改启发函数，将模糊知识的推理问题转化为状态空间中的搜索问题，并给出了一种否定信息的处理方法。