×

逐步调试应答程序。 (英语) Zbl 1425.68053号

小结:我们介绍一个逐步法用于应答程序设计(ASP),允许调试应答程序,并基于规则的逐步应用。与命令式语言的调试类似,在命令式语言中,程序的行为是在逐步执行过程中观察到的,ASP的单步执行允许观察规则应用程序在计算答案集时的效果。虽然这种方法是从命令式编程中的调试中得到启发的,但由于ASP固有的非确定性和声明性,它在概念上不同于单步执行其他范式。特别是,与命令式程序中按照严格控制流执行的语句不同,在计算期间没有预先确定的顺序来考虑ASP中的规则。在我们的方法中,用户可以根据自己的直觉自由决定下一步要考虑激活的规则。通过这种方式,可以专注于调试搜索空间中有趣的部分。通过揭示程序的实际语义和用户期望之间的差异,在单步执行过程中检测到错误。作为单步执行的坚实形式基础,我们为应答程序开发了一个计算框架。为了完全支持不同的求解器语言,我们在抽象ASP语言上构建了我们的框架,该语言足够通用,可以捕获不同的求解程序语言。为此,我们使用抽象约束作为流行语言构造(如聚合)的既定抽象。单步执行已在中实现{海狮},ASP的集成开发环境。我们使用一个示例场景来演示单步执行,并讨论{海狮}。此外,我们还阐述了方法学方面以及在ASP开发过程中嵌入步骤。

MSC公司:

68N17号 逻辑编程

软件:

