Debugging ASP using ILP


Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Related documents:

PDF (iclp2015) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (335kB) | Preview

    Related URLs:


    Declarative programming allows the expression of properties of the desired solution(s), while the computational task is delegated to a general-purpose algorithm. The freedom from explicit control is counter-balanced by the difficulty in working out what properties are missing or are incorrectly expressed, when the solutions do not meet expectations. This can be particularly problematic in the case of answer set semantics, because the absence of a key constraint/rule could make the difference between none or thousands of answer sets, rather than the intended one (or handful). The debugging task then comprises adding or deleting conditions on the right hand sides of existing rules or, more far-reaching, adding or deleting whole rules. The contribution of this paper is to show how inductive logic programming (ILP) along with examples of (un)desirable properties of answer sets can be used to revise the original program semi-automatically so that it satisfies the stated properties, in effect providing debugging-by-example for programs under answer set semantics.


    Item Type Conference or Workshop Items (UNSPECIFIED)
    CreatorsLi, T., De Vos, M., Padget, J., Satoh, K. and Balke, T.
    EditorsDe Vos, M., Eiter, T., Lierler, Y. and Toni, F.
    Related URLs
    URLURL Type Full-text
    DepartmentsFaculty of Science > Computer Science
    Research CentresEPSRC Centre for Doctoral Training in Statistical Mathematics (SAMBa)
    ?? WIRC ??
    Centre for Mathematical Biology
    Publisher Statementiclp2015.pdf:
    ID Code46860


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...