人工智能原理非经典逻辑.pptVIP

3.4多值逻辑

真值的扩充/第三值解释

三值逻辑真值定义

不同的真值解释与逻辑定律第3章非经典逻辑*真值的扩充真值的重新定义模态逻辑对命题逻辑和谓词逻辑的扩充是从语法着手的，首先引入模态词(扩充语法成分)，然后定义有关语义(论域的扩充)，但不改变真值集合；多值逻辑、模糊逻辑则从语义着手，首先扩充真值集合，重新规定真值联结词等语言成分的意义，其中真值和语义起主导作用。第3章非经典逻辑*三值逻辑首先从多值逻辑进行过渡：逻辑系统中真值的个数允许超过2个，即多值逻辑。除了真T和假F以外，通常要对非真非假作出规定，一般引入1个值，即U。此为三值逻辑。对U的不同解释，就得到了不同的三值逻辑系统。第3章非经典逻辑*不同的真值解释U有如下一些解释：(1)不知道，或真值间隙(truthvaluegap)，得到Kleene三值逻辑；(2)无所谓真假，即不能确定真假，得到Lukaciewicz(Luckasiewicz)三值逻辑；(3)非真非假，无意义的矛盾命题、悖论，得到Bochvar三值逻辑(4)半真半假，真假程度存在顺序关系，得到Post三值逻辑第3章非经典逻辑*不同三值逻辑的真值定义(1)真值定义：三值逻辑对T和F的定义与普通逻辑是一样的，关键对U的含义的定义5种逻辑运算(5种联结词)所得的结果第3章非经典逻辑4种三值逻辑的否定运算真值定义*不同三值逻辑的真值定义(2)第3章非经典逻辑4种三值逻辑的合取运算真值定义4种三值逻辑的析取运算真值定义*不同三值逻辑的真值定义(3)第3章非经典逻辑4种三值逻辑的蕴含运算真值定义4种三值逻辑的等价运算真值定义*不同的真值解释(1)第3章非经典逻辑各个三值逻辑系统的解释共同点：排中律和矛盾律皆不成立，即对任意P，有P∨﹁P≠T和P∧﹁P≠F(其验证只需令P=U)。这很自然，因为只有在二值逻辑系统中，才会有上述定律。除L氏系统外，恒等律也不成立，即P→P和P≡P不为真(验证同上)，但P氏系统中成立一半((U→U)=F，但(U≡U)=T)。*不同的真值解释(2)第3章非经典逻辑Kleene三值逻辑排中、矛盾、恒等律不成立；P→Q≡﹁P∨Q；DeMorgan定律成立。恒等律不成立带来的后果不好。例子：如果人们不知道哥德巴赫猜想是否成立，那么能不能推出“人们不知道哥德巴赫猜想是否成立”？答曰：不知道。*不同的真值解释(3)第3章非经典逻辑Lukaciewicz三值逻辑维持了恒等律；P→Q≠﹁P∨Q；其余同K氏系统。Bochvar三值逻辑排中、矛盾、恒等律不成立；U因为定义为矛盾(悖论)或无意义，因此任何一个公式中只要有一项为U则整个公式等价为U，部分无意义导致整体无意义。*不同的真值解释(4)第3章非经典逻辑Post三值逻辑排中、矛盾不成立，恒等律成立一半；零幂律(否定之否定)不成立，即： ﹁﹁P≠P，而是﹁﹁﹁P=P(三值循环)DeMorgan定律成立了一半，由真值计算规则决定非符号﹁理解为对真假程度的减弱，因此形成循环：﹁T=U→﹁U=F→﹁F=T/写成符号形式即为：suc(T)=U，suc(U)=F，suc(F)=T*不同的真值解释(5)第3章非经典逻辑设v(P)表示命题公式(三值逻辑)的真值，则： v(T)=T，v(U)=U，v(F)=FPost三值逻辑有真值计算规则如下：v(﹁P)=suc(v(P))v(P∨Q)=max(v(P),v(Q))v(P∧Q)=v(﹁(﹁P∨﹁Q))v(P→Q)=v(﹁P∨Q)v(P≡Q)=v((P→Q)∧(Q→P))*不同的真值解释(5)第3章非经典逻辑Post三值逻辑当中，DeMorgan定律成立了一半，即v(P∧Q)=v(﹁(﹁P∨﹁Q))(定义)v(U∨F)=U，v(﹁(﹁U∨﹁F))=F二值到三值，真值三极化越彻底，二值系统中的定律失效越多。Post系统中的﹁运算不再是U为中心的对称，而是真值间的循环3.5模糊逻辑

非精确刻划与模糊子集

模糊集合运算及其性质

模糊关系

从多值逻辑到模糊逻辑

Zadeh模糊逻辑

算子模糊逻辑第3章非经典逻辑*问题的非精确刻划第3章非经典逻辑传统集合论：一个元素是否属于某个集合，回答只有是和否，界限分明。此时，可用特征函数CA(x)表示x是否属于A：此时总假定存在一个定义明确的集合U，A是U的子集。U可称为个体域或基底集。其元素称为基元。非精确刻划:但现实世界有许多意义不能精确刻划(内涵)、外延不能用传统集合表示的概念。典型例子：“老年人”包括多大年龄的