基于FLcom的模糊知识推理与搜索处理

被引:4
作者
赵洁心
潘正华
王姗姗
机构
[1] 江南大学理学院
关键词
模糊命题; 模糊知识推理; 搜索处理; 规则路径表;
D O I
暂无
中图分类号
O159 [模糊数学]; O141 [数理逻辑(符号逻辑)];
学科分类号
070101 [基础数学];
摘要
基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出规则路径表的定义,利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型,讨论该模型的模糊推理及搜索过程,给出了搜索的算法及其实现结果。
引用
收藏
页码:37 / 42
页数:6
相关论文
共 6 条
[1]
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.[J].Dimiter Vakarelov.Studia Logica.2005, 2
[2]
SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION.[J].Jack Minker;Carolina Ruiz.Fundamenta Informaticae.1994; 1;2,
[3]
模糊推理的原理和方法.[M].吴望名著;.贵州科技出版社.1994,
[4]
基于中介逻辑的模糊知识推理的搜索处理 [J].
王岑 ;
潘正华 ;
程天笑 .
计算机工程与应用, 2009, 45 (21) :175-178+200
[5]
知识中不同否定关系的一种逻辑描述 [J].
潘正华 .
自然科学进展, 2008, (12) :1491-1499
[6]
模糊概念格与模糊推理 [J].
范世青 ;
张文修 .
模糊系统与数学, 2006, (01) :11-17