Horn子句与Prolog语言简介选编.ppt

  1. 1、本文档共9页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Horn子句与Prolog语言简介选编

一阶逻辑公式 优点:表示方法具有表达力强,表示方便等优点。 缺点: 不够规范化 不够简洁 从而不利于其在计算机中的使用与处理,因此需要对这种形式做规范化,从而形成一阶逻辑公式的: 子句形式 Horn子句形式。;定义6.4(子句): 具有如下形式的公式被称为子句: A1 ∧ A2 ∧ … ∧ AK → AK+1 ∨ AK+2 ∨ … ∨ An 也可以将其简写为: AK+1 ,AK+2 ,… ,An :- A1 ,A2 ,… ,AK 其中Ai为原子公式。在该子句中,A1 ,A2 ,… ,AK被成为前件,AK+1 ,AK+2 ,… ,An被称为后件。在前件和后件中的 ‘,’分别表示不同的逻辑运算符。;子句表示形式单一,非常适合于在计算机中使用,也易于作知识推理。但利用子句作推理会引起推理结论的不确定性,为解决此问题,瑞士数学家Horn将其改造成为一种更简单的形式,即Horn子句。 定义6.5( Horn子句): 具有如下形式的公式被称为Horn子句: An :- A1 ,A2 ,… ,AK 由于Horn子句的后件是单一的,因此利用Horn子句做推理可以得到确定的推理结论。 不同的Horn子句可以有完全相同的一组前件。因此,同样一组前件利用不同的Horn子句可以推理得到多个不同的结论。;几种不同形式的Horn子句;例如: r:- p, s  s:- p, q p:- , q:-。 现在要问r是否成立?;(1) r:- p, s  (2) s:- p, q (3) p:- (4) q:- (5) :-r (6) s:- q 由(2)(3)归结 (7) s:- 由(4)(6)归结 (8) r:- s 由(1)(3)归结 (9) r:- 由(7)(8)归结 (10) :- 由(5)(9)归结;例如: (1) Cousin(x, y):- Parent(u, x), Parent(v, y), Brother(u, v) (2) Parent(贾政,贾宝玉):- (3) Parent(贾敏,林黛玉):- (4) Brother(贾政,贾敏):- (5):- Cousin(贾宝玉,y) (6) Parent(u, 贾宝玉), Parent(v, y), Brother(u, v) (1)(5)归结 贾宝玉/x (7) Parent(v, y), Brother(贾政, v) (2)(6)归结 贾政/u (8) Parent(贾敏, y) (4)(7)归结 贾敏/v (9) :- (3)(8)归结 林黛玉/y 得出了贾宝玉与林黛玉是Cousin的关系。 ;Prolog语言 Prolog是一种基于一阶谓词的逻辑程序设计语言,它在AI和知识库的实现技术中具有十分重要的作用。 Prolog语言是基于Horn子句的,使用归结推理,具有很强的逻辑描述能力和推理能力。 Prolog语言的特点 一阶逻辑的语言形式是形式化地严格定义的; 一阶逻辑的语法十分简单易懂; 逻辑公式不需重复表达,与不同应用无关; 事实、假设、推理、查询、视图和完整性约束条件都能以基于一阶逻辑的Prolog语言表达; 逻辑语言Prolog可作为定义和比较其它知识表示模型的共同基础。;Datalog语言 是一种纯Horn子句语言,在数据库理论中应用很广。 Datalog语言的优点 克服Prolog语言的缺点:表示方法不够规范,不宜在计算机中使用和处理; 适合于处理具有大容量的数据和知识; 可以改善递归查询算法。 Datalog语言的缺点 不带有函数,建模能力差,较难以描述现实世界中的实际问题。

文档评论(0)

jiayou10 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:8133070117000003

1亿VIP精品文档

相关文档