User guided abductive proof generation for answer set programming queries

• المؤلفون الرئيسيون: MAHAJAN, Avishkar, STRECKER, Martin, WONG, Meng Weng (HUANG Mingrong)
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2022
• الموضوعات: Theory of computation; Constraint and logic programming; Automated reasoning; Applied computing; Law; Programming Languages and Compilers; Science and Technology Law
• الوصول للمادة أونلاين: 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

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...