模糊逻辑与逻辑推理

        模糊命题：普通命题是可以辨别真伪的，而无法确定真假的命题称为模糊命题。模糊命题的值越接近1，越真，越接近0，越假。

        基本的运算：（与，∧）（或，∨）（非，~）（如果。。。那么，­­­——〉）。注意：S(P——>Q)=(S(P)∧S(Q))∨(1-S(P))。对于逻辑运算规律，这里都使用。

        模糊算子：使用数学对模糊语言进行表达和分析。

        举例：对于“高山”这一名词，有模糊集合A与之对应，S(x)=0,(0<x<100),S(x)=((x-100)/3000)^2   (3000=<x<4000)。山“极高”，“有点高”有分别可以表示为S(x)^2，S(x)^(0.5)。，根据“山很高，并且山很绿”，可以得到一个交集。

        模糊判断句。“a是A”没有真假，只能给出真假的程度，即S(A)。

        模糊推理句：“若a是A，则a是B”，给出公式，S(若A则B)=[S(A)∧S(B)]∨[1-S(A)]。

        模糊假言推理。大前提A——＞B，小前提A1，则B1=A1。（A——>B）。

        举例：设论域X={1,2,3,4,5}，Y={一，二，三，四，五}，有三个模糊集合，“大”“小”“较小”，其中“大”=0.5/4+1/5,"小"=1/1+0.5/2,"较小"=1/1+0.4/2+0.2/3；问：若x小则y大，现在x较小，则y如何。

        首先S小到大(x,y)=[S小(x)∧S大(y)]∨[1-S小(x)]，得到一个模糊矩阵。然后 较小。(小到大)得到y的模糊集合。

        模糊条件，“若A则B。否则C”。大前提 (A——>B)∨(~A——>C) 小前提A‘，则B’=A'。(A——>B)∨(~A——>C)。