×

首选逻辑语法:定点语义和数据标准化应用。 (英语) Zbl 0995.68024号

在常规逻辑程序中添加首选项是表示默认推理的许多方面的一种方便方法。如果一个原子(A{1})的派生优先于一个原子的派生(A{2},),那么可以定义一个优先规则,以便只有当(A{1})不是时,才能派生(A_2})。尽管可以使用默认否定直接对这种情况进行建模,但定义偏好规则通常比向规则体添加否定更容易。正如Govindarajan等人[Proc.Internat.Conf.on Logic Programming,1995,pp.731-746]首先指出的,对于某些语法,使用首选项消除语法分析的歧义可能比在语法规则中强制消除歧义更容易。
本文基于嵌入到基础良好的语义中,为偏好逻辑程序定义了一个通用的不动点语义,并讨论了它的特征及其与先前偏好逻辑语义的关系。然后我们研究了偏好逻辑文法在数据标准化中的应用,这是一个从结构不良的文本数据中提取有用信息的重要商业过程。该过程包括纠正数据中出现的拼写错误和截断,通过解析提取相关信息,以及纠正提取信息中的不一致。Prolog的声明性为数据标准化提供了天然的优势,并且使用Prolog实现了一个商业标准化器。然而,我们表明使用偏好逻辑文法可以构建更强大的声明式商业标准化器,并详细讨论了使用非单调偏好结构如何改进商业软件。

MSC公司:

68N17号 逻辑编程
68T50型 自然语言处理
68层37 人工智能背景下的不确定性推理
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Brewka,G.,《具有动态偏好的扩展逻辑程序的良好语义》,《人工智能研究杂志》,第4期,第19-36页(1996年)·Zbl 0900.68300号
[2] G.Brewka,T.Eiter,《扩展逻辑程序的首选答案集》,《人工智能》109(1999)297-356。最初发表在《第六届知识表示与推理原则会议论文集》上的论文全文,意大利特伦托,1998年,第86-97页;G.Brewka,T.Eiter,《扩展逻辑程序的首选答案集》,《人工智能》109(1999)297-356。论文全文最初发表于《第六届知识表示和推理原则会议论文集》,意大利特伦托,1998年,第86-97页
[3] 德尔格兰德,J。;Schaub,T。;Tompits,H.,《编译偏好的逻辑程序》(第八届非机械推理国际研讨会,科罗拉多州布雷肯里奇,2000年)
[4] Gartner,J。;斯威夫特,T。;Tien,A。;佩雷拉,L.M。;Damásio,C.,《从计算逻辑的角度进行精神病学诊断》,(Lloyd,J.W.等,《国际计算逻辑会议论文集》,国际计算逻辑大会论文集,人工智能讲稿,1861(2000),施普林格:施普林格柏林),1362-1376·Zbl 0983.68697号
[5] Gelfond,M。;Son,T.C.,《优先默认推理》,(Dix,J.;Pereira,L.M.;Przymusinski,T.C,《逻辑编程和知识表示》,LPKR’97。逻辑编程和知识表示,LPKR’97,计算机科学讲义,1471(1998),施普林格:施普林格柏林),164-223·Zbl 0914.68030号
[6] 戈文达拉扬,K。;贾亚拉曼,B。;Mantha,S.,《偏好逻辑编程》,(国际逻辑编程会议,东京(1995年),731-746
[7] 贾亚拉曼,B。;戈文达拉扬,K。;Mantha,S.,《偏好逻辑语法,计算机语言》,24179-196(1998)·Zbl 0948.68105号
[8] Lloyd,J.W.,《逻辑编程基础》(1984),《施普林格:施普林格柏林》·Zbl 0547.68005号
[9] 佩雷拉,F.C.N。;Warren,D.H.D.,《解析为演绎》(计算语言学协会第21届年会,马萨诸塞州剑桥(1983)),137-144
[10] Przymusinska,H。;Przymusinski,T.,《逻辑程序的弱完美模型语义》(Proc.Joint International Conference/Sonference on logic Programming,Seattle,WA(1988)),1106-1120
[11] Przymusinski,T.,《每个逻辑程序都有一个自然分层和一个迭代的最小不动点模型》(ACM数据库系统原理研讨会,宾夕法尼亚州费城(1989),ACM出版社),11-21
[12] 罗马克里希南,I.V。;Roychoudhury,A。;Swift,T.,数据仓库标准化工具(Prolog的实际应用(1997))
[13] Sakama,C。;Inoue,K.,再现逻辑程序中的优先级,(《逻辑程序设计联合国际会议/研讨会论文集》,德国波恩(1996)),82-96
[14] Santos Costa,V。;Damas,L。;Reis,R。;Azevedo,R.,《YAP用户手册》,2000年
[15] 希伯,S。;Schabes,Y。;Pereira,F.,演绎分析的原理和实现,《逻辑编程》,24,3-36(1995)·Zbl 0866.68062号
[16] 斯特林,L。;夏皮罗(Shapiro,E.),《序言艺术》(The Art of Prolog)(1986年),麻省理工学院出版社:麻省理学院出版社剑桥·兹比尔0605.68002
[17] Swift,T.,《非单调编程表格》,《数学年鉴》。人工智能,25,3-4,201-240(1999)·Zbl 0940.68025号
[18] 斯威夫特,T。;亨德森,C。;霍尔伯格,R。;Murphey,J。;Neham,E.,CCTIS:专家交易处理系统,(第六届人工智能工业应用会议论文集(1994)),131-140
[19] XSB程序员手册:2.4版,第卷。2001年1月和2日
[20] van Gelder,A。;Ross,K。;Schlipf,J.,《通用逻辑程序的无基础集和良好语义》,J.ACM,38,3,620-650(1991)·Zbl 0799.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。