(2) 拒式推理(MT规则):给定两个命题 和 ,可以推出命题 为真命题。记为
(12)
(3) 三段论推理(HS规则):给定两个命题 和 ,可推出命题 ,记为
(13)
不同于经典逻辑的是,模糊逻辑允许命题的真值为区间[0,1]上得任意值,而命题都是由模糊集表示的模糊命题。模糊集理论为模糊命题的推理提供理论基础,本文引入模糊逻辑的三大基本原理:广义假言推理、广义拒式推理和广义三段论推理。
(1) 广义假言推理(GMP规则):给定两个模糊命题“如果x为A,那么y为B” 和“x为 ”,推出“y为 ”,其中A, ,B和 都是模糊集且A和 ,B和 分别近似,即:
前提1:如果x为A,那么y为B
前提2:x为
结论: y为
直观准则可用表2表示。
(2) 广义拒式推理(GMT规则):给定两个模糊命题“如果x为A,那么y为B”和“y为 ”,可推出“x为 ”,即:
前提1:如果x为A,那么y为B
前提2:y为
结论: x为
直观准则可用表3表示。
表2 直观准则
x为 (前提2)
y为 (结论)
准则p1
准则p2
准则p3
准则p4 x为A
x为非常A
x为非常A
x为差不多A y为B
y为非常B
y为B
y为差不多B
表3 直观准则y为 (前提2)
x为 (结论)
准则t1
准则t2
准则t3
准则t4
准则t5 y非B
y为非非常B
y为非差不多B
y为B
y为B x非A
x为非非常B
x为非差不多A
x未知
x为A
表4 直观准则
y为 (前提2)
x为 (结论)
准则s1
准则s2
准则s3
准则s4
准则s5
准则s6
准则s7 y为B
y为非常B
y为非常B
y为差不多B
y为差不多B
y非B
y非B z为C
z为差不多C
z为C
z为非常C
z为C
z未知
z非C
(3) 广义三段论推理(GHS规则):给定两个模糊命题“如果x为A,那么y为B”和“如果y为 ,那么z为C”,可推出“如果x为A,那么z为 ,即:
前提1:如果x为A,那么y为B
前提2:如果y为 ,那么z为C
结论:如果x为A,那么z为
直观准则可用表4表示。
模糊推理合成规则:模糊控制中,应用最多的是广义假言推理(GMP规则),或称广义前向推理。模糊蕴涵关系“若A则B”或 一般是经过大量的实验或经验得到的,因此,这些实验或经验的量越大越多,则所得到的蕴涵关系就越准确。不过,在近似推理中,总是认为所得的蕴涵关系是正确可靠的,因为它是推理的依据和出发点。
对于模糊命题“若A则B”,L. A. Zadeh于1973年利用模糊关系的合成运算给出了“推理合成规则”的模糊推理方法,简记为CRI (Compositional Rule of Inference)。
设U和V是两个各具有基础变量x,y的论域,R是在论域 上描述模糊蕴涵“若A则B”的模糊关系,对于给定的 ,可推得由 引出的的结论 为
(14)
其中“ ”表示模糊关系的合成运算。
上式所表示的推理模型[15]为: 模糊推理系统及其仿真研究+文献综述(6):http://www.751com.cn/tongxin/lunwen_1526.html