- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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语言的缺点
不带有函数,建模能力差,较难以描述现实世界中的实际问题。
您可能关注的文档
- HC110310001HCNA-Security-CBSN第一章网络安全概述V2.0选编.ppt
- HC110310012HCNA-SecurityCBSN第十二章终端安全技术V2.0选编.pptx
- Happy哈皮运动探索乐园(选址)选编.pptx
- HCT-B5安全操作规程选编.docx
- HDMICEC-ARC功能介绍_技术培训选编.ppt
- HACH9245Na原理安装和校以及准常见问题选编.ppt
- HappyMid-AutumnFestivalPPT选编.pptx
- HDMH5-36-10门机说明书选编.doc
- HeinOnline使用手册2009选编.ppt
- HDX6000培训文档选编.ppt
文档评论(0)