安徽大学高级人工智能课件2.pptxVIP

人工智能;第二章 知识表示与推理;2.1 知识表示的一般方法;2.1 知识表示的一般方法;2.1 知识表示的一般方法;2.1 知识表示的一般方法;2.1 知识表示的一般方法;2.2 图搜索策略;2.2 图搜索策略;2.3 一般搜索与推理技术;2.4 A*算法;2.4 A*算法;2.4 A*算法;2.4 A*算法;2.4 A*算法;2.4 A*算法;实验1 A*算法实验 ;实验1 A*算法实验 ;2.5 消解原理; 例子:;(2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (3) 对变量标准化 对哑元（虚构变量）改名，以保证每个量词有其自己唯一的哑元。;(4) 消去存在量词 以Skolem函数代替存在量词内的约束变量，然后消去存在量词 化为前束形 把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。 前束形={前缀} {母式} 全称量词串 无量词公式;把母式化为合取范式 任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取的有限集组成的合取。 (7) 消去全称量词 所有