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

信念逻辑的表示与层次(2) “理智的”凡人：BA→BK A(若相信A，则一定相信知道A) “卤莽的”凡人：ZA→BA (若不排除A，则就相信A) “谨慎的”凡人：ZA→WA (若不排除A，则可以接受A) 第3章 非经典逻辑 * 最新文档合集 信念逻辑的表示与层次(3) (2)超人信念逻辑，继续增加推理规则： 由BA和B(A→C) 可知有BC成立或[B(A→C)]→[BA→BC] 再加上普通命题逻辑的推理规则，可推出被已知信念蕴含的所有信念。此时，与知道逻辑中的逻辑全知问题相对应，是逻辑全信问题。应予以避免。 (3)上帝信念逻辑，再加上新公理：BA→K A (凡相信者必真，只有上帝可做到) 第3章 非经典逻辑 * 最新文档合集 知道逻辑和信念逻辑 知道和信念相联系，如前解释 对于面向现实世界的逻辑推理任务，知道逻辑和信念逻辑提供了可用的形式化表示方法 / 考虑用模态逻辑的方法对现实问题建模 推理中要避免逻辑全知和逻辑全信问题(即存在A就知道A) 第3章 非经典逻辑 * 最新文档合集 3.4 多值逻辑真值的扩充 / 第三值解释三值逻辑真值定义不同的真值解释与逻辑定律 第3章 非经典逻辑 * 最新文档合集 真值的扩充 真值的重新定义 模态逻辑对命题逻辑和谓词逻辑的扩充是从语法着手的，首先引入模态词(扩充语法成分)，然后定义有关语义(论域的扩充)，但不改变真值集合； 多值逻辑、模糊逻辑则从语义着手，首先扩充真值集合，重新规定真值联结词等语言成分的意义，其中真值和语义起主导作用。 第3章 非经典逻辑 * 最新文档合集 三值逻辑 首先从多值逻辑进行过渡：逻辑系统中真值的个数允许超过2个，即多值逻辑。除了真T和假F以外，通常要对非真非假作出规定，一般引入1个值，即U。此为三值逻辑。 对U的不同解释，就得到了不同的三值逻辑系统。 第3章 非经典逻辑 * 最新文档合集 不同的真值解释 U有如下一些解释： (1)不知道，或真值间隙(truth value gap)，得到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； De Morgan定律成立。 恒等律不成立带来的后果不好。例子：如果人们不知道哥德巴赫猜想是否成立，那么能不能推出“人们不知道哥德巴赫猜想是否成立”？答曰：不知道。 * 最新文档合集 不同的真值解释(3) 第3章 非经典逻辑 Lukaciewicz三值逻辑 维持了恒等律； P→Q≠﹁P∨Q； 其余同K氏系统。 Bochvar三值逻辑 排中、矛盾、恒等律不成立； U因为定义为矛盾(悖论)或无意义，因此任何一个公式中只要有一项为U则整个公式等价为U，部分无意义导致整体无意义。 * 最新文档合集 不同的真值解释(4) 第3章 非经典逻辑 Post三值逻辑 排中、矛盾不成立，恒等律成立一半； 零幂律(否定之否定)不成立，即： ﹁﹁P≠P，而是﹁﹁﹁P=P(三值循环) De Morgan定律成立了一半，由真值计算规则决定 非符号﹁理解为对真假程度的减弱，因此形成循环：﹁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)=F Post三值逻辑有真值计