×

谓词逻辑作为建模语言:使用IDP3建模和解决一些机器学习和数据挖掘问题。 (英语) 兹比尔1379.68279

小结:本文简要介绍了IDP3系统解决问题的方法。IDP3的核心是一个有限模型生成器,它支持类型、归纳定义、聚合和部分函数丰富的一阶逻辑。它为用户提供了一种建模语言,它是谓词逻辑的一种轻微扩展,允许用户解决各种搜索问题。除了一个小的介绍性示例外,应用程序是从机器学习和数据挖掘研究中出现的问题中选择的。这些研究领域最近对声明式建模和约束求解表现出了浓厚的兴趣,而不是算法方法。该论文表明,IDP3系统对于有兴趣的研究人员来说是一个有价值的工具。第一个问题是词源学领域,这是一个与现存文本变体之间的关系有关的文献学领域。第二个问题是关于生物学中一个有点相关的问题,在这个问题中,系统发育树被用来表示物种的进化。第三个也是最后一个问题涉及学习与给定字符串集一致的最小自动机的经典问题。对于最后一个问题,我们表明我们的解决方案的性能非常接近于最先进的解决方案。对于这些应用程序中的每一个,我们都会分析问题,说明基于逻辑的模型的开发,并探索替代方案如何影响性能。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68N17号 逻辑编程
68T05型 人工智能中的学习和自适应系统
68T27型 人工智能中的逻辑
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 安德鲁斯。,BlockeelH、。,BogaertsB。,布吕诺赫姆。,Denecker M.、De PooterS S.、MacéC。和RamonJ.2012。使用基于约束的数据挖掘分析手稿传统。在将COnstraint求解与MIning和LEarning(CoCoMile)相结合的过程中。法国蒙彼利埃,2012年8月27日,《约束解决与采矿和学习相结合的第一次研讨会论文集》(CoCoMile)。(ECAI 2012年研讨会),15-20。
[2] 安德鲁斯。和MacéC.2013。超越文本树:通过文本和词干数据的图形分析,建立一个书写变异的经验模型。文学和语言计算28,4,504-521.10.93/llc/fqt032·doi:10.1093/llc/fqt032
[3] 仅P。,MacéC。,罗宾逊。,同行C、。,马扎尔。,挪威。,瓦特尔。,Van Mulken女士。,罗宾逊。,LantinA-C.、CanettieriP.、。,洛雷托夫。,WindramH.、。,斯宾塞,豪斯。,专辑。和DressA.2006。测试人工创建的文本传统的方法。在《文本的演变:面对茎叶学和遗传学方法》中,《国际研讨会论文集》,卢瓦因·拉努夫。意大利比萨国际编辑学会,255-283。
[4] 比尔曼。W.和FeldmanJ。A.1972年6月。从有限状态机的行为样本合成有限状态机。IEEE计算机汇刊21,6,592-597·Zbl 0243.94039号
[5] BlockeelH、。,BogaertsB。,布吕诺赫姆。,类别B。,De PooterS S.、Denecker M.、LabarreA.、。,拉蒙J。和VerwerS.2012。用FO(●)建模机器学习和数据挖掘问题。2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑程序设计国际会议(ICLP 2012)的技术交流,A.Dovier和V.S.Costa,Eds.,LIPIcs,第17卷。德国瓦登莱布尼兹·泽特鲁姆·福尔·Informatik(Leibniz-Zentrum fuer Informatik)达格斯图尔宫(Schloss Dagstuhl),14-25。
[6] 布雷卡政府。,EiterT公司。和Truszczyn skiM.2011。答案集编程一目了然。ACM54、12、92-103的通信。
[7] CalimeriF.、IanniG.、。,里卡夫。,阿尔维亚诺。,布里亚。,加泰罗尼亚。,科萨。,FaberW.、。,二月。,利昂内。,曼纳。,马特罗。,帕内塔克。,PerriS.、RealeK.、。,桑托罗姆。C.、SirianniM.、。,地形。和VeltriP.2011。第三场答案集编程系统竞赛:系统竞赛赛道初步报告。《逻辑程序设计和非单调推理国际会议论文集》。德国柏林施普林格,388-403。
[8] 哥斯达黎加。和VerwerS.2012。规则推理作为顶点着色。《算法学习理论》,N.Bshouty、G.Stoltz、N.Vayatis和T.Zeugmann编辑,《计算机科学讲义》,第7568卷。德国柏林施普林格,81-95.10.1007/978-3-642-34106-9·Zbl 1248.68028号 ·doi:10.1007/978-3-642-34106-9
[9] 成本F。和尼古拉斯J.1997。正则推理是一个图着色问题。在ICML关于语法推理、自动归纳和语言习得的研讨会上。第十四届国际机器学习会议(ICML-97)自动归纳、语法推理和语言习得研讨会,1997年7月12日,田纳西州纳什维尔,6页。
[10] 类别B。,BogaertsB。,BruynoogheM。和DeneckerM.2014。谓词逻辑作为建模语言:IDP系统。CoRR abs/1401.6312。
[11] 类别B。,BogaertsB。,Denecker M.和Devriendt J.,2013年。使用约束编程在存在功能符号的情况下进行模型扩展。第25届IEEE人工智能工具国际会议(ICTAI 2013),华盛顿州,2013年11月4-6日。1068-1075.
[12] De类别B。和BruynoogheM.2013。检测和利用模型生成的功能依赖性。逻辑程序设计的理论与实践13,4-5,471-485.10.1017/S147106841300029X·Zbl 1286.68042号 ·文件编号:10.1017/S147106841300029X
[13] 类别B。,DeneckerM.和StuckeyP.2012。通过增量接地延迟模型扩展。2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑程序设计国际会议(ICLP 2012)的技术交流,A.Dovier和V.S.Costa,Eds.,LIPIcs,第17卷。德国瓦登莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl,201-211。
[14] 类别B。,DeneckerM.,StuckeyP。J.和BruynoogheM.2014。懒散的模型扩展:将基础与搜索交织在一起。CoRR abs/1402.6889。
[15] 2005年12月。语法推理的书目研究。图案识别38,9,1332-1348.10.1016/j.patcog.2005.01.003·doi:10.1016/j.patcog.2005.01.003
[16] DeneckerM.、LierlerY.、。,特鲁兹钦斯基。和VennekensJ.2012。答案集编程的Tarskian非正式语义。2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议(ICLP 2012)的技术交流中,A.Dovier和V.S.Costa,Eds.LIPIcs,第17卷。德国瓦登莱布尼兹·泽特鲁姆·富尔信息宫(Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik),277-289。
[17] DeneckerM.和TernovskaE.2008年4月。非单调归纳定义的逻辑。ACM计算逻辑学报(TOCL)9,2,14:1-52·Zbl 1367.68278号
[18] DeneckerM.和VennekensJ。出现。有根据的语义学是归纳定义的原则,重新审视。2014年7月20日至24日,在奥地利维也纳举行的第十四届知识表示和推理原则国际会议上,AAAI出版社·Zbl 0928.03033号
[19] DeneckerM.、VennekensJ.、。,债券。,GebserM.和Truszczyn skiM.2009年。第二届答案集编程竞赛。在第十届逻辑程序设计和非单调推理国际会议(LPNMR)上,E.Erdem、F.Lin和T.Schaub主编,LNCS,第5753卷。德国柏林施普林格,637-654.10.1007/978-3642-04238-6·Zbl 1175.68008号 ·doi:10.1007/978-3-642-04238-6
[20] ,WittocxJ。和DeneckerM.2011。基于知识的编程环境的原型。在声明式编程和知识管理应用国际会议上。计算机科学讲义,第7773卷。德国柏林施普林格,279-286。
[21] DevriendtJ公司。,BogaertsB。,测量中心。,B类。D.和DeneckerM.2012。对称传播:SAT中改进的动态对称破缺。第24届IEEE人工智能工具国际会议(ICTAI’12)论文集,希腊雅典,IEEE出版社,49-56。
[22] DovierA公司。和CostaV。美国,2012年版。2012年9月4日至8日在匈牙利布达佩斯举行的第28届逻辑编程国际会议(ICLP 2012)的技术交流。LIPIcs,第17卷。德国瓦登莱布尼兹·泽特鲁姆·富尔信息宫(Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik)·Zbl 1253.68010号
[23] 欧洲。和Sörensson.2003。可扩展SAT解决方案。国际会议,SAT,E.Giunchiglia和A.Taccella,LNCS编辑,第2919卷。德国柏林施普林格,502-518·Zbl 1204.68191号
[24] ErdemE.2011年。答案集编程在系统发育系统学中的应用。《逻辑编程、知识表示和非单调推理——迈克尔·盖尔芬德65岁生日致辞》,《计算机科学讲义》,第6565卷,斯普林格出版社,415-431页。
[25] Felsenstein J.2004年。推断系统发育。Sinauer,马萨诸塞州桑德兰。
[26] 弗里沙。M.、HarveyW.、。,杰斐逊公司。,埃尔南德斯。M.和MiguelI.2008。本质:用于指定组合问题的约束语言。约束条件13,3,268-306.10.1007/s10601-008-9047-y·兹比尔1147.68424 ·doi:10.1007/s10601-008-9047-y
[27] GambetteP.2010年。系统发育网络中的谁是谁:文章、作者和程序。以电子方式发布。2011年访问。网址:http://www.atgc-montpellier.fr/phylnet。
[28] GebserM.,考夫曼银行。,纽曼那。和SchaubT.2007。扣:冲突驱动的答案集求解器。在LPNMR中,C.Baral、G.Brewka和J.S.Schlipf,LNCS编辑,第4483卷。德国柏林施普林格,260-265。
[29] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。在ICLP/SLP中,R.A.Kowalski和K.A.Bowen,麻省理工学院出版社编辑,马萨诸塞州剑桥,1070-1080。
[30] 戈尔德。M.1978年。从给定数据识别自动机的复杂性。信息与控制37,3,302-320.10.1016/S0019-9958(78)90562-4·Zbl 0376.68041号 ·doi:10.1016/S0019-9958(78)90562-4
[31] 格林切因州。,LeuckerM.和PitermanN.2006。自动推断网络不变量。《自动推理》,U.Furbach和N.Shankar主编,《计算机科学讲义》,第4130卷。德国柏林施普林格,483-497.10007/11814771·Zbl 1120.68005号 ·doi:10.1007/11814771
[32] 枪。,尼尔森。和RaedtL。2011年12月。项集挖掘:约束编程视角。人工智能175,12-13,1951-1983.10.1016/j.artint.2011.05.002·Zbl 1353.68233号 ·doi:10.1016/j.artint.2011.05.002
[33] 赫勒姆。和VerwerS.2010。使用SAT解算器精确识别DFA。《语法推理:理论结果和应用》(ICGI 2010),第66-79页。
[34] 赫勒姆。J.H.和VerwerS.2012。使用可满足性求解器的软件模型综合。经验软件工程,8月1日至32日。数字对象标识:http://dx.doi.org/10.1007/s10664-012-9222-z。 ·doi:10.1007/s10664-012-9222-z
[35] 胡森·D。H.,卢比。和ScornavacaC.2010。系统发育网络:概念、算法和应用。剑桥大学出版社,英国剑桥。
[36] IerusalimschyR.、。,德菲格雷多尔。H.和CelesW.1996。Lua–一种可扩展扩展语言。软件:实践与经验26,6,635-652。
[37] 詹森J。,乔里森A。2013年1月。将输入*FO(●)归纳定义编译为IDP3的表格Prolog规则。逻辑程序设计的理论与实践13,4-5,691-704.10.1017/S1471068413000434·Zbl 1286.68047号 ·文件编号:10.1017/S1471068413000434
[38] 科瓦尔斯基。A.1974年。谓词逻辑作为编程语言。在IFIP大会上,J.L.Rosenfeld,Ed.Information Processing 74,IFIP Congress 74会议记录,瑞典斯德哥尔摩,1974年8月5日至10日。北荷兰,1974年,569-574。
[39] 拉巴拉。和VerwerS。出现。合并部分标记树:困难和有效的实用解决方案。IEEE/ACM计算生物学和生物信息学汇刊。
[40] 利昂内。,Pfeifer集团。,FaberW.、。,爱尔兰。,哥特洛布。,PerriS.和ScarcelloF.2002。用于知识表示和推理的DLV系统。美国计算机学会计算逻辑学报7,499-562·Zbl 1367.68308号
[41] 马里兰州。,威托克郡。,DeneckerM.和BruynoogheM.2008。SAT(ID):用归纳定义扩展的命题逻辑的可满足性。在SAT中,H.KleineBüning和X.Zhao,编辑LNCS,第4996卷。德国柏林施普林格,211-224.18557021·Zbl 1138.68547号
[42] 马里兰州。,荷兰。,拉斐尔。,StuckeyP。J.、Garcia de la BandaM。和WallaceM.2008。锌建模语言的设计。约束条件13,3,229-267.1007/s10601-008-9041-4·兹比尔1146.68352 ·doi:10.1007/s10601-008-9041-4
[43] MilnerR.1978年。编程中的类型多态理论。计算机与系统科学杂志17,3,348-375.10.1016/0022-0000(78)90014-4·Zbl 0388.68003号 ·doi:10.1016/0022-0000(78)90014-4
[44] 米切尔D。G.和TernovskaE.2005。表示和解决NP搜索问题的框架。在第二十届AAAI人工智能全国会议(AAAI-05)上,M.M.Veloso和S.Kambhampati,麻省理工学院出版社编辑,马萨诸塞州剑桥,430-435。
[45] 纽文胡斯。,奥利维拉斯A。和TinelliC.2006。求解SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)。ACM53期刊,6,937-977.10.1145/1217856.1217859·Zbl 1326.68164号 ·数字对象标识代码:10.1145/1217856.1217859
[46] 佩洛夫N。,DeneckerM.和BruynoogheM.2007。具有聚合的逻辑程序的良好且稳定的语义。逻辑程序设计理论与实践(TPLP)7,3,301-353.10017/S1471068406002973·Zbl 1111.68070号 ·doi:10.1017/S1471068406002973
[47] 房间。和HeikkiläT.2009。使用人工基准数据集的计算机辅助肿瘤学评估方法。文学和语言计算24,4,417-433.10.1093/llc/fqp002·doi:10.1093/llc/fqp002
[48] 舒尔特C。和StuckeyP。2008年期刊。高效的约束传播引擎。美国计算机学会程序设计语言与系统汇刊31,1。
[49] Stamina2010。StaMinA竞赛,学习带有大字母的正规语言。2012年访问。网址:http://spermana.chefbe.net/。
[50] 斯威夫特。和沃伦D。2012年上半年。XSB:用表逻辑编程扩展Prolog。逻辑程序设计理论与实践12,1-2,157-187.10.1017/S1471068411000504171068411000500·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500
[51] 锡拉嫩。和NiemeläI.2001。斯莫德尔斯体系。在LPNMR中,T.Eiter、W.Faber和M.Truszczynski,LNCS编辑,第2173卷。德国柏林施普林格,434-438·Zbl 1010.68797号
[52] TimpanaroS.2005年。《拉赫曼方法的起源》,G.W.莫斯译。芝加哥大学出版社,伊利诺伊州芝加哥。
[53] 范·盖尔德拉。,罗斯克。A.和SchlipfJ。S.1991年。通用逻辑程序的有充分依据的语义。ACM38杂志,3,620-650·兹比尔0799.68045
[54] 威托克郡。,DeneckerM.和BruynoogheM.2013。一阶逻辑和归纳定义的约束传播。ACM计算逻辑事务14,3·Zbl 1353.68260号
[55] 威托克郡。,MariënM。和DeneckerM.2008。IDP系统:经典逻辑扩展的模型扩展系统。第二届逻辑与搜索国际研讨会(LaSh 2008),M.Denecker编辑,2008年11月6-7日,比利时鲁汶,153-165。
[56] 威托克郡。,马里恩。和DeneckerM.2010。将FO和FO(ID)与边界接地。《人工智能研究杂志》38,223-269·兹比尔1210.68107
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。