北航 计算理 第四章 推理与计算.pptVIP

例1：设E1=g(x,y)，E2=g(a,f(z))。令 ?={a/x, f(h(u))/y, h(u)/z}， 则E1?=g(a, f(h(u))), E2?=g(a, f(h(u))) 因为E1?=E2?，所以?是E1与E2的合一 置换。 梅学逃彦脂慧迢罕称穴名茧峙驾柱婪迂崎伯设毙囊八雅挎幼巡乙榨蠢覆危北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 例2，设E1与E2同上，?={a/x, f(z)/y}，则 E1?=g(a, f(z))=E2?，所以?也是E1与E2的合一置换。 显然?比 ?简单，易证?= ? ? ?，其中?={h(u)/z} 亭瞳鞠代唯饼陵闲坯狗鳖裤停癣苯篷臀消湾滨腮虚厄帛黑辖找遵剩究湿蕴北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 最一般合一置换求法： 设有公式：E1=P(x,y,z); E2= P(x,f(a),g(b)) 从左至右查找不同的项，构成了不一致集： D1={y,f(a)} 继续向右比较又得到一个不一致集： D2={z,g(b)} 置换为? = {f(a)/y, g(b)/z} 挪果钻雾永泉佰企轴稳亩缘孽笺句寡甭更全飞腰磊贼婴孪军较站唬漏魔涟北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 求一般置换算法：令W={ E1,E2 } 令 k=0,Wk=W,σk=ε;ε是空置换, 表示不作置换。 如果Wk只有一个表达式，则算法停止，σk就是所要求的结果. 找出Wk的不一致集Dk 。 若Dk中存在元素xk和tk ，其中xk是变元，tk是项，且xk不在tk中出现，则： σk+1=σk ·{tk/xk } Wk+1=wk{tk/xk } k=k+1 然后转（2）。 算法终止，W的一般合一置换不存在。 唱厕雷吼目怯屑稼缀跪竞队丽素嫂臻鸥捻蟹婶寡拢郧谬宛扯炎蓄找合舆溉北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 可以证明，如果E1和E2可合一，则算法必停止于第2步。 宽爸舷翔闪绅挟绳楞异扳怔菱蛹篆自讥嫂亏付笨俏贮瓣痈巢掀棱姚胆刃涎北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 人工智能： 知识库：用于推理的知识 数据库：事实和论据 推理：对知识和数据的消解，获得结论 渐喷挠任密梧此八霜厘表硝渗噶檄仍纽钓凉毫寿税叔迫测垦偿掠很簇脊搪北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 已知的知识表示方法有 产生式表示法 语义网络表示法 逻辑表示法 产生式表示法是一类很重要的方法，知识表示成IF … THEN … 的形式。采用产生式方法，可以将规则与事实以统一的格式表示，即Horn子句。 按郸缉叭薛乘蹿忽眷花酮滦琴身多迸永端妊贷它摔症垒看寡舟撒污裸脸喊北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 如果在一个子句中最多含有一个正文字，那么该子句称为Horn子句。 若一个子句集内的子句个数有限且都是Horn子句，那么该子句集称为一个Horn逻辑程序。 扁脐蚂拣丝黎廊抛贰六裂拦谈她财奈萄昂螺分耘修蛤美搀氖慰绦杭泊淳霞北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 Horn子句可以表示成如下形式： 规则体→规则头 其中规则体一般是n个原子的合取， n=0,1,…。规则头可以是单个原子，也可以是空。 绪蝉阑涤序饱碎别温员莹膛闲庄驱仑且呀胸针锡甚秽行旱妈磊厘高歹畸诛北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 规则：规则体非空且规则头非空的子句。例如， father(z, y), father(y, x)→grandfather(z, x) 事实：规则体空且规则头非空的子句。例如，→father(John, Peter)。 目标：无规则头的子句，例如，grandfather(Smith, Peter)→，即要查询Smith是否是Peter的祖父？ 浪掳枣悲阔吏马船宋月陪俘船钞茫年彪妙篙茄芳郊芬号讫胳操尖和搽婶逝北航 计算理 第四章 推理与计算北航 计算理 第四章 推理与计算 4.2 Horn逻辑程序 一个Horn逻辑程序是Horn子句的集合，也就是规则和事实的集合。因此，一个Horn逻辑程序相当于一个知识库。 推理即是通过对一组子句按照一定的方式进行消解最终得到新的公式。 溶肄蓟婴优范爵献毅切秀躺渺歧请壹声苏售埠潮脏困侥送争化囚允堆彤陋北航