TY - JOUR AU - Lukumbuzya, Sanja AU - Ortiz, Magdalena AU - Šimkus, Mantas PY - 2020/04/03 Y2 - 2024/03/28 TI - Resilient Logic Programs: Answer Set Programs Challenged by Ontologies JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 34 IS - 03 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v34i03.5683 UR - https://ojs.aaai.org/index.php/AAAI/article/view/5683 SP - 2917-2924 AB - <p>We introduce <em>resilient logic programs</em> (RLPs) that couple a non-monotonic logic program and a first-order (FO) theory or description logic (DL) ontology. Unlike previous hybrid languages, where the interaction between the program and the theory is limited to consistency or query entailment tests, in RLPs answer sets must be ‘resilient’ to the models of the theory, allowing non-output predicates of the program to respond differently to different models. RLPs can elegantly express <i>∃∀∃</i>-QBFs, disjunctive ASP, and configuration problems under incompleteness of information. RLPs are decidable when a couple of natural assumptions are made: (i) satisfiability of FO theories in the presence of <em>closed predicates</em> is decidable, and (ii) rules are <em>safe</em> in the style of the well-known <em>DL-safeness</em>. We further show that a large fragment of such RLPs can be translated into standard (disjunctive) ASP, for which efficient implementations exist. For RLPs with theories expressed in DLs, we use a novel relaxation of safeness that safeguards rules via predicates whose extensions can be inferred to have a finite bound. We present several complexity results for the case where ontologies are written in some standard DLs.</p> ER -