清华大学《人工智能导论》课程电子教案(二).pptVIP

第四章 谓词演算及应用 是一种形式语言，具有严密的理论体系 是一种常用的知识表示方法 例： City（北京） City（上海） Age（张三，23） (?x)(? y)(? z)(F(x, y)?F(y, z)?GF(x, z) 4.1 归结原理 归结原理是一种定理证明方法，1965年由Robinson提出，从理论上解决了定理证明问题。 归结原理的提出，对机器定理证明问题起到了推动作用。 子句集 无量词约束 元素只是文字的析取 否定符只作用于单个文字 元素间默认为合取 例：{~I(z)?R(z), I(A), ~R(x) ?L(x), ~D(y)} 化子句集的方法 例：(?z) (?x)(?y){[(P(x) ?Q(x)) ?R(y)] ?U(z)} 1, 消蕴涵符 理论根据：a ?b = ~a ?b (?z) (?x)(?y){[~(P(x) ?Q(x)) ? R(y)] ?U(z)} 2, 移动否定符 理论根据：~(a ?b) = ~a ?~b ~(a ?b) = ~a ?~b ~(?x)P(x)=(?x)~P(x) ~(?x)P(x)=(?x)~P(x) (?z) (?x)(?y){[(~P(x) ?~Q(x)) ? R(y)] ?U(z)} 化子句集的方法（续1） 3, 变量标准化 即：对于不同的约束，对应于不同的变量 (?x)