人工智能基础第三章确定性知识表示.pptxVIP

第三章0确定性知识表示ORJECT3.1知识表示的基本概念3.2谓词逻辑表示法3.3生产式表示法3.4语义网络表示法3.5框架表示法3.6面向对象表示法

1

确定性知识表示23.1知识表示的基本概念1.知识的定义（1）Feigenbaum：知识是经过消减、塑造、解释、选择和转换的信息。（2）Bernstein：知识是由特定领域的描述、关系和过程组成的。（3）Heyes-Roth：知识=事实+信念+启发式。2.知识的类型（1）按知识的适用范围划分。按照知识的适用范围，知识可分为常识性知识和领域性知识。（2）按知识的信息加工观点划分。按照知识的信息加工观点或者知识的作用效果，知识可分为陈述性知识、程序性知识和策略性知识。（3）按照知识的确定性划分，知识可分为确定性知识和不确定性知识。3.1.1知识的概念

确定性知识表示33.1知识表示的基本概念3.1.2知识表示和知识表示方法的概念知识表示的概念表示能力可利用性可组织性与可维护性可实现性自然性与可理解性知识表示方法又称知识表示技术，其表示形式称为知识表示模式。对确定性知识表示，常用的表示模式可分为结构化方法和非结构化方法两大类。其中，非结构化方法主要包括谓词逻辑表示法和产生式表示法等；结构化方法主要包括语义网络表示法、框架表示法和面向对象表示法等。此外，状态空间法也是一种知识表示方法，但由于它与搜索联系更紧密，因此我们将其放在搜索部分讨论。

确定性知识表示43.2谓词逻辑表示法3.2.1谓词逻辑表示的逻辑学基础1.命题与真值定义3.1一个陈述句称为一个断言，具有真假意义的断言称为命题。命题的意义通常称为真值，它只有真、假两种情况。当命题的意义为真时，则称该命题的真值为真，记为T；反之，则称该命题的真值为假，记为F。在命题逻辑中，命题通常用大写的英文字母表示。

确定性知识表示53.2谓词逻辑表示法3.2.1谓词逻辑表示的逻辑学基础1.命题与真值定义3.1一个陈述句称为一个断言，具有真假意义的断言称为命题。命题的意义通常称为真值，它只有真、假两种情况。当命题的意义为真时，则称该命题的真值为真，记为T；反之，则称该命题的真值为假，记为F。在命题逻辑中，命题通常用大写的英文字母表示。

确定性知识表示63.2谓词逻辑表示法3.2.1谓词逻辑表示的逻辑学基础2.论域和谓词论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体，论域也常称为个体域。在谓词逻辑中，命题是用谓词表示的。一个谓词可分为谓词名和个体两部分。其中，个体是命题中的主语，用来表示某个独立存在的事物或者某个抽象的概念；谓词名是命题的谓语，用来表示个体的性质、状态或个体之间的关系等。

确定性知识表示73.2谓词逻辑表示法3.2.1谓词逻辑表示的逻辑学基础2.论域和谓词论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体，论域也常称为个体域。在谓词逻辑中，命题是用谓词表示的。一个谓词可分为谓词名和个体两部分。其中，个体是命题中的主语，用来表示某个独立存在的事物或者某个抽象的概念；谓词名是命题的谓语，用来表示个体的性质、状态或个体之间的关系等。

确定性知识表示83.2谓词逻辑表示法3.2.1谓词逻辑表示的逻辑学基础3.连接词和量词一阶谓词逻辑共有5个连接词和2个量词。由于命题逻辑可看成谓词逻辑的一种特殊形式，因此谓词逻辑中的5个连接词也都适用于命题逻辑，但2个量词仅适用于谓词逻辑。（1）连接词。连接词是用来连接简单命题，并由简单命题构成复合命题的逻辑运算符号。（2）量词。量词是由量词符号和被其量化的变元所组成的表达式，用来对谓词中的个体做出量的规定。

确定性知识表示93.2谓词逻辑表示法3.2.2谓词逻辑表示的方法当用谓词逻辑表示知识时，首先需要根据所表示的知识定义谓词，然后再用连接词或量词把这些谓词连接起来，形成一个谓词公式。例3.1用谓词逻辑表示知识“所有教师都有自己的学生”。解：首先定义谓词T(x)：表示x是教师。S(y)：表示y是学生。TS(x,y)：表示x是y的老师。然后将该知识用谓词表示如下：(x)(y)(T(x)→TS(x,y)∧S(y))该谓词公式可读为：对所有x，如果x是一名教师，那么一定存在一个个体y，x是y的老师，且y是一个学生。

确定性知识表示103.2谓词逻辑表示法3.2.2谓词逻辑表示的方法例3.2用谓词逻辑表示知识“所有的整数若不是偶数，就是奇数”解：首先定义谓词I(x