On the Properties of Atom Definability and Well-Supportedness in Logic Programming
We analyse alternative extensions of stable models for non-disjunctive logic programs with arbitrary Boolean formulas in the body, and examine two semantic properties. The first property, we call atom definability, allows one to replace any expression in rule bodies by an auxiliary atom defined by a single rule. The second property, well-supportedness, was introduced by Fages and dictates that it must be possible to establish a derivation ordering for all true atoms in a stable model so that self-supportedness is not allowed. We start from a generic fixpoint definition for well-supportedness that deals with: (1) a monotonic basis, for which we consider the whole range of intermediate logics; and (2), an assumption function, that determines which type of negated formulas can be added as defaults. Assuming that we take the strongest underlying logic in such a case, we show that only Equilibrium Logic satisfies both atom definability and strict well-suportedness.
We are very thankful to the anonymous reviewers for their helpful comments and suggestions to improve the paper, especially for pointing out example after Theorem 1 which led to a more accurate reformulation.
- 1.Gelfond, M., Lifschitz, V.: The stable models semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080 (1988)Google Scholar
- 11.Fages, F.: Consistency of Clark’s completion and existence of stable models. J. Methods Log. Comput. Sci. 1(1), 51–60 (1994)Google Scholar
- 12.Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: ASP-Core-2 input language format (2013). https://www.mat.unical.it/aspcomp2013/ASPStandardization
- 13.Eiter, T., Tompits, H., Woltran, S.: On solution correspondences in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, pp. 97–102. Professional Book Center (2005)Google Scholar
- 14.Aguado, F., Cabalar, P., Fandinno, J., Pearce, D., Pérez, G., Vidal, C.: Forgetting auxiliary atoms in forks. In: Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017) (2017)Google Scholar
- 15.Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, New York (1978)Google Scholar
- 17.Tasharrofi, S.: A rational extension of stable model semantics to the full propositional language. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 1118–1124. AAAI Press (2013)Google Scholar
- 18.Alviano, M., Faber, W.: Stable model semantics of abstract dialectical frameworks revisited: a logic programming perspective. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2684–2690 (2015)Google Scholar