工智能及专家系统(敖志刚)第4章 逻辑的知识表示与推理.pptVIP

敖志刚 编制;敖志刚 编制;4．1 命题与逻辑 4．1．1 命题与命题定律 4．1．2 谓词逻辑 4．2 谓词逻辑知识表示 4．2．1 谓词逻辑知识表示方法 4．2．2 谓词逻辑表示的优缺点 4．3 逻辑推理的技术与算法 4．3．1 子句集及其化简 4．3．2 置换与合一 4．3．3 鲁滨逊消解(归结)原理;4．1 命题与逻辑 ;3. 定义;4. 真值表;5. 常用的等价命题定律;5. 常用的等价命题定律;⑹ 吸收律 ① P∧（P∨Q） P ② P∨（P∧Q） P ⑺ 联结词化规律 ① P→Q ～P∨Q ② P Q （P→Q）∧（Q→P） ③ P Q （P∧Q）∨（～P∧～Q） ⑻ 变换等价式 P （P∧Q）∨（P∧～Q） ;6. 永真蕴含式;7. 利用命题定律证明等价式;8. 示例 ;1．2 谓词逻辑 ;2. 量词 ;3. 量词的集合表示;4. 量词之间的关系;3. 含有量词的等价式 ;3. 含有量词的等价式;3. 含有量词的等价式;4. 定理证明;5. 谓词表达式的范式;4．2 谓词逻辑知识表示 ;2. 联结词和量词的应用;3. 谓词逻辑的一般表示方法 ;3. 谓词逻辑的一般表示方法;4.用谓词逻辑表示状态 ;4.用谓词逻辑表示状态 ;4.用谓词逻辑表示状态;4.用谓词逻辑表示状态;机器人问题的初始状态和目标状态;机器人的操作有三类 ;机器人行动规划问题的求解过程 ;5. 逻辑表示与推理 ;马科斯问题的逻辑表示;马科斯问题的证明过程 ;4．3 逻辑推理的技术与算法 ;2. 子句集的化简 ;2. 子句集的化简（1/6）;(2) 减少否定符号的辖域 反复使用双重否定率 ～(～P) ? P 摩根定律 ～(P∧Q) ?～P∨～Q ～(P∨Q) ?～P∧～Q 量词转换率 ～ (?x)P(x) ? (?x) ～P(x) ～ (?x)P(x) ? (?x)￢P(x) 将每个否定符号“～”移到仅靠谓词的位置，使得每个否定符号最多只作用于一个谓词上。 例如，上式经等价变换后为 (?x)((?y)～P(x，y)∨(?y)( Q(x，y) ∧～R(x，y))); (3) 对变元标准化 在一个量词的辖域内，把谓词公式中受该量词约束的变元全部用另外一个没有出现过的任意变元代替，使不同量词约束的变元有不同的名字。 例如，上式经变换后为 (?x)((?y)～P(x，y)∨(?z)( Q(x，z) ∧～R(x，z))) (4) 化为前束范式 化为前束范式的方法:把所有量词都移到公式的左边，并且在移动时不能改变其相对顺序。由于第(3)步已对变元进行了标准化，每个量词都有自己的变元，这就消除了任何由变元引起冲突的可能，因此这种移动是可行的。 例如，上式化为前束范式后为 (?x)(?y) (?z)(～P(x，y)∨( Q(x，z) ∧～R(x，z))); (5) 消去存在量词 消去存在量词时，需要区分以下两种情况： 若存在量词不出现在全称量词的辖域内（即它的左边没有全称量词），只要用一个新的个体常量替换受该存在量词约束的变元，就可消去该存在量词。 若存在量词位于一个或多个全称量词的辖域内，例如 (?x1)…(?xn) (?y)P(x1，x2 ,…, xn ,y) 则需要用Skolem函数f(x1，x2 ,…, xn)替换受该存在量词约束的变元y，然后再消去该存在量词。 例如，上步所得公式中存在量词(?y)和(?z)都位于(?x)的辖域内，因此都需要用Skolem函数来替换。设替换y和z的Skolem函数分别是f(x)和g(x)，则替换后的式子为 (?x)(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x)))); (6) 化为Skolem标准形 Skolem标准形的一般形式为 (?x1)…(?xn) M(x1,x2,……,xn) 其中， M(x1,x2,……,xn)是Skolem标准形的母式，它由子句的合取所构成。 把谓词公式化为Skolem标准形需要使用以下等价关系 P∨(Q∧R) ? (P∨Q)∧(P∨R) 例如，前面的公式化为Skolem标准形后为 (?x)((～P(x,f