人工智能第三章.pptVIP

第三章 知识表示 知识表示是研究用什么形式将有关问题的知识存入计算机，以便进行处理。 知识表示就是知识符号化的过程。 第三章 知识表示 谓词逻辑表示法 语义网络表示法 产生式规则表示法 框架表示法 概念从属表示法 剧本表示法 3.1 概 述 知识的分类 例 子 例如：从北京到上海，乘飞机还是乘火车？ 3.1.2 知识表示的方法 谓词逻辑表示法(FOL—First Order Logic) 3.1.2 知识表示的方法 3.1.2 知识表示的方法 3.2 逻辑表示法 3.2.1 谓词演算基础--一阶谓词逻辑 合式公式wff:谓词逻辑的合法表达式 合式公式类wffs(Well-formed formulas):合式公式的集合 合式公式由原子公式、连接词和量词组成。 命题逻辑基本概念 1．命题：命题是指一句有真假意义的话。命题一般用大写字母P，Q，P1，P2等表示。 2．析取：设P，Q是两个命题，命题“P或者Q”称为P，Q的析取，记以P∨Q。 3．合取：设P，Q是两个命题，命题“P并且Q”称为P，Q的合取，记以P∧Q。 4．蕴涵：设P，Q是两个命题，命题“如果P，则Q”称为P蕴涵Q，记以P→Q。 5．等价：设P，Q是两个命题，命题“P当且仅当Q”称为P等价于Q，记以P Q。 6．原子：命题符号称为原子。 命题逻辑基本概念 7．公式：命题逻辑中的公式，是