模糊逻辑与推理

模糊逻辑与模糊推理1）精确逻辑（传统逻辑）的一些概念命题逻辑、布尔代数、和集合论是同构的。隐含是重要的概念。传统的命题逻辑中，命题的“真”和“假”必须具有意义。逻辑推理是给定一个命题，组合成另一个命题的过程。组合的基本操作：1）合取Conjunction,,“交”2）析取Disjunction,“并”3）隐含Implication,“ifthen”逆操作Inversion5)等效关系Equivalence，“p即q”。

一个隐含是“真”，必须满足三个条件之一：1）前提是真，结论是真；在教书，是教师；2）前提是假，结论是假；不教书，不是教师；3）前提是假，结论是真。不在教书，是教师；隐含是“假”时，则：4）前提是真，结论是假。在教书，不是教师。逻辑关系用真值表示

传统命题逻辑的基本公理：1。每一命题是真或假，但不能既真又假；2。由确定的术语所组成的表达式，都是命题；3。合取、析取、隐含、等效、逆运算组成的表达式也是命题。有二个重要的同义反复（隐含）从真值表可以获得证明：1-1-110011100100011011001111隐含隶属函数表达式或传统命题逻辑的推理2）模糊逻辑与模糊推理☆关于“工程隐含”的概念。模糊隐含原则上可以引用传统隐含的表达式。在连续域情况下，应用于推理会发生问题！If-then规则关于的计算☆☆☆图示如后：111有限支集无限支集☆☆取上界：说明二点：1）对一个特定的规则（其结果是具有有限支集的特定模糊集合），激发的结果是一个具有无限支集的模糊集合。2）对所有各点，规则将以最大可能的输出隶属函数值1，来激发规则。

从工程观点看，以上二点，违反了工程中的因果关系，即有因才有果。无因不能有果。Mamdani和Larsen分别提出极小和乘积的隐含运算。这二种计算并不是基于因果关系，是出于计算的简单性，但保留了因果关系，与传统的命题逻辑推理不符。称为工程隐含1111100001000000用真值表表示：(精确隐含)11111模糊隐含模糊推理1.单个前提单个规则:2.多前提单规则隶属函数的计算3)多前提多规则隶属函数的计算模糊避推理烂可以窑分几哨步：1）愿计算宽兼容斧度；2）面求激种励强拍度；3）攻求定奏性（挣演译脱）结铅果；4）就求总戏输出出结果钩。模糊榨推理销系统1）黄模糊浴化和货模糊球器★单亭点模嚷糊化★非狐单点蝇模糊蒜化按三角童范式吨交换饲性和普单调呼性，最大君化，个其值残产生爹在：2.浇规犬则库装卸勺站台举例回：货贼车倒疗车S3S2S3S3S3B1S1S2S3S2B2B2CES2S2B2B3B2B1S1B3B3B3B2B3B2S2S3S2S3CEB1B2B3S2S1CEB1B2规则服：x=6x=1都43.洪推理索机规则减推理韵相当蹦于隐集含对离浅散论友域,注规则Rl由多变猎量硬决定输入糠的模泪糊集棍合每条滤规则巡寿的输崭出:对所有拒规则剑,模糊劳预滤劳波自适抄应滤葵波推理齐举例匆:ma网x-捏mi驼n乘积总的输出身模糊亏集合3条规则谊合成渴所获劝得的俯输出撒为:4.标去丘模糊伍化最小最大最大底平均面积献中心面积刻平均输出发隶属旧函数呼的一普般形款式:1.趋极大叔去模节糊化模糊归基函认数模糊宾推理脖系统片有4瓣部分蛛组成越。对填常用乐的各父种模肿糊化宗、去模首糊化统、推竞理机著制和皮隶属略函数答有不顷同的涌选择币：1.尤模顷糊化丝式形式若:约单点催,非制单点扇.2.售隶属被函数拼形式烛:贿三角进、梯始形、历高斯可、分脂段线梦性。3438对每核一规效则相照应的隐输出挡隶属秧函数稿求面悬积重胜心，然后权求平萌均高胡度。3.性隶鹊属函卧数参塘数:筹事久先确索定、刮训练你过程灵中调尾整。4.警复研合方嚷式:ma讽x-煤mi郊n牧、m塌ax永-乘积垄或su呈p-遥mi株n,纸su妄p-乘积明。5.哑推理古方法牛：最造小、与乘积政。6.树去宽模糊宇化方称法:低极蠢大、南极大惰平均战、面饲积中吗心、昨高度法、甜高度义修正注法。为了否在数排学上犁进行吉描述东必须氧作选奶择：1）教单点熊模糊辨化、ma虾x-乘积拴复合削运算秒、乘谁积推脸理、挺高度唐去模辉糊化2）民单点抗模糊你化、ma幻玉x-卫mi折n复合目运算矩、乘载积推逢理、享高度堤去模颂糊化3）扑非单