人工智能及其应用第2章 知识表示.ppt

第 2 章 知识表示 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.5 语义网络表示法 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.5 语义网络表示法 2.1.1 知识的概念 知识：在长期的生活及社会实践中、在科学研究及实验中积累起来的对客观世界的认识与经验。 知识：把有关信息关联在一起所形成的信息结构。 知识反映了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。 2.1.2 知识的特性 相对正确性 任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的。 2.1.2 知识的特性 可表示性与可利用性 知识的可表示性: 知识可以用适当形式表示出来，如用语言、文字、图形、神经网络等。 知识的可利用性: 知识可以被利用。 2.1.3 知识的分类 事实性知识：有关概念、事实、事物的属性及状态等。 过程性知识：有关系统状态变化、问题求解过程的操作、演算和行动的知识。 控制性知识（深层知识或元知识）：关于如何运用已有的知识进行问题求解的知识。 2.1.3 知识的分类 例如： 从北京到上海是乘飞机还是火车的问题表示如下： 事实性知识：北京、上海、飞机、时间、费用。 过程性知识：乘飞机、坐火车。 控制性知识：乘坐飞机较快、较贵；坐火车较慢、较 便宜。 2.1.3 知识的分类 确定性知识：可指出其真值为“真”或“假”的知识，是精确性的知识。 不确定性知识：具有不精确、不完全及模糊性等特性的知识。 2.1.4 知识的表示 知识表示（knowledge representation）：将人类知识形式化或者模型化。 知识表示是对知识的一种描述，或者说是一组约定，一种计算机可以接受的用于描述知识的数据结构。 选择知识表示方法的原则： 第2章 知识表示 2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法 2.3 产生式表示法 2.4 框架表示法 2.5 语义网络表示法 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 谓