1、前言v 在学习本章内容之前，我们先了解一在学习本章内容之前，我们先了解一下有关知识及其表示的概念。下有关知识及其表示的概念。人类的智能活动过程主要是一个获得人类的智能活动过程主要是一个获得并运用知识的过程，知识是智能的基础。并运用知识的过程，知识是智能的基础。为了使计算机具有智能，就必须使它具为了使计算机具有智能，就必须使它具有知识。有知识。那什么是知识呢？那什么是知识呢？知识一般概念知识一般概念v 知识是人们在改造客观世界的实践中积累起来的知识是人们在改造客观世界的实践中积累起来的认识认识和和经验经验v 认识：认识：包括对事物现象、本质、属性、状态、关系、联系和运动等的认识包括对事物现象、本
2、质、属性、状态、关系、联系和运动等的认识v 经验：经验：包括解决问题的包括解决问题的微观方法：微观方法：如步骤、操作、规则、过程、技巧等如步骤、操作、规则、过程、技巧等v 宏观方法：宏观方法：如战略、战术、计谋、策略等如战略、战术、计谋、策略等v知识的有代表性的定义知识的有代表性的定义v （1 1）Feigenbaum:Feigenbaum:知识是经过剪裁、塑造、解释、选择和转换了的信息知识是经过剪裁、塑造、解释、选择和转换了的信息v （2 2）BernsteinBernstein：知识由特定领域的描述、关系和过程组成知识由特定领域的描述、关系和过程组成v （3 3）Heyes-RothHey
3、es-Roth：知识知识=事实事实+信念信念+启发式启发式v知识、信息、数据及其关系知识、信息、数据及其关系v 数据数据是信息的载体，本身无确切含义，其关联构成信息是信息的载体，本身无确切含义，其关联构成信息v 信息信息是数据的关联，赋予数据特定的含义，仅可理解为描述性知识是数据的关联，赋予数据特定的含义，仅可理解为描述性知识v 知识知识可以是对信息的关联，也可以是对已有知识的再认识可以是对信息的关联，也可以是对已有知识的再认识v 常用的关联方式：常用的关联方式：if then if then 什么是知识什么是知识?雪是白色的、鸟有翅膀等都雪是白色的、鸟有翅膀等都是知识是知识知识的要素知识的要
4、素v知识的要素是指构成知识的必需元素。在这里，知识的要素是指构成知识的必需元素。在这里，我们关心的是一个人工智能系统所处理的知识的我们关心的是一个人工智能系统所处理的知识的组成成分。一般而言，人工智能系统的知识包含组成成分。一般而言，人工智能系统的知识包含事实、规则、控制和元知识。事实、规则、控制和元知识。知识的要素知识的要素v事实：事物的分类、属性、事物间关系、科学事实、事实：事物的分类、属性、事物间关系、科学事实、客观事实等客观事实等.是有关问题环境的一些事物的知识，常以是有关问题环境的一些事物的知识，常以“是是”形式出现，也是最低层的知识。例如：雪是白色形式出现，也是最低层的知识。例如：
5、雪是白色的，人有四肢。的，人有四肢。v规则：事物的行动、动作和联系的因果关系知识。规则：事物的行动、动作和联系的因果关系知识。这种知识是动态的，常以这种知识是动态的，常以“如果如果那么那么”形式出现。例如形式出现。例如启发式规则，如果下雨，则出门带伞。启发式规则，如果下雨，则出门带伞。知识的要素知识的要素v控制：当有多个动作同时被激活时，选择哪一个动控制：当有多个动作同时被激活时，选择哪一个动作来执行的知识。是有关问题的求解步骤、规划、求作来执行的知识。是有关问题的求解步骤、规划、求解策略等技巧性知识解策略等技巧性知识.v元知识：怎样使用规则、解释规则、校验规则、解元知识：怎样使用规则、解释规
6、则、校验规则、解释程序结构等知识。是有关知识的知识，是知识库中释程序结构等知识。是有关知识的知识，是知识库中的高层知识。元知识与控制知识有时有重叠的高层知识。元知识与控制知识有时有重叠.知识的分类知识的分类 根据根据知识表达的内容知识表达的内容，将其简单地分为如下几类：，将其简单地分为如下几类：事实性知识事实性知识知识的一般直接表示，如果事实性知识是批量的、有规律的，则知识的一般直接表示，如果事实性知识是批量的、有规律的，则往往以表格、图册，甚至数据库等形式出现。往往以表格、图册，甚至数据库等形式出现。这种知识描述一般性的事实，如凡是冷血动物都要冬眠，哺乳动这种知识描述一般性的事实，如凡是冷血
7、动物都要冬眠，哺乳动物都是胎生繁殖后代等。物都是胎生繁殖后代等。过程性知识过程性知识表述做某件事的过程。标准程序库也是常见的过程性知识，而且表述做某件事的过程。标准程序库也是常见的过程性知识，而且是系列化、配套的。是系列化、配套的。如电视机维修法，怎样烹制法国大餐等。如电视机维修法，怎样烹制法国大餐等。行为性知识行为性知识不直接给出事实本身，只给出它在某方面的行为。行为性知识经不直接给出事实本身，只给出它在某方面的行为。行为性知识经常表示为某种数学模型，从某种意义上讲，行为性知识描述的是事物常表示为某种数学模型，从某种意义上讲，行为性知识描述的是事物的内涵，而不是外延。如微分方程的内涵，而不是
8、外延。如微分方程知识的分类知识的分类实例性知识实例性知识只给出一些实例。知识藏在实例中。感兴趣的不是实例本身，而是隐藏在大量实例中的规律性知识。类比性知识类比性知识既不给出外延，也不给出内涵，只给出它与其它事物的某些相似之处。类比性知识一般不能完整地刻画事物，但它可以启发人们在不同的领域中做到知识的相似性共享。如比喻，心如刀绞，谜语等元知识元知识有关知识的知识。最重要的元知识是如何使用知识的知识。例如，一个好的专家系统应该知道自己能回答什么问题，不能回答什么问题，这就是关于自己知识的知识。元知识是用于如何从知识库中找到想要的知识。按知识的性质按知识的性质 概念、命题、公理、定理、规则和方法概念
9、、命题、公理、定理、规则和方法按知识的作用域按知识的作用域 常识性知识：常识性知识：通用通识的知识。人们普遍知道的、适应所有领域的知识。通用通识的知识。人们普遍知道的、适应所有领域的知识。领域性知识：领域性知识：面向某个具体专业领域的知识。面向某个具体专业领域的知识。例如：例如：专家经验。专家经验。按知识的层次按知识的层次 表层知识：表层知识：描述客观事物的现象的知识。例如：感性、事实性知识描述客观事物的现象的知识。例如：感性、事实性知识 深层知识：深层知识：描述客观事物本质、内涵等的知识。例如：理论知识描述客观事物本质、内涵等的知识。例如：理论知识按知识的确定性按知识的确定性 确定性知识：确
10、定性知识：可以说明其真值为真或为假的知识可以说明其真值为真或为假的知识 不确定性知识：不确定性知识：包括不精确、模糊、不完备知识包括不精确、模糊、不完备知识 不精确：不精确：知识本身有真假，但由于认识水平限制却不能肯定其真假知识本身有真假，但由于认识水平限制却不能肯定其真假 表示：用可信度、概率等描述表示：用可信度、概率等描述 模糊：模糊：知识本身的边界就是不清楚的。例如：大，小等知识本身的边界就是不清楚的。例如：大，小等 表示：用可能性、隶属度来描述表示：用可能性、隶属度来描述 不完备：不完备：解决问题时不具备解决该问题的全部知识。例如：医生看病解决问题时不具备解决该问题的全部知识。例如：医
11、生看病 每种以每种以知识和符号操作知识和符号操作为基础的智能系统，其为基础的智能系统，其问题求解方法都需要某种对解答的搜索。问题求解方法都需要某种对解答的搜索。在搜索过程开始之前，必须先用某种方法或某在搜索过程开始之前，必须先用某种方法或某几种方法的混和来表示问题。几种方法的混和来表示问题。问题求解技术主要涉及两个方面：问题的表示 求解的方法 知识表示知识表示方式是学习人工智能的中心内容之一。方式是学习人工智能的中心内容之一。知识表示知识表示知识表示的概念知识表示的概念什么是知识表示什么是知识表示 是对知识的描述，即用一组符号把知识编码成计算机可以接受的某是对知识的描述，即用一组符号把知识编码
12、成计算机可以接受的某种结构。其表示方法不唯一。种结构。其表示方法不唯一。知识表示的要求知识表示的要求 表示能力：表示能力：能否正确、有效地表示问题。包括：能否正确、有效地表示问题。包括：表示范围的广泛性表示范围的广泛性 领域知识表示的高效性领域知识表示的高效性 对非确定性知识表示的支持程度对非确定性知识表示的支持程度 可利用性：可利用性：可利用这些知识进行有效推理。包括：可利用这些知识进行有效推理。包括：对推理的适应性：对推理的适应性：推理是根据已知事实利用知识导出结果的过程推理是根据已知事实利用知识导出结果的过程 对高效算法的支持程度：对高效算法的支持程度：知识表示要有较高的处理效率知识表示
13、要有较高的处理效率 可实现性：可实现性：要便于计算机直接对其进行处理要便于计算机直接对其进行处理 可组织性：可组织性：可以按某种方式把知识组织成某种知识结构可以按某种方式把知识组织成某种知识结构 可维护性：可维护性：便于对知识的增、删、改等操作便于对知识的增、删、改等操作 自然性：自然性：符合人们的日常习惯符合人们的日常习惯 可理解性：可理解性：知识应易读、易懂、易获取等知识应易读、易懂、易获取等 知识表示的一般方法知识表示的一般方法v状态空间法状态空间法v问题归约法问题归约法v谓词逻辑法谓词逻辑法v语义网络语义网络v另外还有框架表示以及剧本表示另外还有框架表示以及剧本表示,过程表示过程表示,
14、这这里不在一一详述里不在一一详述.v在表示和求解比较复杂的问题时在表示和求解比较复杂的问题时,采用单一的表采用单一的表示方法是不够的示方法是不够的,往往采用多种方法的混合表示往往采用多种方法的混合表示.目前这仍是人工智能专家感兴趣的研究方向目前这仍是人工智能专家感兴趣的研究方向.状态空间法状态空间法问题求解(problem solving)是个大课题，它涉及归约、推断、决策、规划、常识推理、定理证明和相关过程的核心概念。在分析了人工智能研究中.运用的问题求解方法之后，就会发现许多问题求解方法是采用试探搜索方法的。也就是说，这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。这种基于解答空
15、间的问题表示和求解方法就是状态空间法，它是以状态和算符(operator)为基础来表示和求解问题的。状态空间法v问题求解技术主要涉及两个方面：问题求解技术主要涉及两个方面：问题的表示问题的表示 求解的方法求解的方法 v状态空间法状态空间法 状态状态（StateState）算符算符（Operator)Operator)状态空间方法状态空间方法（Method on State Space)Method on State Space)状态状态v状态（状态（statestate）：）：描述某类不同事物间的差别而引入的一组最少变量 q q0 0 q q1 1，q qn n的有序集合.矢量形式：矢量形式：
16、Q=q q0 0,q q1 1,q qn n T T 式中每个元素q qi i为集合的分量，称为状态变量。给定每个分量的一组值就得到一个具体的状态，如 Q Qk k=q qk k,q q1k,q qnk v算符（算符（operatoroperator）：把问题从一种状态变换）：把问题从一种状态变换为另一种状态的手段为另一种状态的手段.v算算符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。算符算符v状态空间方法：基于状态空间方法：基于解答空间的问题表示解答空间的问题表示和求解方法和求解方法，它是以，它是以状态和算符状态和算符为基础来为基础来表示和求解问题的。表示和求解问题的。v它包含三种
17、说明的集合,即三元状态（S S，F F，G G）v S S 初始状态集合；v F F 操作符集合；v G G 目标状态集合。v对一个问题的状态描述，必须确定对一个问题的状态描述，必须确定3 3件事：件事：v(1)(1)该状态描述方式，特别是初始状态描述；该状态描述方式，特别是初始状态描述；v(2)(2)操作符集合及其对状态描述的作用；操作符集合及其对状态描述的作用；v(3)(3)目标状态描述的特性目标状态描述的特性状态空间表示状态空间表示v典型的例子:v 下棋、迷宫及各种游戏。三数码难题v问题描述问题描述:v三数码难题三数码难题:有有3 3个编有个编有1-31-3并放在并放在2X22X2方格棋
18、方格棋盘上可走动的棋子组成盘上可走动的棋子组成.棋盘上总有一个空格棋盘上总有一个空格,以便让空格周围的棋子走进来以便让空格周围的棋子走进来.直至从初始状直至从初始状态到达目标状态态到达目标状态.三数码难题八数码难题 初始棋局 目标棋局表示 制定操作算符集：*直观方法为每个棋牌制定一套可能的走步：左、上、右、下四种移动。这样就需32个操作算子。*简易方法仅为空格制定这4种走步，因为只有紧靠空格的棋牌才能移动。*空格移动的唯一约束是不能移出棋盘。根据问题状态、操作算符和目标条件选择各种表示，是高效率求解必须的。在问题求解过程中，会不断取得经验，获得一些简化的表示。从初始棋局开始，试探由每一合法走步
19、得到的各种新棋局，然后计算再走一步而得到的下一组棋局。这样继续下去，直至达到目标棋局为止。把初始状态可达到的各状态所组成把初始状态可达到的各状态所组成的空间设想为一幅由各种状态对应的空间设想为一幅由各种状态对应的节点组成的图。这种图称为状态的节点组成的图。这种图称为状态图图。图中每个节点标有它所代表的棋局。首先把适用的算符用于初始状态，以产生新的状态；然后，再把另一些适用算符用于这些新的状态；这样继续下去，直至产生目标状态为止。八数码难题部分状态图十五数码难题(思考)119415131275861321014123456789101112131415初始状态初始状态目标状态目标状态状态空间的图
20、示形式称为状态空间图。状态空间的图示形式称为状态空间图。v有向图(directed graph)(directed graph)v图:由节点（不一定是有限的节点）的集合构成。v 有向图:是指图中的一对节点用弧线连接起来，从一个 节点指向另一个节点。v路径v 某个节点序列（n ni1i1,n,ni2i2,n,nikik）当j=2,3j=2,3,k k时，如果 对于每一个n nij-1ij-1都有一个后继节点n nijij存在，那么就把这 个节点序列叫做从节点，n ni1i1至至节点n nikik的长度为k k的路 径。状态图示法v寻找从一种状态变换为另一种状态的某个算符序列问题就等寻找从一种状态
21、变换为另一种状态的某个算符序列问题就等价于寻求图的某一路径的问题价于寻求图的某一路径的问题.v代价:加在各弧线的指定数值，以表示加在相应算符上的代价。v两个节点间路径的代价等于连接该路径上各节点的所有弧线的代价之和.v图的显示说明:指各节点及其具有代价的弧线可以由一张表明确给出,(可以列出每一个节点,其后继节点以及连接弧线上的代价)v图的隐示说明 指各节点及其具有代价的弧线不可以由一张表明确给出.(起始节点后继节点算符已知,把后继算符应用于各节点，以扩展节点）状态图示法状态图示法状态空间表示举例问题描述问题描述在一个房间内有一只猴子在一个房间内有一只猴子(可把这只猴子看做一可把这只猴子看做一个
22、机器人个机器人)、一个箱子和一束香蕉。香蕉挂在天、一个箱子和一束香蕉。香蕉挂在天花板下方，但猴子的高度不足以碰到它。那么花板下方，但猴子的高度不足以碰到它。那么这只猴子怎样才能摘到香蕉呢这只猴子怎样才能摘到香蕉呢?v用一个四元表列（用一个四元表列（W W，x x，Y Y，z z）来表示问题）来表示问题状态状态.v其中：其中：W-W-猴子的水平位置；猴子的水平位置；x x当猴子在箱子顶上当猴子在箱子顶上时取时取x=1x=1；否则取；否则取x=0 x=0；Y Y箱子的水平位置；箱子的水平位置；z-z-当当猴子摘到香蕉时取猴子摘到香蕉时取z=1z=1；否则取；否则取z=0z=0。解题过程操作（算符）
23、：操作（算符）：v该初始状态变换为目标状态的操作序列为：该初始状态变换为目标状态的操作序列为：vgoto(b),pushbox(c),climbbox,grasp goto(b),pushbox(c),climbbox,grasp U=b=c状态空间表示举例 产生式系统（产生式系统（Production System）一个总数据库一个总数据库(global database)：它含有与具体任务有关的信息；随着应用情况的不同，这些数据库可能小得像数字矩阵那样简单，或许大得如检索文件结构那么复杂。一套规则一套规则：它对数据库进行操作运算。每条规则由左右两部分组成，左部鉴别规则的适用性或先决条件，右
24、部描述规则应用时所完成的动作。应用规则来改变数据库，就象应用算符来改变状态一样。一个控制策略一个控制策略：它确定应该采用哪一条适用规则，而且当数据库的终止条件满足时，就停止计算。控制策略由控制系统选择和确定。产生式系统产生式系统 例:推销员旅行问题 从城市A出发,访问每个城市一次且仅一次,返回城市A.总数库:到目前为止访问过的城市表.规则:从一个城市达到另一个城市,规则的要求是必须是合法的数据库.(任一城市出现不能多余一次,只到所有城市出现后,才能出现A)任一个以A为起点的和终点的总数据库都满足终止条件.这种图搜索控制策略将在第三章讨论.推销员旅行问题 例2.1 推销员旅行问题（旅行商问题）一
25、个推销员计划出访推销产品。他从一个城市（如A）出发，访问每个城市一次，且最多一次，然后返回城市A。要求寻找最短路线。推销员旅行问题 状态描述：目前为止访问过的城市列表（A）初始状态：（A）目标状态：（AA）38推销员旅行问题 图2.4 推销员旅行问题状态空间图 算符：下一步走向的城市(a)(b)(c)(d)(e)约束：每个城市只能走过一次，A除外作业（p54）2-3 利用图2.3，用状态空间法规划一个最短的旅行路程：此旅程从城市A开始，访问其他城市不多于一次，并返回A。选择一个状态表示，表示出所求得的状态空间的节点及弧线，标出适当的代价，并指明图中从起始节点到目标节点的最佳路径。问题归约法问题
26、归约法v已知问题的描述，通过一系列变换把此问题最终变已知问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。从而解决了初始问题。v该方法也就是从该方法也就是从目标目标(要解决的问题要解决的问题)出发逆向推理，出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始建立子问题以及子问题的子问题，直至最后把初始问题归约为一个平凡的本原问题集合问题归约为一个平凡的本原问题集合。这就是问题。这就是问题归约的实质。归约的实质。问题归约法的组成部分问题归约法的组成部分v（1 1）一个初始问题描述；）一个初
27、始问题描述；v（2 2）一套把问题变换为子问题的操作符；）一套把问题变换为子问题的操作符；v（3 3）一套本原问题描述。）一套本原问题描述。问题规约法图解问题规约法图解梵塔难题梵塔难题v有有3 3个柱子个柱子(1(1，2 2，3)3)和和3 3个不同尺寸的圆盘个不同尺寸的圆盘(A(A，B B，C)C)。在每个圆盘的中心有个孔，所以圆盘可以堆叠。在每个圆盘的中心有个孔，所以圆盘可以堆叠在柱子上。在柱子上。v最初，全部最初，全部3 3个圆盘都堆在柱子个圆盘都堆在柱子1 1上：最大的圆盘上：最大的圆盘C C在底部，最小的圆盘在底部，最小的圆盘A A在顶部。在顶部。v要求把所有圆盘都移到柱子要求把所有
28、圆盘都移到柱子3 3上，上，每次只许移动一每次只许移动一个个，而且只能，而且只能先搬动柱子顶部的圆盘，还不许把尺先搬动柱子顶部的圆盘，还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上寸较大的圆盘堆放在尺寸较小的圆盘上。v这个问题的初始配置和目标配置如图所示。这个问题的初始配置和目标配置如图所示。梵塔难题梵塔难题(a)初始状态(b)目标状态分析分析v原始问题归约（简化）为三个子问题原始问题归约（简化）为三个子问题1、移动、移动A，B盘至柱子盘至柱子2的双圆盘难题的双圆盘难题2、移动圆盘、移动圆盘C至柱子至柱子3的单圆盘问题的单圆盘问题3、移动、移动A，B盘至柱子盘至柱子3的双圆盘难题的双圆盘难题分析
29、分析v可以用状态空间表示的三元组合可以用状态空间表示的三元组合(S、F、G)来规定与描述问题；对于梵塔问题，子问来规定与描述问题；对于梵塔问题，子问题（题（111）(122)，(122)(322)以及以及(322)(333)规定了最后解答路径规定了最后解答路径将要通过的脚踏石状态将要通过的脚踏石状态(122)和和(322)。具体解题过程具体解题过程与或图与或图v一般地，我们用一个类似图的结构来表示一般地，我们用一个类似图的结构来表示把问题归约为后继问题的替换集合，这种把问题归约为后继问题的替换集合，这种结构图叫做结构图叫做问题归约图问题归约图，或叫，或叫与或图与或图。与或图表示与或图表示例如，
30、设想问题例如，设想问题A A需要由求解问题需要由求解问题B B、C C和和D D来决定，那么来决定，那么可以用一个与图来表示可以用一个与图来表示 (左图左图)同样，一个问题同样，一个问题A A或者由求解问题或者由求解问题B B、或者由求解问题、或者由求解问题C C来决定，则可以用一个或图来表示来决定，则可以用一个或图来表示(右图右图)与或图表示与或图表示与或图的一些术语与或图的一些术语v如果某条弧线从节点a指向节点b，那么节点a叫做节点b的父辈节点；节点b叫做节点a的后继节点或后裔；v或节点，只要解决某个问题就可解决其父辈问题的节点集合；v与节点，只有解决所有子问题，才能解决其父辈问题的节点集
31、合；v弧线，是父辈节点指向子节点的圆弧连线；v终叶节点，是对应于原问题的本原节点.举例57与或图构成规则(1)与或图中的每个节点代表一个要解决的单一问题或问题集合。与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对应于原始问题。图中所含起始节点对应于原始问题。(2)对应于本原问题的节点，叫做终叶节点，它没有后裔。对应于本原问题的节点，叫做终叶节点，它没有后裔。(3)对于把算符应用于问题对于把算符应用于问题A的每种可能情况，都把问题变换为的每种可能情况，都把问题变换为一个子问题集合；有向弧线自一个子问题集合；有向弧线自A 指向后继节点表示所求得的子指向后继节点表示所求得的子
32、问题集合。问题集合。(4)一般对于代表两个或两个以上子问题集合的每个节点，有向一般对于代表两个或两个以上子问题集合的每个节点，有向弧线从此节点指向此子问题集合中的各个节点。由于只有当集弧线从此节点指向此子问题集合中的各个节点。由于只有当集合中所有的项都有解时，这个子合中所有的项都有解时，这个子 问题的集合才能获得解答，所问题的集合才能获得解答，所以这些子问题节点叫做与节点。以这些子问题节点叫做与节点。(5)在特殊情况下，当只有一个算符可应用于问题在特殊情况下，当只有一个算符可应用于问题A，而且这个，而且这个算符产生具有一个以上子问题的某个集合时，由上述规则算符产生具有一个以上子问题的某个集合时
33、，由上述规则3和规和规则则4所产生的图可以得到简化。因此，代表子问题集合的中间或所产生的图可以得到简化。因此，代表子问题集合的中间或节点可以被略去。节点可以被略去。58585858作业 P54 2-5 试用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。谓词逻辑法知识补充谓词逻辑法知识补充-命题逻辑命题逻辑v命题逻辑v 逻辑主要研究推理过程，而推理过程必须依靠命题来表达。v 在命题逻辑中，“命题”被看作最小单位。数理逻辑中最基本、最简单的部分。命题逻辑命题逻辑v什么是命题？v命题是陈述客观外界发生事情的陈述句。v命题是或为真或为假的陈述句。命题是或为真或为假的陈述句。v特征：v陈述句
34、v真假必居其一,且只居其一.命题逻辑命题逻辑v例1 下列句子是命题吗？v 8小于10.v 8大于10.v 任一个5的偶数可表示成两个素数的和.v答：是命题逻辑v例2 下列句子是命题吗？v 8大于10吗?v 请勿吸烟.v X大于Y.v 我正在撒谎.v 悖论v答：不是命题逻辑命题逻辑v命题的抽象v 以p、q、r等表示命题。v 以1表示真，0表示假。v则命题就抽象为：取值为取值为0或或1的的p等符号等符号。v 若p取值1，则表示p为真命题；v 若p取值0，则表示p为假命题；命题逻辑命题逻辑v“复杂命题”v例3:由简单命题能构造更加复杂命题v(1)期中考试,张三没有考及格.v(2)期中考试,张三和李四
35、都考及格了.v(3)期中考试,张三和李四中有人考90分.v(4)如果张三能考90分,那么李四也能考90分.v(5)张三能考90分当且仅当李四也能考90分.命题逻辑命题逻辑v联结词和复合命题v 上述诸如“没有”、“如果 那么”等连词称为联结词。v 由联结词和命题连接而成的更加复杂命题称由联结词和命题连接而成的更加复杂命题称为复合命题；相对地，不能分解为更简单命题的为复合命题；相对地，不能分解为更简单命题的命题称为简单命题。命题称为简单命题。v 复合命题的真假完全由构成它的简单命题的真假所决定。v注：简单命题和复合命题的划分是相对的。命题逻辑命题逻辑v否定联结词v 定义1：设设p为一个命题为一个命
36、题,复合命题复合命题“非非p”称为称为p的否定式，记为的否定式，记为p，“”称为否定联结词.“p”为真当且仅当p为假。v v例3中,若p代表“期中考试张三考及格了”，v则(1)“期中考试,张三没有考及格.”可表示为p.命题逻辑命题逻辑v合取联结词v 定义2 设设p、q为两个命题，复合命题为两个命题，复合命题“p而且而且q”称为称为p、q的合取式，记为的合取式，记为pq，“”称作合取联结词。pq真当且仅当p与q同时真.例3的(2)“期中考试,张三和李四都考及格了.”可记为pq,其中p代表“张三考及格”,q代表“李四考及格”.命题逻辑命题逻辑v析取联结词v 定义定义3 设设p、q为两个命题，复合命
37、题为两个命题，复合命题“p或者或者q”称为称为p、q的析的析取式，记为取式，记为pq，“”称作析取联结词称作析取联结词。p q为真当且仅当p与q中至少有一个为真.v例3的(3)“期中考试,张三和李四中有人考90分.”可记为p q,其中p代表“张三考90分”,q代表“李四考90分”。命题逻辑命题逻辑v“相容或相容或”与与“相异或相异或”v日常语言中“或”有两种标准用法,例如:v(1)张三或者李四考了90分.v(2)第一节课上数学课或者上英语课.v差异在于：v 当构成它们的简单命题都真时，前者为真，后者却为假。v前者称为“相容或”，后者称为“相异或”。v前者(“相容或”)可表示为pq，后者却不能。
38、v注意：不能见了或就表示为pq。命题逻辑命题逻辑v蕴涵联结词v 定义定义4 设设p、q为命题为命题,复合命题复合命题“如果如果p,则则q”称为称为p对对q的蕴涵式，记作的蕴涵式，记作p q,其中又称p为此蕴涵式的前件，称q为此蕴涵式的后件，“”称为蕴涵联结词。“p q”假当且仅当p真而q假.vpq这样的真值规定有其合理性，也有人为因素。在自然语言中，”如果.“与”“那末.”之间常常是有因果联系的否则就没有意义，但对命题P-Q来说，只要P,Q能够分别确定真值，P-Q即成为命题。此外，自然语言中对“如果.，则.”这样的语句，当前提为假时，结论不管真假，整个 语句的真假无法判断。而在条件命题中，规定
39、为“善意的推定”，即前提为F时，条件命题的真值都取为T.如果雪是黑的，那末太阳从西方出如果雪是黑的，那末太阳从西方出在自然语言中，”如果.“与”“那末.”之间常常是有因果联系的否则就没有意义，但对命题P-Q来说，只要P,Q能够分别确定真值，P-Q即成为命题。此外，自然语言中对“如果.，则.”这样的语句，当前提为假时，结论不管真假，整个 语句的真假无法判断。而在条件命题中，规定为“善意的推定”，即前提为F时，条件命题的真值都取为T.如果雪是黑的，那么太阳从西方出如果雪是黑的，那么太阳从西方出命题逻辑命题逻辑v等价联结词v 定义定义5 设设p、q为命题为命题,复合命题复合命题“p当且仅当且仅当当q
40、”称作称作p、q的等价式的等价式,记作记作pq,“”称作等价联结词。vpq真当且仅当p、q同时为真或同时为假.命题逻辑命题逻辑v注意v 上述五个联结词来源于日常使用的相应词汇,但并不完全一致，在使用时要注意：v 以上联结词组成的复合命题的真假值一定要根据它们的定义去理解,而不能据日常语言的含义去理解。v 不能“对号入座”，如见到“或”就表示为“”。v 有些词也可表示为这五个联结词，如“但是”也可表示为“”。v 在今后我们主要关心的是命题间的真假值的关系,而不讨论命题的内容.命题逻辑命题逻辑v命题符号化v例4 将下列命题符号化:v(1)铁和氧化合,但铁和氮不化合.v(2)如果我下班早,就去商店看
41、看,除非我很累.v(3)李四是计算机系的学生,他住在312室或313室.命题逻辑命题逻辑v解（解（1）铁和氧化合）铁和氧化合,但铁和氮不化合但铁和氮不化合.vp(q)，其中，其中:vp代表代表“铁和氧化合铁和氧化合”，vq代表代表“铁和氮化合铁和氮化合”。v （2）如果我下班早）如果我下班早,就去商店看看就去商店看看,除非我很除非我很累累.v(P)q)r，其中，其中:vp代表代表“我很累我很累”,vq代表代表“我下班早我下班早”,vr代表代表“我去商店看看我去商店看看”命题逻辑命题逻辑（3）李四是计算机系的学生）李四是计算机系的学生,他住在他住在312室或室或313室室.vp(qr)(qr)，
42、其中：，其中：vp代表代表“李四是计算机系学生李四是计算机系学生”,vq代表代表“李四住李四住312室室”,vr代表代表“李四住李四住313室室”.v还可表示为：还可表示为：vp(q(r)(q)r)命题逻辑命题逻辑命题公式及其解释命题公式及其解释原子公式原子公式：单个命题变元、单个命题常元称为原子：单个命题变元、单个命题常元称为原子公式。公式。命题公式命题公式：由如下规则生成的公式称为命题公式：由如下规则生成的公式称为命题公式：1.1.单个原子公式是命题公式。单个原子公式是命题公式。2.2.若若A,BA,B是命题公式，则是命题公式，则A,AA,A B,AB,A B,A B,A B,A B,A
43、B B是公式。是公式。3.3.所有命题公式都是有限次应用所有命题公式都是有限次应用1 1、2 2得到的符号串。得到的符号串。命题逻辑命题逻辑命题公式的命题公式的解释解释：给命题公式中的每一个命题变元：给命题公式中的每一个命题变元指定一个真假值，这一组真假值，就是命题公式的指定一个真假值，这一组真假值，就是命题公式的一个解释。用一个解释。用I I表示。表示。例如：公式例如：公式G=(G=(A A B)B)C C 的一个解释是：的一个解释是：I I1 1(G)=A/T,B/F,C/T(G)=A/T,B/F,C/T 在解释在解释I I1 1(G)(G)下下G G为真。为真。永真公式与永假公式永真公式
44、与永假公式：如果公式在它所有的解释：如果公式在它所有的解释I I下，其值都为下，其值都为T T，则称公式，则称公式G G为恒真的；如果其值都为恒真的；如果其值都为为F F，则称公式，则称公式G G为恒假的（不可满足的）。为恒假的（不可满足的）。命题逻辑命题逻辑注意：注意：关于五个联结词的约定关于五个联结词的约定：*结合力的强弱顺序：结合力的强弱顺序：，*联结词相同时，从左至右运算。联结词相同时，从左至右运算。解释的个数解释的个数：如果一个公式：如果一个公式G G中有中有n n个不同的原子公式个不同的原子公式（或简称原子），则（或简称原子），则G G有有2 2n n个不同的解释，于是个不同的解释
45、，于是G G在在2 2n n个解释下有个解释下有2 2n n个真值。如果将这些真值和它们的解释个真值。如果将这些真值和它们的解释列成表，就是列成表，就是G G的真值表。的真值表。命题逻辑命题逻辑等价命题公式等价命题公式 如果两个命题公式所含原子公式相同，且在任一解释如果两个命题公式所含原子公式相同，且在任一解释下，两个命题公式的值相同下，两个命题公式的值相同，则称这两个命题公式为等价，则称这两个命题公式为等价命题公式或等价公式。常用的等价公式有：命题公式或等价公式。常用的等价公式有：1.(P Q)=(P Q)(Q P)2.(P Q)=(P Q)3.(P)=P4.交换律：P Q=Q P P Q=
46、Q P7.泛界律：P F=P,P T=P P F=F,P T=T 8.互余律：P P=T,P P=F9.德 摩根定律：(P Q)=P Q (P Q)=P Q5.结合律：P(Q R)=(P Q)R P (Q R)=(P Q)R6.分配律：P(Q R)=(P Q)(P R)P (Q R)=(P Q)(P R)命题逻辑命题逻辑证明两个公式等价，可用真值表，也可用基本公式。证明两个公式等价，可用真值表，也可用基本公式。例如例如 要证明公式要证明公式 P Q=Q P证 P Q=P Q=P (Q)=(Q)P=Q P命题逻辑命题逻辑永真蕴涵式永真蕴涵式 若命题公式若命题公式G G H H是恒真的是恒真的，称
47、其为永真蕴涵式。，称其为永真蕴涵式。记为记为G GH H，读做，读做“G G蕴涵蕴涵H”H”，也称，也称“G G是是H H的逻辑结的逻辑结果果”。永真蕴涵式永真蕴涵式常用的永真蕴涵式：1.P P Q 证P P Q=P (P Q)=P P Q=T Q=T2.P Q P证P Q P=(P Q)P=P Q P=T Q=T3.P (P Q)Q4.(P Q)Q P5.P(P Q)Q6.(P Q)(Q R)(P R)7.(P Q)(Q R)(P R)8.(P Q)(R S)(P R Q S)9.(P Q)(Q R)(P R)在命题逻辑中有一个三段论法：在命题逻辑中有一个三段论法：P:“P:“所有的人都会犯
48、错误所有的人都会犯错误”Q:“Q:“张三是人张三是人”R:“R:“张三会犯错误张三会犯错误”R R应该是应该是P P和和Q Q的的逻辑结论逻辑结论。但在命题逻辑中无法准确表。但在命题逻辑中无法准确表达这三个命题的逻辑关系达这三个命题的逻辑关系。为准确表达此类公式，必须引进谓词和量词的概念为准确表达此类公式，必须引进谓词和量词的概念。因为因为(P(P Q)Q)R R 不是恒真不是恒真的。如：解释的。如：解释:I=P/T,Q/T,R/F I=P/T,Q/T,R/F 则公式为假值则公式为假值F.F.就是说解释就是说解释I I 弄假了此公弄假了此公式。式。命题逻辑命题逻辑命题逻辑与谓词逻辑命题逻辑与谓
49、词逻辑v命题逻辑虽能够把客观世界的各种实事表命题逻辑虽能够把客观世界的各种实事表示为逻辑命题，但具有很大局限性，即不示为逻辑命题，但具有很大局限性，即不适合表达比较复杂的问题；而谓词逻辑则适合表达比较复杂的问题；而谓词逻辑则允许我们表达那些无法用命题逻辑表达的允许我们表达那些无法用命题逻辑表达的事情事情.谓词逻辑法谓词逻辑法 谓词逻辑法谓词逻辑法采用采用谓词合式公式谓词合式公式和和一阶谓一阶谓词演算词演算把要解决的问题变为一个有待证把要解决的问题变为一个有待证明的问题明的问题,然后采用然后采用消除定理消除定理和和消除反演消除反演来来证明一个新语句是从已知的正确语句证明一个新语句是从已知的正确语
50、句导出的导出的,从而证明新语句也是正确的从而证明新语句也是正确的.谓词谓词v1.31.3是质数是质数v2.2.王二生于武汉市王二生于武汉市v3.7=23.7=2 3 3 x x是质数是质数x x生于武汉市生于武汉市x=y x=y z zF(x)F(x)G(x,y)G(x,y)H(x,y,z)H(x,y,z)称称“3”3”、“王二王二”、“武汉市武汉市”、“7”7”、“2”2”、“3”3”为个体为个体;“是质数是质数”、“生于生于”、“=.=.”都是谓词。都是谓词。谓词谓词v谓词：谓词：用来刻画个体词的性质或个体词之间关系的用来刻画个体词的性质或个体词之间关系的词词 v例如例如:张三是研究生，李
