第一部分;第3章AI编程基础 第3章A编程基础 3.1命题逻辑 3.2一阶谓词逻辑 3.3产生式系统 3.4专家系统 本章小结与习题 2004.11.3 A|程序设计
2004.11.3 AI程序设计 1 第一部分：第3章 AI编程基础 第3章 AI编程基础 3.1 命题逻辑 3.2 一阶谓词逻辑 3.3 产生式系统 3.4 专家系统 本章小结与习题
第一部分:第3章AI编程基础 3.1命题逻辑 逻辑学是研究人如何正确地思维以达到认识客观真理的 科学,它包括形式逻辑和辨证逻辑两部分。形式逻辑又 名静态逻辑或初等逻辑,它着重研究思维形式的结构及 其规律。辩证逻辑又名动态逻辑或高等逻辑,它是全面 研究思维的形式和内容,研究思维的辨证发展规律的科 学。形式逻辑反映的是认识过程处在量变阶段的规律, 它完成的是已知规律的逻辑推理。辩证逻辑反映的是认 过程处在质变阶段的规律,它研究的是人的认识的发 生、发展和完善的全过程。 2004.11.3 A|程序设计
2004.11.3 AI程序设计 2 第一部分：第3章 AI编程基础 3.1 命题逻辑 逻辑学是研究人如何正确地思维以达到认识客观真理的 科学，它包括形式逻辑和辨证逻辑两部分。形式逻辑又 名静态逻辑或初等逻辑，它着重研究思维形式的结构及 其规律。辩证逻辑又名动态逻辑或高等逻辑，它是全面 研究思维的形式和内容，研究思维的辨证发展规律的科 学。形式逻辑反映的是认识过程处在量变阶段的规律， 它完成的是已知规律的逻辑推理。辩证逻辑反映的是认 识过程处在质变阶段的规律，它研究的是人的认识的发 生、发展和完善的全过程
第一部分:第3章AI编程基础 3.1命题逻辑 数理逻辑是用数学方法研究逻辑学的科学,目前仅局限 在形式逻辑范围内。数理逻辑以命题演算和一阶谓词演 算为基础。在数理逻辑中,仅关心推理在形式上的有效 性,而不涉及推理的内容本身。命题逻辑与谓词逻辑是 最先应用于人工智能的两种逻辑,对于知识的形式化表 特别是定理的自动证明发挥了重要作用,在人工智 能的发展史中占有重要地位。本节主要介绍命题逻辑, 在下一节介绍谓词逻辑 2004.11.3 A|程序设计
2004.11.3 AI程序设计 3 第一部分：第3章 AI编程基础 3.1 命题逻辑 数理逻辑是用数学方法研究逻辑学的科学，目前仅局限 在形式逻辑范围内。数理逻辑以命题演算和一阶谓词演 算为基础。在数理逻辑中，仅关心推理在形式上的有效 性，而不涉及推理的内容本身。命题逻辑与谓词逻辑是 最先应用于人工智能的两种逻辑，对于知识的形式化表 示，特别是定理的自动证明发挥了重要作用，在人工智 能的发展史中占有重要地位。本节主要介绍命题逻辑， 在下一节介绍谓词逻辑
第一部分;第3章AI编程基础 3.1命题逻辑 3.1.1命题 3.1.2命题定律 3.1.3范式 3.1.4命题逻辑的推论规则 3.1.5命题逻辑的局限性 2004.11.3 A|程序设计
2004.11.3 AI程序设计 4 第一部分：第3章 AI编程基础 3.1 命题逻辑 3.1.1 命题 3.1.2 命题定律 3.1.3 范式 3.1.4 命题逻辑的推论规则 3.1.5 命题逻辑的局限性
第一部分:第3章AI编程基础 31.1命题 定义31命题( Proposition):命题是具有真假意义的语句。 命题代表人们进行思维时的一种判断,或者是肯定,或者是否定,只有 这两种情况。如果命题的意义为真,称它的真值为真,记作T;如果命 题的意义为假,称它的真值为假,记作F。一个命题不能同时既为真又 为假,但可以在一定条件下为真,在另一种条件下为假。没有真假意义 的语句(如感叹句、疑问句等)不是命题。例如,“北京是中华人民共和 国的首都”、“3<5″等都是真值为T的命题;“太阳从西边升起”, “煤球是白色的”都是真值为F的命题。“1+1=10″在二进制情况下 是真值为T的命题,但在十进制情况下却是真值为F的命题。同样,对 于命题“今天是雨天”,也要看当天的实际情况才能决定其真值。 2004.11.3 A|程序设计 5
2004.11.3 AI程序设计 5 第一部分：第3章 AI编程基础 3.1.1 命题 定义3.1 命题（Proposition）：命题是具有真假意义的语句。 命题代表人们进行思维时的一种判断，或者是肯定，或者是否定，只有 这两种情况。如果命题的意义为真，称它的真值为真，记作T；如果命 题的意义为假，称它的真值为假，记作F。一个命题不能同时既为真又 为假，但可以在一定条件下为真，在另一种条件下为假。没有真假意义 的语句(如感叹句、疑问句等)不是命题。例如， “北京是中华人民共和 国的首都” 、 “3<5” 等都是真值为T的命题；“太阳从西边升起” ， “煤球是白色的”都是真值为F的命题。 “1+1=10”在二进制情况下 是真值为T的命题，但在十进制情况下却是真值为F的命题。同样，对 于命题“今天是雨天” ，也要看当天的实际情况才能决定其真值