论文研究 基于FLcom的模糊知识推理与搜索处理.pdf

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