×

调试非地面ASP程序:技术和图形工具。 (英语) Zbl 1486.68025号

摘要:答案集编程(ASP)是逻辑编程和非单调推理领域的主要声明式编程范式之一。尽管ASP具有简单的语法和直观的语义,但在ASP程序的开发过程中,错误是常见的。在本文中,我们提出了一种新的调试方法,允许对非地面程序中的错误进行交互式定位。新方法将用户直接指向错误中涉及的一组非基本规则,通过向程序员询问预期答案集上的一系列问题,可以对这些规则进行细化(直至可以轻松识别错误的程度)。该方法已在ASP解算器黄蜂上实现。生成的调试器由用户友好的图形界面补充,并集成在aspide中,aspide是一个用于应答集程序的丰富集成开发环境(IDE)。此外,经验分析表明,新的调试器不受限制先前基于元编程的方法应用的接地爆炸的影响。

MSC公司:

68N17号 逻辑编程
68单位35 信息系统的计算方法(超文本导航、接口、决策支持等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abseher,M.、Gebser,M.,Musliu,N.、Schaub,T.和Woltran,S.,2016年。带答案集编程的换档设计。基础信息147,1,1-25.10.3233/FI-2016-1396·Zbl 1373.68169号
[2] Alviano,M.和Dodaro,C.2016。通过不令人满意的核心收缩进行任何时间的答案集优化。TPLP16,5-6,533-551·Zbl 1379.68033号
[3] Alviano,M.、Dodaro,C.、Leone,N.和Ricca,F.2015。WASP进展。在LPNMR中。计算机科学讲义,第9345卷。柏林施普林格,40-54·Zbl 1467.68021号
[4] Alviano,M.、Dodaro,C.和Maratea,M.2017。用于护士排班的高级答案集编程编码。AI*IA.计算机科学讲义,第10640卷。柏林施普林格,468-482。
[5] Aschinger,M.、Drescher,C.、Friedrich,G.、Gottlob,G.,Jeavons,P.、Ryabokon,A.和Thorstensen,E.2011。伙伴单位问题的优化方法。在CPAIOR中。计算机科学讲义,第6697卷。柏林施普林格,4-19·Zbl 1302.90164号
[6] Balduccini,M.和Gelfond,M.2003。具有一致性恢复规则的逻辑程序。在AAAI春季研讨会上,AAAI,9-18。
[7] Balduccini,M.,Gelfond,M.、Watson,R.和Nogueira,M.2001。美国顾问:答案集规划案例研究。在LPNMR中。计算机科学讲义,第2173卷。施普林格,柏林,439-442·兹比尔1010.68800
[8] 巴拉尔,C.2010。知识表示、推理和陈述式问题解决。剑桥大学出版社,英国剑桥·Zbl 1192.68666号
[9] Brain,M.和De Vos,M.2005。在答案集语义下调试逻辑程序。在答案集编程中。CEUR研讨会记录,第142卷。CEUR-WS.org。
[10] Brain,M.、Gebser,M.,Schaub,T.、Tompits,H.和Woltran,S.,2007年。“这是不合逻辑的队长!”-用于应答程序的调试支持工具spock:系统描述。在东南亚,71-85。
[11] Brewka,G.、Eiter,T.和Truszczynski,M.,2011年。答案集编程一目了然。ACM54,12,92-103.10.1145/2043174.2043195的通信
[12] Busoniu,P.、Oetsch,J.、Pührer,J.、Skocovsky,P.和Tompits,H.2013。SeaLion:一个基于eclipse的IDE,用于支持高级调试的应答编程。TPLP13、4-5、657-673。
[13] Calimeri,F.、Gebser,M.、Maratea,M.和Ricca,F.2016。第五届答案集编程竞赛的设计和结果。人工智能231,151-181.10.1016/j.artint.2015.09.008·Zbl 1344.68042号
[14] Calimeri,F.、Ianni,G.和Ricca,F.2014。第三届公开答案集编程竞赛。TPLP14,1117-135。
[15] Dasseville,I.和Janssens,G.2015年。IDP的基于web的IDE。CoRR abs/1511.00920。
[16] Dodaro,C.、Gasteiger,P.、Leone,N.、Musitch,B.、Ricca,F.和Schekotihin,K.2016。结合答案集编程和领域启发法解决工业难题(应用论文)。TPLP16,5-6,653-669·Zbl 1379.68281号
[17] Dodaro,C.、Gasteiger,P.、Musitch,B.、Ricca,F.和Shchekotykhin,K.M.,2015年。非地面ASP程序的交互式调试。在LPNMR中。计算机科学讲义,第9345卷。柏林施普林格,279-293·Zbl 1467.68024号
[18] Dodaro,C.、Leone,N.、Nardi,B.和Ricca,F.2015。旅游业中的分配问题:基于ASP的解决方案。收录于《计算机科学讲义》,第9209卷。施普林格,柏林,77-92。
[19] Eiter,T.、Gottlob,G.和Mannila,H.1997。分离数据日志。ACM数据库系统事务22,3,364-418.10.1145/261124.261126
[20] Erdem,E.、Gelfond,M.和Leone,N.2016。答案集编程的应用。AI杂志37,3,53-68.10.1609/aimag.v37i3.2678
[21] Erdem,E.和Oh ztok,U.2015。为生物医学查询生成解释。TPLP15,1,35-78·Zbl 1379.68059号
[22] Febbraro,O.,Leone,N.,Reale,K.和Ricca,F.2011。ASPIDE中的单元测试。在INAP/WLP中。《计算机科学讲义》,第7773卷。柏林施普林格,345-364。
[23] Febbraro,O.,Reale,K.和Ricca,F.2011。ASPIDE:用于应答集编程的集成开发环境。在LPNMR中。计算机科学讲义,第6645卷。柏林施普林格,317-330。
[24] Fraser,S.、Beck,K.L.、Caputo,B.、Mackinnon,T.、Newkirk,J.和Poole,C.2003。测试驱动开发(TDD)。在XP中。计算机科学讲义,第2675卷。柏林施普林格,459-462。
[25] Gavanelli,M.,Nonato,M.和Peano,A.2015。给水系统中阀门位置优化的ASP方法。逻辑与计算杂志25,6,1351-1369.10.1093/log.com/ext065·Zbl 1344.68267号
[26] Gebser,M.、Kaminski,R.、Kaufmann,B.和Schaub,T.2012。实践中的答案集求解。人工智能和机器学习综合讲座。Morgan&Claypool Publishers,圣拉斐尔·Zbl 1251.68060号
[27] Gebser,M.、Kaminski,R.、König,A.和Schaub,T.2011。外国佬系列3的进展。在LPNMR中。计算机科学讲义,第6645卷。柏林施普林格,345-351。
[28] Gebser,M.、Maratea,M.和Ricca,F.2015。第六届答题集编程竞赛——报告的设计。在LPNMR中。《计算机科学讲义》,第9345卷。施普林格,柏林,531-544·Zbl 1418.68028号
[29] Gebser,M.、Maratea,M.和Ricca,F.2016。答案集编程竞赛中最热门的是什么。在AAAI。美国加利福尼亚州帕洛阿尔托市AAAI出版社,邮编:4327-4329。
[30] Gebser,M.、Pührer,J.、Schaub,T.和Tompits,H.2008。用于调试应答程序的元程序设计技术。在AAAI。美国宾夕法尼亚州帕洛阿尔托市AAAI出版社,448-453。
[31] Gebser,M.、Schaub,T.、Thiele,S.和Veber,P.2011。使用答案集编程检测大型生物网络中的不一致性。TPLP11,2-3,323-360·兹比尔1220.68036
[32] Gelfond,M.和Lifschitz,V.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,3/4,365-386.10007/BF03037169·Zbl 0735.68012号
[33] Grasso,G.、Iiritano,S.、Leone,N.和Ricca,F.2009。一些DLV应用程序用于知识管理。在LPNMR中。计算机科学讲义,第5753卷。柏林施普林格,591-597。
[34] Grasso,G.、Leone,N.、Manna,M.和Ricca,F.2011。ASP工作:DLV系统的衍生和应用。在逻辑编程、知识表示和非单调推理中。计算机科学讲义,第6565卷。柏林施普林格,432-4510.1007/978-3-642-20832-4_27
[35] Junker,U.2004年。QUICKXPLAIN:过度约束问题的首选解释和放松。在AAAI。AAAI出版社,加利福尼亚州帕洛阿尔托,167-172。
[36] Koponen,L.、Oikarinen,E.、Janhunen,T.和Säilä,L.2015。使用答案集编程优化系统发育超级树。TPLP15、4-5、604-619·Zbl 1379.92038号
[37] Li,T.、De Vos,M.、Padget,J.、Satoh,K.和Balke,T.2015。使用ILP调试ASP。在ICLP(技术通信)中。欧洲委员会研讨会论文集,第1433卷。CEUR-WS.org网站。
[38] Lierler,Y.、Maratea,M.和Ricca,F.2016。系统、工程环境和竞争。AI杂志37,3,45-52.10.1609/aimag.v37i3.2675
[39] Mikitiuk,A.、Moseley,E.和Truszczynski,M.,2007年。面向PSpb语言应答程序的调试。美国佐治亚州雅典IC-AI CSREA出版社,635-640。
[40] Nielsen,J.和Landauer,T.K.1993。发现可用性问题的数学模型。在INTERCHI。ACM,美国纽约州纽约市,206-213。
[41] Oetsch,J.、Pührer,J.和Tompits,H.2010。抓住机会:关于调试非圆形答案集程序。TPLP10、4-6、513-529·Zbl 1213.68182号
[42] Oetsch,J.、Pührer,J.和Tompits,H.2011。逐步完成回答程序。在LPNMR中。计算机科学讲义,第6645卷。柏林施普林格,134-147·Zbl 1327.68068号
[43] Polleres,A.、Frühstück,M.、Schenner,G.和Friedrich,G.,2013年。使用选择规则、基数和权重约束调试非圆形ASP程序。在LPNMR中。计算机科学讲义,第8148卷。柏林施普林格,452-464·Zbl 1405.68050号
[44] Pontelli,E.,Son,T.C.和El-Khatib,O.2009。答案集语义下逻辑程序的理由。TPLP9,1,1-56·Zbl 1170.68005号
[45] Schulz,C.、Satoh,K.和Toni,F.2015。描述和解释逻辑程序中的不一致性。在LPNMR中。计算机科学讲义,第9345卷。柏林施普林格,467-479·Zbl 1467.68029号
[46] Schulz,C.和Toni,F.2016。使用论证证明答案集的合理性。TPLP16,1,59-110·Zbl 1379.68301号
[47] Shchekotykhin,K.M.2015年。ASP程序的基于查询的交互式调试。在AAAI。AAAI出版社,美国加利福尼亚州帕洛阿尔托,1597-1603。
[48] Silva,J.P.M.和Sakalah,K.A.1999。GRASP:命题可满足性的搜索算法。IEEE计算机汇刊48,5,506-521.10.1109/12.769433·Zbl 1392.68388号
[49] Simons,P.、Niemelä,I.和Soininen,T.2002。扩展和实现稳定的模型语义。人工智能138,1-2,181-234.10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号
[50] Syrjänen,T.2006。调试不一致的应答集程序。核磁共振,77-84。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。