Horn逻辑

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,HORN,子句,9/30/2024,1,HORN,子句逻辑,逻辑学家,Alfred Horn,定义,如果一个子句中最多有一个正文字，则称此子句为,Horn,子句；由,Horn,子句构成的子句集，称为,Horn,集。,三种类型的,Horn,子句,(1),一个单一原子,常被称为一个“事实”。,(2),一个蕴涵,常被称为一个“规则”,它的前件由一个肯定文字的合取组成，而它的后件由一个肯定的文字组成。,(3),一个否定文字的集合,写成带有一个由肯定文字的合取组成的前件和一个空后件的蕴涵形式。常称为一个“目标”。,Horn,集描述的知识（事实与规则）恰好是知识工程中经常使用的知识表示方式。,9/30/2024,2,Horn,子句,P,Q,1,Q,2,Q,n,通常表示为,P,Q,1,Q,2,Q,n,。,很显然，,Horn,子句必取下列四种形式之一：,(1)P,Q,1,Q,2,Q,n,(n,0),称为过程,P,称为过程名,Q,1,Q,n,称为过程体,Q,i,为过程调用。,(2)P,(,上式中,n,0)-,事实,(3),Q,1,Q,2,Q,n,(n,0)-,目标,全部由过程调用组成,常用来表示询问,(4),-,停机语句,表示程序执行（成功）终止。,9/30/2024,3,Horn,子句逻辑，就是由,Horn,子句组成的一阶谓词演算系统的子系统,.,Horn,子句逻辑程序就是指这样一些被称为过程、目标和事实的,Horn,子句集合。,9/30/2024,4,例,已知,“,张三在哪儿，他的狗就在哪儿,”,，,“,张三在火车上,”,，,询问：,“,张三的狗是否也在火车上？,”,过程,AT(dog,x,),AT(zhang,x,),事实,AT,（,zhang,，,train,）,目标,AT(dog,train,),9/30/2024,5,程序执行过程,:,首先，目标中过程调用,AT,(,dog,train,),与过程名,AT(dog,x,),匹配（合一为,train/x,）,调用过程,AT(zhang,x)train/x,，从而产生新的目标,目标,AT,（,zhang,，,train,）,它与事实,AT,（,zhang,，,train,）,匹配，产生目标,，它标志原目标中过程调用,AT,（,dog,，,train,）成功，由于原目标中只有一个过程调用，程序执行终止，产生输出：是。,容易看出，,Horn,子句逻辑程序的执行过程无异于归结过程，匹配操作实即归结操作。,9/30/2024,6,例,.,设有某家庭成员的集合,Lary,Linda,Bob,John,Mary,Allan,Nick,Kevin,Bill,，我们已知他们之间的亲属关系为：,Linda,是,Bob,，,John,，,Mary,的母亲,Mary,是,Bill,的母亲,Bob,是,Allan,，,Nick,，,Kevin,的父亲,Lary,是,Linda,的丈夫,询问：,Allan,是,Nick,的兄弟吗,?Kevin,是谁的兄弟？,9/30/2024,7,Linda,Bob,John,Mary,Allan,Nick,Kevin,Bill,9/30/2024,8,Mother(x,y):x,是,y,的母亲,Father(x,y):x,是,y,的父亲,Husband(x,y):x,是,y,的丈夫,Brother(x,y):x,是,y,的兄弟,有,Horn,子句程序如下：,（,1,）,Mother(Linda,Bob),（,2,）,Mother(Linda,John),（,3,）,Mother(Linda,Mary),（,4,）,Mother(Mary,Bill),（,5,）,Father(Bob,，,Allan),（,6,）,Father(Bob,，,Nick),（,7,）,Father(Bob,，,Kevin),（,8,）,Husband(,Lary,Linda),9/30/2024,9,（,9,）,Brother(y,，,z),Mother(x,y),Mother(x,z),（,10,）,Brother(y,，,z),Father(x,y),Father(x,z),（,11,）,Brother(x,，,z),Brother(x,，,y),，,Brother(y,，,z),（,12,）,Brother(Allan,，,Nick),（询问：,Allan,是,Nick,的兄弟吗？）,（,12,）,Brother(Kevin,，,u),（询问：,Kevin,是谁的兄弟？）,程序执行过程如下：,（,13,）,Father(x,Allan),Father(x,Nick),由（,12,），（,10,）,（,14,）,Father,（,Bob,，,Nick,）由（,13,），（,5,）,（,15,）由（,14,），（,6,）,对询问（,12,）回答“是”。,继续执行回答询问（,12,）的程序。,（,13,）,Father,（,x,，,Kevin,），,Father,（,x,，,u,）由（,12,），（,10,）,（,14,）,Father,（,Bob,，,u,）（合一为,Bob/x,）由（,13,）,（,7,）,（,15,）（合一为,Nick/u,）由（,11,）,（,6,）,9/30/2024,10,对询问（,12,）回答是“,u,Nick”,即“,Kevin,是,Nick,的兄弟”。为提取这一回答，可采用停机谓词,Print,。这时（,12,）可以改作,Brother,（,Kevin,，,u,），,Print,（,u,）,最终程序终止于,Print,（,Nick,）。,Note:,本例中程序执行是人工干预的结果。为了使,Horn,子句真正成为“程序”，还应当给它赋予控制子句匹配的控制成分。,9/30/2024,11,