人工智能导论第2章 知识表示.pptVIP

第 2 章 知识表示 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.1.1 知识的概念 知识：在长期的生活及社会实践中、在科学研究及实验中积累起来的对客观世界的认识与经验。 知识：把有关信息关联在一起所形成的信息结构。 知识反映了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。 2.1.2 知识的特性 1.相对正确性 任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的。 2.1.2 知识的特性 可表示性与可利用性 知识的可表示性: 知识可以用适当形式表示出来，如用语言、文字、图形、神经网络等。 知识的可利用性: 知识可以被利用。 2.1.3 知识的表示 知识表示（knowledge representation）：将人类知识形式化或者模型化。 知识表示是对知识的一种描述，或者说是一组约定，一种计算机可以接受的用于描述知识的数据结构。 选择知识表示方法的原则： 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.2 一阶谓词逻辑表示法 2.2.1 命题 2.2.2 谓词 2.2.3 谓词公式 2.2.4 谓词公式的性质 2.2.5 一阶谓词逻辑知识表示方法 2.2.6 一阶谓词逻辑表示法的特点 2.2.1 命题 命题（proposition）：一个非真即假的陈述句。 若命题的意义为真，称它的真值为真，记为 T。 若命题的意义为假，称它的真值为假，记为 F。 一个命题可在一种条件下为真，在另一种条件下为假。 2.2.2 谓词 谓词的一般形式： P (x1, x2,…, xn) 个体 x1, x2,…, xn ：某个独立存在的事物或者某个抽象的概念； 谓词名 P：刻画个体的性质、状态或个体间的关系。 2.2.2 谓词 （2）个体是变元（变量）：没有指定的一个或者一组个体。 2.2.3 谓词公式 1. 连接词（连词） （1）﹁： “否定” （ negation ）或 “非”。 （2）∨： “析取”（disjunction）——或。 （3）∧： “合取”（conjunction）——与。 2.2.3 谓词公式 1. 连接词（连词） （4）→：“蕴含”(implication)或 “条件”(condition)。 2.2.3 谓词公式 1. 连接词（连词） 2.2.3 谓词公式 2. 量词（quantifier） （1）全称量词（universal quantifier）（ x）：“对个体域中的所有（或任一个）个体 x ”。 2.2.3 谓词公式 全称量词和存在量词举例： 2.2.3 谓词公式 3. 谓词公式 定义2.2 可按下述规则得到谓词演算的谓词公式： 2.2.3 谓词公式 4．量词的辖域 量词的辖域：位于量词后面的单个谓词或者用括弧括起来的谓词公式。 约束变元与自由变元：辖域内与量词中同名的变元称为约束变元，不同名的变元称为自由变元。 2.2.4 谓词公式的性质 1. 谓词公式的解释 谓词公式在个体域上的解释：个体域中的实体对谓词演算表达式的每个常量、变量、谓词和函数符号的指派。 2.2.4 谓词公式的性质 2. 谓词公式的永真性、可满足性、不可满足性 2.2.4 谓词公式的性质 3. 谓词公式的等价性 2.2.4 谓词公式的性质 4. 谓词公式的永真蕴含 2.2.4 谓词公式的性质 谓词逻辑的其他推理规则 P规则：在推理的任何步骤上都可引入前提。 T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。 CP规则：如果能从任意引入的命题R和前提集合中推出S来，则可从前提集合推出R → S来。 2.2.4 谓词公式的性质 谓词逻辑的其他推理规则： ④ 反证法： ，当且仅当 ，即Q为P的逻辑结论，当且仅当 是不可满足的。 2.2.5 一阶谓词逻辑知识表示方法 谓词公式表示知识的步骤： （1）定义谓词及个体。 （2）变元赋值。 （3）用连接词连接各个谓词，形成谓词公式。 用一阶谓词表示： Occupant（Zhang ， 201） Oc