User guided abductive proof generation for answer set programming queries

• Main Authors: MAHAJAN, Avishkar, STRECKER, Martin, WONG, Meng Weng (HUANG Mingrong)
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Theory of computation; Constraint and logic programming; Automated reasoning; Applied computing; Law; Programming Languages and Compilers; Science and Technology Law
• Online Access: https://ink.library.smu.edu.sg/sol_research/3995; https://ink.library.smu.edu.sg/context/sol_research/article/5953/viewcontent/PPDP_paper_official.pdf
• Institution: Singapore Management University

We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles is automatically constructed just from the input rules alone. Given a (possibly empty) set of user provided facts, our...