Inspecting Side-Effects of Abduction in Logic Programs

DI Group Author

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Abstract

In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.
Original languageUnknown
Title of host publicationLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond
EditorsM Balduccini, S Tran
Place of PublicationHeidelberg
PublisherSpringer
Pages148-163
ISBN (Print)978-3-642-20831-7
Publication statusPublished - 1 Jan 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
ISSN (Print)0302-9743

Keywords

    Cite this

    DI Group Author (2011). Inspecting Side-Effects of Abduction in Logic Programs. In M. Balduccini, & S. Tran (Eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond (pp. 148-163). (Lecture Notes in Computer Science). Heidelberg: Springer.
    DI Group Author. / Inspecting Side-Effects of Abduction in Logic Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond. editor / M Balduccini ; S Tran. Heidelberg : Springer, 2011. pp. 148-163 (Lecture Notes in Computer Science).
    @inbook{a600c77336a04f0193ca3ee3daee106e,
    title = "Inspecting Side-Effects of Abduction in Logic Programs",
    abstract = "In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.",
    keywords = "Logic Programs, Abduction, Side-Effects",
    author = "{DI Group Author}",
    note = "Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/",
    year = "2011",
    month = "1",
    day = "1",
    language = "Unknown",
    isbn = "978-3-642-20831-7",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "148--163",
    editor = "M Balduccini and S Tran",
    booktitle = "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond",

    }

    DI Group Author 2011, Inspecting Side-Effects of Abduction in Logic Programs. in M Balduccini & S Tran (eds), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond. Lecture Notes in Computer Science, Springer, Heidelberg, pp. 148-163.

    Inspecting Side-Effects of Abduction in Logic Programs. / DI Group Author.

    Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond. ed. / M Balduccini; S Tran. Heidelberg : Springer, 2011. p. 148-163 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    TY - CHAP

    T1 - Inspecting Side-Effects of Abduction in Logic Programs

    AU - DI Group Author

    N1 - Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/

    PY - 2011/1/1

    Y1 - 2011/1/1

    N2 - In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.

    AB - In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.

    KW - Logic Programs

    KW - Abduction

    KW - Side-Effects

    M3 - Chapter

    SN - 978-3-642-20831-7

    T3 - Lecture Notes in Computer Science

    SP - 148

    EP - 163

    BT - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond

    A2 - Balduccini, M

    A2 - Tran, S

    PB - Springer

    CY - Heidelberg

    ER -

    DI Group Author. Inspecting Side-Effects of Abduction in Logic Programs. In Balduccini M, Tran S, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond. Heidelberg: Springer. 2011. p. 148-163. (Lecture Notes in Computer Science).