海狮
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿尔维亚诺。,多达罗群岛。,利昂内。和RiccaF.2015。WASP进展。程序中。逻辑编程和非单调推理第13届国际会议,LPNMR,美国肯塔基州列克星敦,2015年9月27日至30日,F.Calimeri,G.Ianni和M.Truszczyngski,Eds.计算机科学讲义,第9345卷。施普林格,40-54岁。
[2] 本·埃利亚胡。和DechterR.1994。析取逻辑程序的命题语义。数学和人工智能年鉴,12,1-2,53-87.10.1007/BF01530761·Zbl 0858.68012号 ·doi:10.1007/BF01530761
[3] 大脑。和De VosM.2005。在答案集语义下调试逻辑程序。程序中。第三届答案集编程国际研讨会(ASP'05),《理论与实施进展》,英国巴斯,2005年9月27日至29日,M.De Vos和A.Provetti编辑,CEUR研讨会论文集,第142卷。CEUR-WS.org。
[4] 大脑。,GebserM.、PuehrerJ.、SchaubT.、。,TompitsH。和WoltranS.2007a。这是不合逻辑的队长!用于应答程序的调试支持工具spock-系统描述。程序中。2007年5月14日,美国亚利桑那州坦佩举行的第一届答案集编程软件工程国际研讨会(SEA'07),M.De Vos和T.Schaub,Eds.,71-85。
[5] 大脑。,GebserM.、PührerJ.、SchaubT.、。,汤姆斯H。和WoltranS.2007b。使用ASP调试ASP程序。程序中。第九届逻辑编程和非单调推理国际会议(LPNMR’07),美国亚利桑那州坦佩,2007年5月15日至17日,C.Baral、G.Brewka和J.S.Schlipf编辑,《计算机科学讲稿》,第4483卷。施普林格,31-43岁。
[6] 布罗肯右。,利勒Y。和MarateaM.2014。抽象析取答案集求解器。程序中。第21届欧洲人工智能会议(ECAI’14),捷克共和国布拉格,2014年8月18日至22日,T.Schaub,G.Friedrich,and B.O’Sullivan,Eds.Frontiers in Artificial Intelligence and Applications,vol.263。IOS出版社,165-170。
[7] BusoniuP公司-A.、OetschJ.、。,PührerJ.,斯科奇奥夫斯克P。和TompitsH.2013。Sealion:一个基于eclipse的IDE,用于支持高级调试的应答编程。逻辑程序设计的理论与实践13,4-5,657-673.10.1017/S147106841300041041078413000410·doi:10.1017/S1471068413000410
[8] 卡巴勒罗。,加西亚·鲁伊斯。和Sáenz-PérezF.2008。数据日志程序声明性调试的理论框架。在2008年3月29日于法国南特举行的第三届数据和知识库语义国际研讨会(SDKB’08)的修订论文选集中,K.D.SCHEVE和B.Thalheim,Eds.计算机科学讲义,第4925卷。斯普林格,143-159·Zbl 1165.68379号
[9] DeneckerM.2000。用归纳定义扩展经典逻辑。程序中。第一届计算逻辑国际会议(CL'10),英国伦敦,2000年7月24-28日,J.W.Lloyd,V.Dahl,U.Furbach,M.Kerber,K.Lau,C.Palamidessi,L.M.Pereira,Y.Sagiv和P.J.Stuckey,Eds.计算机科学讲稿,第1861卷。施普林格,703-717。
[10] DeneckerM.和TernovskaE.2008。非单调归纳定义的逻辑。ACM计算逻辑汇刊9,2·Zbl 1367.68278号
[11] DeneckerM.、VennekensJ.、。,债券。,GebserM.和Truszczyn skiM.2009年。第二个答案集编程竞赛。程序中。第十届逻辑程序设计和非单调推理国际会议(LPNMR’09),德国波茨坦,2009年9月14日至18日,E.Erdem,F.Lin和T.Schaub编辑,计算机科学讲稿,第5753卷。施普林格,637-654。
[12] 多达罗群岛。,燃气发电机。,穆西奇B。,里卡夫。和ShchekotykinK。2015年12月。非地面ASP程序的交互式调试。程序中。逻辑编程和非单调推理第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日,F.Calimeri,G.Ianni和M.Truszczyngski,Eds.计算机科学讲义,第9345卷。施普林格,279-293。
[13] 爱尔兰。,伊安。,SchindlauerR.和TompitsH.2005。答案集编程中高阶推理和外部评估的统一集成。程序中。2005年7月30日至8月5日在英国苏格兰爱丁堡举行的第19届国际人工智能联合会议(IJCAI'05)上,L.P.Kaelbling和A.Saffiotti,Eds.Professional Book Center,90-96。
[14] FaberW.、。,利昂内。和Pfeifer G.2004。析取逻辑程序中的递归聚合:语义和复杂性。程序中。第九届欧洲人工智能逻辑会议(JELIA’04)。计算机科学讲义,第3229卷。斯普林格,200-212。
[15] FaberW.、。,PfeiferG公司。和LeoneN.2011。答案集编程中递归聚合的语义和复杂性。人工智能175,1,278-298.10.1016/j.artint.2010.04.002·Zbl 1216.68263号 ·doi:10.1016/j.artint.2010.04.002
[16] 法拉利P.2011。带有命题连接词和聚合词的逻辑程序。ACM计算逻辑事务12,4,25·Zbl 1351.68053号
[17] FrühstückM。,Pührer J.和Friedrich G.,2013年。用Ouroboros调试应答程序-扩展SeaLion插件。程序中。第12届逻辑编程和非单调推理国际会议(LPNMR’13),西班牙科伦纳,2013年9月15日至19日,P.Cabalar和T.C.Son,《计算机科学讲义》,第8148卷。施普林格,323-328。
[18] GebserM.、KaminskiR.、。,科尼加。和SchaubT.2011。外国佬系列3的进展。程序中。2011年5月16日至19日,加拿大温哥华,第11届逻辑编程和非单调推理国际会议(LPNMR’11),J.P.Delgrand和W.Faber编辑,《计算机科学讲义》,第6645卷。施普林格,345-351。
[19] GebserM.,考夫曼B。和SchaubT.2012。冲突驱动的答案集解决:从理论到实践。人工智能187-188,52-89·Zbl 1251.68060号
[20] GebserM.、LeeJ。和LierlerY.2011。关于逻辑程序的基本循环。逻辑程序设计的理论与实践11,6,953-988.10.1017/S147106841100019S147106941100019·Zbl 1242.68050号 ·doi:10.1017/S147106841100019
[21] GebserM.、PührerJ.、SchaubT。和TompitsH.2008。一种用于调试应答程序的元程序设计技术。程序中。2008年7月13日至17日在美国伊利诺伊州芝加哥举行的第23届AAAI人工智能会议(AAAI'08)上,D.Fox和C.P.Gomes编辑,AAAI出版社,448-453。
[22] GebserM.、PührerJ.、SchaubT.、。,汤姆斯H。和WoltranS.2009。斯波克:在应答集语义下,逻辑程序的调试支持工具。在第17届国际声明性程序设计和知识管理应用会议(INAP’07)和第21届逻辑程序设计研讨会(WLP’07)的修订论文集中,D.Seipel、M.Hanus和A.Wolf,Eds.计算机科学讲义,第5437卷。施普林格,247-252。
[23] GelfondM公司。和LifschitzV.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,3/4,365-386.10007/BF03037169·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[24] KloimüllnerC。,OetschJ公司。,PührerJ.和TompitsH.2013。卡拉(Kara):一个可视化和可视化编辑应答程序解释的系统。2011年9月28日至30日,在奥地利维也纳举行的第19届国际声明性编程和知识管理应用会议(INAP’11)和第25届逻辑编程研讨会(WLP’11)的修订论文集中。计算机科学讲义,第7773卷。施普林格,325-344。
[25] LeeJ.2005年。循环公式的模型理论对应物。程序中。2005年7月30日至8月5日,在英国苏格兰爱丁堡举行的第19届国际人工智能联合会议(IJCAI'05)上,L.P.Kaelbling和A.Saffiotti,编辑专业图书中心,503-508。
[26] 利昂内。,PfeiferG。,FaberW.、。,爱尔兰。,哥特洛布。,PerriS.和ScarcelloF.2006年。用于知识表示和推理的DLV系统。美国计算机学会计算逻辑学报7,3,499-562.10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[27] 点燃。,VosM。D.、PadgetJ.、。,佐藤克。和BalkeT.2015。使用ILP调试ASP。在2015年8月31日至9月4日于爱尔兰科克举行的第31届国际逻辑程序设计会议(ICLP 2015)的技术交流中,M.D.Vos、T.Eiter、Y.Lierler和F.Toni编辑的《CEUR研讨会论文集》,第1433卷。CEUR-WS.org。
[28] 利勒2011年。具有回跳和学习功能的抽象答案集求解器。逻辑程序设计的理论与实践11,2-3,135-169.10.1017/S1471068410000578S1471066410000578·Zbl 1220.68038号 ·doi:10.1017/S1471068410000578
[29] 利勒Y。和Truszczyn skiM.2016。关于抽象模推理系统和求解器。人工智能236,65-89.10.1016/j.artint.2016.03.004·Zbl 1357.68230号 ·doi:10.1016/j.artint.2016.03.004
[30] 刘乐。,庞泰利。,桑特。C.和Truszczyn skiM.2010。具有抽象约束原子的逻辑程序:计算的作用。人工智能174,3-4,295-315.10.1016/j.artint.2009.11.016·Zbl 1207.68119号 ·doi:10.1016/j.artint.2009.11.016
[31] 马雷克V。W.和RemmelJ。B.2004年。在逻辑编程中设置约束。程序中。第七届逻辑程序设计和非单调推理国际会议(LPNMR’04),美国佛罗里达州劳德代尔堡,2004年1月6日至8日,V.Lifschitz和I.Niemelä,LNCS编辑,第2923卷。施普林格,167-179。
[32] 马雷克V。W.和Truszczyn skiM.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式:25年展望》,K.R.Apt、V.W.Marek、M.Truszczynski和D.S.Warren,Eds.Springer,375-398.1007/978-3642-60085-2·兹比尔0979.68524 ·doi:10.1007/978-3642-60085-2
[33] 马雷克V。W.和Truszczyn skiM.2004。具有抽象约束原子的逻辑程序。程序中。第19届全国人工智能会议(AAAI'04),美国加利福尼亚州圣何塞,2004年7月25-29日,G.Ferguson和D.McGuinness,编辑AAAI出版社,86-91。
[34] 三井岛。,莫斯利。和Truszczyn skiM.2007。面向PSpb语言应答程序的调试。程序中。2007年国际人工智能会议(ICAI'07)第二卷,美国内华达州拉斯维加斯,2007年6月25-28日,H.R.Arabnia,M.Q.Yang和J.Y.Yang,编辑CSREA出版社,635-640。
[35] 尼梅尔一世,1999年。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25,3-4,241-273.10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[36] 纽文胡斯。,奥利维拉斯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
[37] OetschJ公司。,PührerJ.和TompitsH.2010a。捕捉毒枭:关于调试非地面应答程序。逻辑程序设计理论与实践10,4-6(7月),513-529.10.1017/S1471068410000256S1471066410000256·Zbl 1213.68182号 ·doi:10.1017/S1471068410000256
[38] OetschJ公司。,PührerJ.和TompitsH.2010b。让我们打破规则:答案集程序的交互式过程式调试。程序中。2010年9月14日至16日在埃及开罗举行的第24届(约束)逻辑编程研讨会(WLP’10)上,S.Abdennadher,Ed.Technical Report,Faculty of Media Engineering and Technology,German University in Cairo,77-87。
[39] OetschJ公司。,PührerJ.和TompitsH.2011。逐步完成回答程序。程序中。2011年5月16日至19日,加拿大温哥华,第十一届逻辑编程和非单调推理国际会议(LPNMR’11)。计算机科学讲义,第6645卷。施普林格,134-147。
[40] OetschJ公司。,PührerJ.和TompitsH.2012a。具有析取的抽象约束程序的FLP式应答集语义。在匈牙利布达佩斯举行的第28届逻辑编程国际会议(ICLP’12)的技术交流中,A.Dovier和V.S.Costa,编辑LIPIcs,第17卷。达格斯图尔宫(Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik),222-234。
[41] OetschJ公司。,PührerJ.和TompitsH.2012b。描述逻辑程序的逐步调试。《正确推理——以弗拉基米尔·利夫施奇茨、E.Erdem、J.Lee、Y.Lierler和D.Pearce为荣的基于逻辑的人工智能论文》,计算机科学讲义编辑,第7265卷。施普林格,492-508。
[42] OetschJ公司。,PührerJ.和TompitsH.2013。SeaLion登陆了:一个用于应答编程的IDE——初步报告。2011年9月28日至30日,在奥地利维也纳举行的第19届国际声明性编程和知识管理应用会议(INAP’11)和第25届逻辑编程研讨会(WLP’11)的修订论文集中。《计算机科学讲义》,第7773卷。施普林格,305-324。
[43] 花粉A、。,FrühstückM公司。,SchennerG公司。和Friedrich G.2013。使用选择规则、基数约束和权重约束调试非基础ASP程序。程序中。第十二届逻辑编程和非单调推理国际会议(LPNMR’13),西班牙科伦纳,2013年9月15日至19日,P.Cabalar和T.C.Son编辑,计算机科学讲义,第8148卷。施普林格,452-464。
[44] 庞泰利。,桑特。C.和El-KhatibO.2009。答案集语义下逻辑程序的理由。逻辑程序设计的理论与实践9,1,1-56.10017/S147106408003633S·Zbl 1170.68005号 ·文件编号:10.1017/S1471068408003633
[45] PührerJ.2007年。关于命题答案集程序的调试。奥地利维也纳维也纳理工大学硕士论文。
[46] PührerJ.2014年。答案集编程中的逐步调试:理论基础和实际实现。奥地利维也纳技术大学博士论文,2016年12月14日查阅。网址:http://repositum.tuwien.ac.at/urn:nbn:网址:-ubtuw:1-75281[在线]。
[47] 红色2016年2月。DLVHEX知识表示系统:最新进展(系统描述)。逻辑程序设计的理论与实践16,5-6,866-883.10.1017/S1471068416000211·兹比尔1379.68304 ·doi:10.1017/S1471068416000211
[48] 夏皮罗。1982年。算法程序调试。耶鲁大学博士论文,美国康涅狄格州纽黑文。
[49] 奇科提金。2015年12月。ASP程序的基于查询的交互式调试。程序中。第29届AAAI人工智能会议(AAAI'15),美国德克萨斯州奥斯汀,2015年1月25-30日,B.Bonet和S.Koenig,编辑AAAI出版社,1597-1603。
[50] 西蒙斯。,尼梅莱一世。和SoininenT.2002。扩展和实现稳定的模型语义。人工智能138,181-234.10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[51] SyrjänenT.2006年。调试不一致的答案集程序。程序中。第11届非单调推理国际研讨会(NMR’06),英国湖区,2006年5月30日至6月1日,J.Dix和A.Hunter,Eds.Institute für Informatik,Technische Universityät Clausthal,技术报告,77-83。
[52] 特鲁什琴斯基,2010年。命题理论的约简、可满足关系和逻辑程序语义的推广。人工智能174,16-17,1285-1306.10.1016/j.artint.2010.08.004·Zbl 1209.68101号 ·doi:10.1016/j.artint.2010.08.004
[53] 威托克郡。,弗莱明克。和DeneckerM.2009。调试模型扩展。程序中。第25届逻辑编程国际会议(ICLP’09),美国加利福尼亚州帕萨迪纳,2009年7月14日至17日,P.M.Hill和D.S.Warren,编辑,《计算机科学讲义》,第5649卷。施普林格,296-311。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。