第5章基于谓词逻辑的机器推理导论.ppt

第3篇 知识与推理 概述 第5章 基于谓词逻辑的机器推理 第6章 基于产生式规则的机器推理 第7章 几种结构化知识表示及其推理 第8章 不确定性知识的表示与推理 概述 知识及其表示 ◆一些常用的知识表示形式： 一阶谓词逻辑、产生式规则、框架、语义网络、类和对象、模糊集合、贝叶斯网络、脚本、过程等。 机器推理 ◆演绎推理、归纳推理和类比推理 ◆不确定性推理和不确切性推理 ◆约束推理、定性推理、范例推理、非单调推理 第5章 基于谓词逻辑的机器推理 主要内容 1、 一阶谓词逻辑 2、归结演绎推理 3、应用归结原理求取问题答案 4、归结策略 5、Horn子句归结与逻辑程序 基于谓词逻辑的机器推理也称自动推理。它是人工智能早期的主要研究内容之一。一阶谓词逻辑是一种表达力很强的形式语言，而且这种语言很适合当前的数字计算机。因而就成为知识表示的首选。基于这种语言，不仅可以实现类似于人推理的自然演绎法自动推理，而且也可实现不同于人的归结（或称消解）法自动推理。本节主要介绍基于谓词逻辑归结演绎推理。 5.1 一阶谓词逻辑 5.1.1 谓词、函数、量词 命题：凡可确定真假的陈述句称为命题。 可以取值“真”（T）或“假”（F） 在一定的条件下，只能取其中一个值 例： （1）北京是中国的首都　√ （2）3 + 2 10　× （3）禁止吸烟 （祈使句） A(a1,a2,…,an)在谓词逻辑中就表示一个原子命题。 如：素数（2），表示命题“2是个素数”。 个体词 谓词 谓词：是用来刻画个体词的性质或个体词之间的关系的词（带参量的命题叫谓词） n 元谓词，P（x1, x2, x3, …, xn） P 是谓词符号，代表一个确定的特征（一个参量）或关系（多个参量） x1, x2, x3, …, xn 称为参量或项（个体常元或个体变元） 论述域（个体域）：个体变元的取值范围 例： 北京是一个城市 —— CITY（北京） x 是人 —— HUMAN（x） A是B的兄弟 ——兄弟（A，B） x 大于 y —— G（x，y） 不带个体变元的谓词公式叫命题，命题是谓词公式的特例 一般的 用F(a)表示个体常项a具有性质F（F是谓词常项或谓词变项）， 用F(x)表示个体变项x具有性质F。 而用F(a, b)表示个体常项a, b具有关系F， 用F(x, y) 表示个体变项x, y具有关系F。 函数 为了表达个体之间的关系，我们引入通常数学中函数的概念和记法。 例如我们用father(x)表示x的父亲，用sum(x,y)表示x和y之和，一般地，我们用如下形式： f(x1,x2, …,xn) 表示个体变元x1，x2，…，xn所对应的个体y，并称之为n元个体函数，简称函数（或函词、函词命名式）。有了函数的概念和记法，谓词的表达能力就更强了。例如，Doctor(father(Li))表示“小李的父亲是医生）。 我们约定： （1）用大写应为字母作为谓词符号； （2）用小写字母f，g，h等表示函数符号； （3）用小写字母x，y，z等作为个体变元符号； （4）用小写字母a，b，c等作为个体常元符号。 逻辑连接词：研究单个谓词是不够的，还必须研究多个谓词之间的关系，这需要引入逻辑连接词 ?：否定词 ?A读为“非A”，当A为真时， ?A为假，当A为假时， ?A为真 ∧：合取词 A ∧B读为“A并且B”，当且仅当A和B都为真时， A ∧B为真，否则A ∧B为假 ∨：析取词 A ∨ B读为“A或者B”，当且仅当A和B都为假时， A ∨ B为假，否则A ∨ B为真 →：蕴涵词 A → B读为“若A则B”，当且仅当A为真，且B为假时， A → B为假，否则A → B为真 在A → B中，A称为前件，B称为后件 ?：等值词 A ? B读为“A等值于B”，当且仅当A和B同为真或同为假时， A ? B为真，否则A ? B为假 量词 有些陈述句包含表示数量的词，如“所有”、“任一”、“存在”、“至少有一个”等，为了表示这样的陈述句，需引入新的符号，称为量词。 全称量词 ? （ ? x ）表示 “ 对于所有的 x … ” 例： 凡是人都有名字 —— （ ? x ）（M （x） → N（x）） （ ? x ）A（x）? A（a1）∧ A（a2） ∧… ∧ A（an），若论域为有限集合， 且a1、 a2、 … 、an是论域中的所有个体。 存在量词 ? （ ? x ）表示 “ 对于某个 x … ” 例： 存在不是偶数的整数 —— （ ? x ）（G （x） ∧ ? E（x）） （ ? x