Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin

  • Melanie Frühstück
  • Jörg Pührer
  • Gerhard Friedrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8148)

Abstract

In answer-set programming (ASP), there is a lack of debugging tools that are capable of handling programs with variables. Hence, we implemented a tool, called Ouroboros, for debugging non-ground answer-set programs. The system builds on a previous approach based on ASP meta-programming that has been recently extended to cover weight constraints and choice rules. The main debugging question addressed is “given a program P and an interpretation I, why is I not an answer set of P”. Our tool gives answers in terms of two categories of explanations: unsatisfied rules and unfounded loops. Ouroboros is a plugin of the SeaLion integrated development environment for ASP that is built on Eclipse. Thereby, Ouroboros complements and profits from SeaLion’s Stepping plugin, that implements a different debugging approach for ASP.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gelfond, M., Leone, N.: Logic programming and knowledge representation - The A-Prolog perspective. Art. Intell. 138(1-2), 3–38 (2002)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Brain, M., De Vos, M.: Debugging logic programs under the answer set semantics. In: 3rd International Workshop on Answer Set Programming (ASP 2005). CEUR Workshop Proceedings, pp. 141–152 (2005)Google Scholar
  3. 3.
    Syrjänen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77–83 (2006)Google Scholar
  4. 4.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448–453. AAAI Press (2008)Google Scholar
  5. 5.
    Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: A theoretical framework for the declarative debugging of datalog programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol. 4925, pp. 143–159. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Pontelli, E., Son, T.C., Elkhatib, O.: Justifications for logic programs under answer set semantics. TPLP 9(1), 1–56 (2009)MathSciNetMATHGoogle Scholar
  7. 7.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: spock: A debugging support tool for logic programs under the answer-set semantics. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP 2007. LNCS, vol. 5437, pp. 247–252. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Oetsch, J., Pührer, J., Tompits, H.: Catching the Ouroboros: On debugging non-ground answer-set programs. TPLP 10(4-6), 513–529 (2010)MATHGoogle Scholar
  9. 9.
    Polleres, A., Frühstück, M., Schenner, G., Friedrich, G.: Debugging non-ground ASP programs with choice rules, cardinality and weight constraints. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 452–464. Springer, Heidelberg (2013)Google Scholar
  10. 10.
    Oetsch, J., Pührer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming—Preliminary report. In: Proc. WLP 2011 (2011)Google Scholar
  11. 11.
    Busoniu, P., Oetsch, J., Pührer, J., Skočovský, P., Tompits, H.: SeaLion: An Eclipse-based IDE for answer-set programming with advanced debugging support (submitted draft, 2013)Google Scholar
  12. 12.
    Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: The Potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011)MathSciNetMATHGoogle Scholar
  13. 13.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499–562 (2006)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Oetsch, J., Pührer, J., Tompits, H.: Stepping through an answer-set program. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 134–147. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  15. 15.
    Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H.: Kara - A system for visualising and visual editing of interpretations for answer-set programs. In: Proc. WLP 2011, pp. 152–164 (2011)Google Scholar
  16. 16.
    Mayer, W., Bettex, M., Stumptner, M., Falkner, A.: On solving complex rack configuration problems using CSP methods. In: Proc. IJCAI 2009 Workshop on Configuration (2009)Google Scholar
  17. 17.
    Friedrich, G., Ryabokon, A., Falkner, A., Haselböck, A., Schenner, G., Schreiner, H.: (re)configuration using answer set programming. In: Proc. IJCAI 2011 Workshop on Configuration, pp. 17–25 (2011)Google Scholar
  18. 18.
    Aschinger, M., Drescher, C., Vollmer, H.: LoCo—A logic for configuration problems. In: Proc. ECAI 2012, vol. 242, pp. 73–78 (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Melanie Frühstück
    • 1
  • Jörg Pührer
    • 2
  • Gerhard Friedrich
    • 3
  1. 1.Corporate TechnologySiemens AG ÖsterreichViennaAustria
  2. 2.Institut für Informationssysteme 184/3Technische Universität WienViennaAustria
  3. 3.Alpen-Adria UniversitätKlagenfurtAustria

Personalised recommendations