人工智能03-精品·公开课件.pptVIP

安徽大学 计算机科学与技术学院 人工智能 主讲: 李龙澍 EMail:lilongshu@126.com 第二章 知识表示与推理 2.1 知识表示的一般方法 2.2 图搜索策略 2.3 一般搜索与推理技术 2.4 A*算法 2.5 消解原理 2.6 规则演义系统 2.7 产生式系统 2.8 系统组织技术 2.5 消解原理 回顾： 原子公式（atomic formulas） P(x), Q(x,y) 文字—一个原子公式及其否定。 ～P(x), R(x,y,z) 子句—由文字的析取组成的合适公式。 P(x)∨~Q(x,y) 消解—对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 例子: 将下列谓词演算公式化为一个子句集 (?x){ P(x)? {(?y)[P(y)?P(f(x,y))]∧～(?y)[Q(x,y)?P(y)]} } (2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (3) 对变量标准化 对哑元（虚构变量）改名，以保证每个量词有其自己唯一的哑元。 (4) 消去存在量词 以Skolem函数代替存在量词内的约束变量，然后消去存在量词。 在全称量词辖域内的存在量词，它是依赖于全称量词的函数，这