自动控制网移动版

1.三角协范式    三角协范式是从[0,1]×[0,1]到[0, 1]的两位函数,即:[0,1]×[0,1]→[0,1],它包括并、代数和、有界和、强和以及不相交和。

2.模糊合取    对于所有u∈U,v∈V,模糊合取为:

式中,*为三角范式的一个算子。

3.模糊析取    对于所有u∈U,v∈V,模糊析取为:

式中,*为三角范式的一个算子。
 

4.  模糊蕴涵    由A→B所表示的模糊蕴涵是定义在U×V上一个特殊的模糊关系,其关系及隶属函数为:
    (1) 模糊合取
    (2) 模糊析取
    (3) 基本蕴涵
    (4) 命题演算
    (5) GMP推理
    (6) GMT推理