Abstract: Based on the fuzzy propositional logic system with contradictory negation, opposite negation and medium negation（FLcom）, distinction and the formal representation of the fuzzy knowledge and its different negations have been researched. The fuzzy knowledge inference and search processing have been researched. According to the semantic interpreter of FLcom, the negation operator of fuzzy proposition has been defined. The concrete fuzzy inference algorithm is Zadeh algorithm. This paper provides the definition of the rule-path list, it is used to represent the fuzzy inference rules and search processing. The fuzzy inference and search processing of a traffic accident model have been discussed, and the search algorithm and result are presented.

Key words: fuzzy proposition, fuzzy knowledge inference, search processing, the rule-path list

摘要： 基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom，研究模糊知识及其不同否定的区分与形式表示，以及模糊知识推理与搜索处理。依据FLcom的语义解释，定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法，给出规则路径表的定义，利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型，讨论该模型的模糊推理及搜索过程，给出了搜索的算法及其实现结果。

关键词: 模糊命题, 模糊知识推理, 搜索处理, 规则路径表