Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-24T11:03:01.607Z Has data issue: false hasContentIssue false
  • English
  • Français

Debugging Non-ground ASP Programs: Technique and Graphical Tools

Published online by Cambridge University Press:  15 February 2019

CARMINE DODARO Open the ORCID record for CARMINE DODARO [Opens in a new window] ,
PHILIP GASTEIGER ,
KRISTIAN REALE ,
FRANCESCO RICCA Open the ORCID record for FRANCESCO RICCA [Opens in a new window]  and
KONSTANTIN SCHEKOTIHIN Open the ORCID record for KONSTANTIN SCHEKOTIHIN [Opens in a new window]
CARMINE DODARO
Affiliation:
DIBRIS, University of Genova, Genova, Italy (e-mail: [email protected])
PHILIP GASTEIGER
Affiliation:
Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria (e-mail: [email protected])
KRISTIAN REALE
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Rende, Italy (e-mails: [email protected], [email protected])
FRANCESCO RICCA
Affiliation:
Department of Mathematics and Computer Science, University of Calabria, Rende, Italy (e-mails: [email protected], [email protected])
KONSTANTIN SCHEKOTIHIN
Affiliation:
Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

Abstract

Answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, errors are common during the development of ASP programs. In this paper we propose a novel debugging approach allowing for interactive localization of bugs in non-ground programs. The new approach points the user directly to a set of non-ground rules involved in the bug, which might be refined (up to the point in which the bug is easily identified) by asking the programmer a sequence of questions on an expected answer set. The approach has been implemented on top of the ASP solver wasp. The resulting debugger has been complemented by a user-friendly graphical interface, and integrated in aspide, a rich integrated development environment (IDE) for answer set programs. In addition, an empirical analysis shows that the new debugger is not affected by the grounding blowup limiting the application of previous approaches based on meta-programming.

Keywords

answer set programmingdebugginggraphical user interface
Type
Original Article
Information
Theory and Practice of Logic Programming , Volume 19 , Special Issue 2: User-Oriented Logic Programming and Reasoning Paradigms , March 2019 , pp. 290 - 316
Copyright
Copyright © Cambridge University Press 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This paper includes parts and significantly extends our previous work (Dodaro et al. 2015). The authors are grateful to Marc Deneker and Ingmar Dasseville for the fruitful discussions about debugging for logic programs and FO(ID) theories, and in particular for the useful suggestion improving the handling of bugs caused by atoms missing a supporting rule. The authors are also grateful to Roland Kaminski for providing gringo without simplifications.

References

