基于扩展二值逻辑的模糊蕴涵式运算方法的研究.pdfVIP

计算机科学2006V01．33No．11A 基于扩展二值逻辑的模糊蕴涵式运算方法研究 Research onthe Methodofthe Operation Expanded—·two-valued—。logic-basedFuzzyImplication 朱小栋1 黄志球1 朱剑英2 (南京航空航天大学信息科学与技术学院 南京210016)1(南京航空航天大学机电学院 南京210016)2 自模糊集提出[1]以来，许多的模糊推理方法被 用集合来理解A—B即ACB，用韦氏图来理 提出作为模糊环境下推理的数学工具[扣引。众所周 解A—B即图1，其中X是全集。 知，模糊推理已成为了理论基础，以及设计模糊控制 从这个韦氏图我们看到，某点．27在A中，点．27 器的重要工具，并在工业某些领域应用中取得了成 在B中，ACB必为真；点z在A中，点z不在B 功，如智能控制[5]。尽管如此，模糊逻辑的数学基础 中，ACB必为假。但是，点z不在A中，点z在B 仍然有许多严重的问题需要解决，这导致了一些深 中，ACB可能真，也可能假。概括如表1。 入研究[6~9]。其中的一个问题就是模糊蕴涵式的选 表1 A咖真值表 择，因为蕴涵是任何逻辑系统里的主要连接，它对模 A 口 ^哪 糊逻辑应用的系统的运行强大的影响。 点X在J4中(1)点X在B中(1)真(1) Zadeh，Mamdani等人对模糊蕴涵式作了早期 点x在A中(1)点x不在B中(0)假(O) 研究[10~13】，对模糊蕴涵式的研究进展有[14’15]。我 点x不在A中点x在B中(1)可能真(1)， 们先从前人研究的结果找出一些规律，然后用其指 (0) 可能假(O) 导我们对模糊蕴涵式的继续研究。 点x不在A中点x不在口中(0)可能真(1)， (0) 可能假(0) 论文第1节详细分析二值逻辑的蕴涵式，给出 一种全新的二值逻辑蕴涵式真值表。第2节用卡诺 这样，我们得到√卜B的四种真值表(表2)。 图方法分别化简各种情况下的二值逻辑蕴涵式真值 表2A—怊真值四种情况 袁。第3节分析扩展的二值逻辑关系式与目前已有 A 口 A—曰 ① ② ③ ④ 的模糊蕴涵式的关系，然后提出两个不同的模糊蕴 l l l l l l 涵式。第4节介绍模糊推理，并用实例来验证我们 l 0 O 0 O 0 提出的模糊蕴涵式的正确性与合理性。 0 1 l l O O O O l O l 0 1二值逻辑蕴涵式 我们在学习数理逻辑时，曾经这样认识蕴涵关 2蕴涵关系式的卡诺图化简 系的真值表：A—B的真值，当A为O，B为0或l，A 卡诺图是逻辑函数的一种图形表示，是美国贝 —B的真值都为O，我们不是很理解，姑且认为其正