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

人工智能原理第3章 非经典逻辑 本章内容 3.1 非经典逻辑简介 3.2 模态逻辑 3.3 知道逻辑和信念逻辑 3.4 多值逻辑 3.5 模糊逻辑 参考书目 3.1 非经典逻辑简介不同逻辑的约定经典逻辑和非经典逻辑的区别广义模态逻辑 逻辑语言的约定 如前一章所示,逻辑作为一种知识表示,可称之为形式化的语言.不同的逻辑在表示客观世界时有各自的特点(约定) 若干逻辑语言的约定 经典逻辑与非经典逻辑的区别(1) 人工智能研究把逻辑作为重现智能的手段，其应用是广泛而深入的 经典逻辑（命题逻辑和一阶逻辑）在长期的实践中逐渐暴露出对许多应用领域力不从心，促使新的逻辑流派不断涌现 经典逻辑和非经典逻辑之间的主要区别： (1)演绎还是归纳？Bacon等倡导的归纳法打破了演绎方法的一统天下，归纳逻辑在AI中也有重要地位 经典逻辑与非经典逻辑的区别(2) (2)二值还是多值？经典的二值逻辑描述能力不足，是对客观世界的过分简单的抽象，提出多值和模糊逻辑 (3)是否遵守传统数理逻辑运算法则？如排中律、否定之否定、狄摩根律甚至恒等律在一些非经典逻辑（多值逻辑）中不再成立 (4)是否引进额外算子？经典逻辑只能回答绝对是非判断的问题，但面临“可能、必然、应该”等问题时就显得无能为力，需要引入额外的模态算子，即模态逻辑 经典逻辑与非经典逻辑的区别(3) (5)单调还是非单调？经典逻辑的信念是已知的事实（定理）是充分可信的，不会随着新事实的发现而使旧事实变假。所谓单调的。实际上这不符合客观认识规律，因为新的事实推翻旧的真理的情况时常发生。这是认识的非单调性 经典逻辑是演绎的、二值的、单调的，而不遵守其中的一个原则，就是非经典的 非经典逻辑缺少统一的理论体系，各种方法有较大的区别 非经典逻辑与模态逻辑 我们选择一些具有逻辑形式、采用经典逻辑语法框架的非经典逻辑加以介绍: 部分广义模态逻辑包括模态逻辑、知道逻辑、信念逻辑 多值逻辑 模糊逻辑 模态逻辑是在经典逻辑的框架下引入模态算子（也叫模态词），模态词的不同解释导致不同的模态逻辑 广义模态逻辑(1) 相对于“可能/必然”的解释，其他对模态词的不同解释，就得到了广义模态逻辑。 较老的有： 真理论模态逻辑?关于“必然”的模态逻辑，模态算子的解释：“必然、可能”，标准的模态逻辑 认识论模态逻辑?关于“知道”的模态逻辑，模态算子的解释：“知道、认可”，知道逻辑 道义论模态逻辑?关于“应该”的模态逻辑，模态算子的解释：“应该、允许”，信念逻辑 广义模态逻辑(2) 较新的有： 经验论模态逻辑?关于经验的模态逻辑，模态词：“一贯、偶然、经验地、有先例地” 时序逻辑?关于时间次序(状态演变次序)的模态逻辑，模态词：“永远、将会、下个、直到” 3.2 模态逻辑模态逻辑的语法命题模态逻辑系统 / T系统及其性质可能世界模态逻辑的语义 / 模态逻辑的模型标准模型及模型中关系 模态逻辑的提出 实际上，模态逻辑的历史和经典逻辑一样长，最先由Aristotle提出 波斯海战问题：明天波斯和雅典将发生海战 对于明天才知道真假的命题，经典逻辑无法回答是或否 1918年美国Lewis在研究实质蕴涵悖论时重新提出模态逻辑 根源： p→q经典定义：p→q等价于?p∨q Lewis提出用严格蕴涵来定义：p→q等价于“不可能(p∧?q)”，引出了“可能”问题 模态逻辑的算子 模态逻辑的语法和系统 模态算子 必然算子：□A称为必然A 可能算子：◇A称为可能A □﹁(A→B)表示A必然不能推出B；同样 ﹁◇(A→B)表示A不可能推出B 模态逻辑的合式公式 模态逻辑的合式公式： (1)任何一个一阶谓词演算（命题演算）的合式公式都是模态逻辑的合式公式； (2)若A是模态逻辑的合式公式，则□A是合式公式； (3)若A是模态逻辑的合式公式，则◇A是合式公式； (4)若A和B是模态逻辑的合式公式，﹁A，A∨B，A∧B，A→B，A≡B(←→)都是合式公式； (5)除此以外再无别的合式公式。 命题模态逻辑 命题模态逻辑系统 定义：一组称为公理的命题模态合式公式和一组推导规则取如下形式： 且该合式公式组在此推导规则下封闭，则这些公理和推导规则构成一个命题模态逻辑系统 命题模态逻辑系统包括T系统，也称NSK(正规系统)，以及Lewis引入的5个模态逻辑系统S1～S5 T系统(1) T系统的定义 T系统中逻辑运算定义：3个基本逻辑联结词(运算符)为﹁、∨、□，其他逻辑运算符为： (1)A→B定义为﹁A∨B (2)A∧B定义为﹁(﹁A∨﹁B) (3)A≡B定义为(A→B)∧(B→A) (4)◇A定义为﹁□﹁A T系统(2) 引入严格蕴含符?和严格等价符=，并规定：若A、B为合式公式，则A?B 也是合式公式；若A、B为