User guided abductive proof generation for answer set programming queries

• Main Authors: 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
• 機構: 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...