08一阶逻辑推理-浙江大学-控制科学与工程学院.PDFVIP

人工智能概论人工智能概论人工智能概论人工智能概论 主讲：张建明（控制系） E-mail: jmzhang@iipc.zju.edu.cn MMobilbile:1358801172013588011720 杭州杭州• 浙江大学浙江大学• 1 回顾回顾：一阶逻辑阶逻辑  引进一阶逻辑的背景：命题逻辑无法用简明 的形式表示复杂环境的知识的形式表示复杂环境的知识  主要内容 • 表示方法的回顾 • 一阶逻辑的语法和语义阶逻辑的语法和语义 • 使用一阶逻辑 • 一阶逻辑中的知识工程阶逻辑中的知识工程 2 回顾回顾：一阶逻辑阶逻辑  知识表示语言应该是陈述性的、可合成的、有表达 能力的、与上下文无关的，以及无歧义的。  一阶逻辑对于对象和关系的存在进行限定，因而获 得比命题逻辑更强的表达能力  一阶逻辑的基本概念：对象、关系和函数  在在一阶逻辑中开发知识库是阶逻辑中开发知识库是一个细致的过程个细致的过程，，包括包括 对域进行分析、选择词汇表、对支持所需推理必不 可少的公理进行编码。 3 一阶逻辑推理阶逻辑推理  存在量词的处理—— 实例化  全称量词的处理全称量词的处理—— 合合一  广义假言规则 • 前向链推理 •• 反向链推理反向链推理  归结推理规则 4 存在量词实例化存在量词实例化 对于任意语句的α，变量v ，以及从未在知识库中出现过的常 量符号k 有： v  SUBSTSUBST {{vv // kk }},  例如： 经过置换后可 x Crown(x) OnHead(x , John) 得得 Crown(C ) OnHead(C ,John) 1 1 存在量词实例化只能应用一次，将存在量词替换掉 新的新的KBKB与老的与老的KBKB不等价不等价 当且仅当老的KB是可满足的时候,新的KB才是可满足的 5 全称量词实例化全称量词实例化 （（UIUI）） 对于任意变量v和基项g有： vv  SUBST {v / g},  例如：x King (x ) Greedy (x ) Evil (x ) 经过置换后可得 King (John ) Greedy (John ) Evil (John ) King (Richard ) Greedy (Richard ) Evil (Richard ) King (Father (John)) Greedy (Father (John)) Evil (Father (John))  全称量词可多次实例化得到多个不同的结果