Weak and Strong Disjunction in Possibilistic ASP
Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.
KeywordsPossibility Distribution Possibilistic Logic Disjunctive Program Stable Model Semantic Extend Logic Program
Unable to display preview. Download preview PDF.
- 3.Bauters, K., Schockaert, S., De Cock, M., Vermeir, D.: Possibilistic answer set programming revisited. In: Proc. of UAI 2010 (2010)Google Scholar
- 4.Confalonieri, R., Nieves, J.C., Vázquez-Salceda, J.: Pstable semantics for logic programs with possibilistic ordered disjunction. In: Proc. of AI*IA 2009, pp. 52–61 (2009)Google Scholar
- 6.Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Proc. of ICLP 1991, pp. 581–595 (1991)Google Scholar
- 8.Dubois, D., Prade, H.: Can we enforce full compositionality in uncertainty calculi? In: Proc. of AAAI 1994, pp. 149–154 (1994)Google Scholar
- 9.Dubois, D., Prade, H., Schockaert, S.: Rules and meta-rules in the framework of possibility theory and possibilistic logic. Scientia Iranica (to appear, 2011)Google Scholar
- 11.Gelfond, M., Lifzchitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1081–1086 (1988)Google Scholar
- 12.Lifschitz, V., Schwarz, G.: Extended logic programs as autoepistemic theories. In: Proc. of LPNMR 1993, pp. 101–114 (1993)Google Scholar
- 17.Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 3–28 (1978)Google Scholar