人工智能第3章基于谓词逻辑的机器资料.pptVIP

第3章 基于谓词逻辑的机器推理 3.1 一阶谓词逻辑 3.2 归结演绎推理 3.3 应用归结原理求取问题答案 3.4 归结策略 3.5 归结反演程序举例 3.6 Horn子句归结与逻辑程序 3.1 一阶谓词逻辑 3.1.1 谓词、函数、量词 谓词 A(x1,x2,…,xn): 个体域 Di 个体变元xi 设i=1,2,…n 个体常元 ai ∈ Di 论述域D1,×D2 ×…×Dn 原子命题 A(a1,a2,…,an) 量词 命题常元(0元原子命题）：表示基本事实 例如 A: AI是一门专业基础课程 1元谓词：表示特定对象是否具有某种属性 例如 P(x): x是素数 P(2) n元谓词：表示n个对象之间是否具有某种关系 例如 F(x,y):x和y是朋友 F(张三，李四) “凡是人都有名字”： x (M(x)→N(x)) 例3.1 不存在最大的整数，我们可以把它翻译为 乛 x (G(x)∧ y(G(y)→D(x,y)) 或 x (G(x)→ y(G(y)∧D(y,x)) 例3.2 对于所有的自然数，均有x+yx