Abseher, M., Gebser, M., Musliu, N., Schaub, T. and Woltran, S. 2016. Shift design with answer set programming. Fundamenta Informaticae 147, 1, 1–25.CrossRefGoogle Scholar
Alviano, M. and Dodaro, C. 2016. Anytime answer set optimization via unsatisfiable core shrinking. TPLP 16, 5–6, 533–551.Google Scholar
Alviano, M., Dodaro, C., Leone, N. and Ricca, F. 2015. Advances in WASP. In LPNMR. Lecture Notes in Computer Science, vol. 9345. Springer, Berlin, 40–54.Google Scholar
Alviano, M., Dodaro, C. and Maratea, M. 2017. An advanced answer set programming encoding for nurse scheduling. In AI*IA. Lecture Notes in Computer Science, vol. 10640. Springer, Berlin, 468–482.Google Scholar
Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A. and Thorstensen, E. 2011. Optimization methods for the partner units problem. In CPAIOR. Lecture Notes in Computer Science, vol. 6697. Springer, Berlin, 4–19.Google Scholar
Balduccini, M. and Gelfond, M. 2003. Logic programs with consistency-restoring rules. In AAAI Spring Symposium, AAAI, 9–18.Google Scholar
Balduccini, M., Gelfond, M., Watson, R. and Nogueira, M. 2001. The USA-advisor: A case study in answer set planning. In LPNMR. Lecture Notes in Computer Science, vol. 2173. Springer, Berlin, 439–442.Google Scholar
Baral, C. 2010. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK.Google Scholar
Brain, M. and De Vos, M. 2005. Debugging logic programs under the answer set semantics. In Answer Set Programming. CEUR Workshop Proceedings, vol. 142. CEUR-WS.org.Google Scholar
Brain, M., Gebser, M., Schaub, T., Tompits, H. andWoltran, S. 2007. “That is Illogical Captain!” – The debugging support tool spock for answer-set programs: System description. In SEA, 71–85.Google Scholar
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92–103.CrossRefGoogle Scholar
Busoniu, P., Oetsch, J., Pührer, J., Skocovsky, P. and Tompits, H. 2013. SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. TPLP 13, 4–5, 657–673.Google Scholar
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F. 2016. Design and results of the fifth answer set programming competition. Artificial Intelligence 231, 151–181.CrossRefGoogle Scholar
Calimeri, F., Ianni, G. and Ricca, F. 2014. The third open answer set programming competition. TPLP 14, 1, 117–135.Google Scholar
Dasseville, I. and Janssens, G. 2015. A web-based IDE for IDP. CoRR abs/1511.00920.Google Scholar
Dodaro, C., Gasteiger, P., Leone, N., Musitsch, B., Ricca, F. and Schekotihin, K. 2016. Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). TPLP 16, 5–6, 653–669.Google Scholar
Dodaro, C., Gasteiger, P., Musitsch, B., Ricca, F. and Shchekotykhin, K. M. 2015. Interactive debugging of non-ground ASP programs. In LPNMR. Lecture Notes in Computer Science, vol. 9345. Springer, Berlin, 279–293.Google Scholar
Dodaro, C., Leone, N., Nardi, B. and Ricca, F. 2015. Allotment problem in travel industry: A solution based on ASP. In RR. Lecture Notes in Computer Science, vol. 9209. Springer, Berlin, 77–92.Google Scholar
Eiter, T., Gottlob, G. and Mannila, H. 1997. Disjunctive datalog. ACM Transactions on Database Systems 22, 3, 364–418.CrossRefGoogle Scholar
Erdem, E., Gelfond, M. and Leone, N. 2016. Applications of answer set programming. AI Magazine 37, 3, 53–68.CrossRefGoogle Scholar
Erdem, E. and Öztok, U. 2015. Generating explanations for biomedical queries. TPLP 15, 1, 35–78.Google Scholar
Febbraro, O., Leone, N., Reale, K. and Ricca, F. 2011. Unit testing in ASPIDE. In INAP/WLP. Lecture Notes in Computer Science, vol. 7773. Springer, Berlin, 345–364.Google Scholar
Febbraro, O., Reale, K. and Ricca, F. 2011. ASPIDE: Integrated development environment for answer set programming. In LPNMR. Lecture Notes in Computer Science, vol. 6645. Springer, Berlin, 317–330.Google Scholar
Fraser, S., Beck, K. L., Caputo, B., Mackinnon, T., Newkirk, J. and Poole, C. 2003. Test driven development (TDD). In XP. Lecture Notes in Computer Science, vol. 2675. Springer, Berlin, 459–462.Google Scholar
Gavanelli, M., Nonato, M. and Peano, A. 2015. An ASP approach for the valves positioning optimization in a water distribution system. Journal of Logic and Computation 25, 6, 1351–1369.CrossRefGoogle Scholar
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2012. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael.Google Scholar
Gebser, M., Kaminski, R., König, A. and Schaub, T. 2011. Advances in gringo series 3. In LPNMR. Lecture Notes in Computer Science, vol. 6645. Springer, Berlin, 345–351.Google Scholar
Gebser, M., Maratea, M. and Ricca, F. 2015. The design of the sixth answer set programming competition – Report. In LPNMR. Lecture Notes in Computer Science, vol. 9345. Springer, Berlin, 531–544.Google Scholar
Gebser, M., Maratea, M. and Ricca, F. 2016. What’s hot in the answer set programming competition. In AAAI. AAAI Press, Palo Alto, CA, USA, 4327–4329.Google Scholar
Gebser, M., Pührer, J., Schaub, T. and Tompits, H. 2008. A meta-programming technique for debugging answer-set programs. In AAAI. AAAI Press, Palo Alto, PA, USA, 448–453.Google Scholar
Gebser, M., Schaub, T., Thiele, S. and Veber, P. 2011. Detecting inconsistencies in large biological networks with answer set programming. TPLP 11, 2–3, 323–360.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3/4, 365–386.CrossRefGoogle Scholar
Grasso, G., Iiritano, S., Leone, N. and Ricca, F. 2009. Some DLV applications for knowledge management. In LPNMR. Lecture Notes in Computer Science, vol. 5753. Springer, Berlin, 591–597.Google Scholar
Grasso, G., Leone, N., Manna, M. and Ricca, F. 2011. ASP at work: Spin-off and applications of the DLV system. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 6565. Springer, Berlin, 432–451.CrossRefGoogle Scholar
Junker, U. 2004. QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In AAAI. AAAI Press, Palo Alto, CA, 167–172.Google Scholar
Koponen, L., Oikarinen, E., Janhunen, T. and Säilä, L. 2015. Optimizing phylogenetic supertrees using answer set programming. TPLP 15, 4–5, 604–619.Google Scholar
Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T. 2015. Debugging ASP using ILP. In ICLP (Technical Communications). CEUR Workshop Proceedings, vol. 1433. CEUR-WS.org.Google Scholar
Lierler, Y., Maratea, M. and Ricca, F. 2016. Systems, engineering environments, and competitions. AI Magazine 37, 3, 45–52.CrossRefGoogle Scholar
Mikitiuk, A., Moseley, E. and Truszczynski, M. 2007. Towards debugging of answer-set programs in the language PSpb. In IC-AI. CSREA Press, Athens, GA, USA, 635–640.Google Scholar
Nielsen, J. and Landauer, T. K. 1993. A mathematical model of the finding of usability problems. In INTERCHI. ACM, New York, NY, USA, 206–213.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2010. Catching the ouroboros: On debugging nonground answer-set programs. TPLP 10, 4–6, 513–529.Google Scholar
Oetsch, J., Pührer, J. and Tompits, H. 2011. Stepping through an answer-set program. In LPNMR. Lecture Notes in Computer Science, vol. 6645. Springer, Berlin, 134–147.Google Scholar
Polleres, A., Frühstück, M., Schenner, G. and Friedrich, G. 2013. Debugging nonground ASP programs with choice rules, cardinality and weight constraints. In LPNMR. Lecture Notes in Computer Science, vol. 8148. Springer, Berlin, 452–464.Google Scholar
Pontelli, E., Son, T. C. and El-Khatib, O. 2009. Justifications for logic programs under answer set semantics. TPLP 9, 1, 1–56.Google Scholar
Schulz, C., Satoh, K. and Toni, F. 2015. Characterising and explaining inconsistency in logic programs. In LPNMR. Lecture Notes in Computer Science, vol. 9345. Springer, Berlin, 467–479.Google Scholar
Schulz, C. and Toni, F. 2016. Justifying answer sets using argumentation. TPLP 16, 1, 59–110.Google Scholar
Shchekotykhin, K. M. 2015. Interactive query-based debugging of ASP programs. In AAAI. AAAI Press, Palo Alto, CA, USA, 1597–1603.Google Scholar
Silva, J. P. M. and Sakallah, K. A. 1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48, 5, 506–521.CrossRefGoogle Scholar
Simons, P., Niemelä, I. and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 1–2, 181–234.CrossRefGoogle Scholar
Syrjänen, T. 2006. Debugging inconsistent Answer Set Programs. In NMR, 77–84.Google Scholar