OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Extending Answer Set Programming using Generalized Possibilistic Logic

Dubois, Didier and Prade, Henri and Schockaert, Steven Extending Answer Set Programming using Generalized Possibilistic Logic. (2015) In: IJCAI Workshop 13 Ontologies and Logic Programming for Query Answering (ONTOLP 2015), 25 July 2015 - 25 July 2015 (Buenos Aires, Argentina).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Answer set programming (ASP) is a form of logic programming in which negation-as-failure is defined in a purely declarative way, based on the notion of a stable model. This short paper briefly explains how a recent generalization of possibilistic logic (GPL) can be used to characterize the semantics of answer set programming. This characterization has several advantages over existing characterizations of the stable model semantics. First, unlike reduct-based approaches, it does not rely on a syntactic procedure: we can directly characterize answer sets based on the minimally specific models of a GPL theory. Second, GPL enables us to study extensions of ASP in an intuitive way: unlike in existing generalizations of ASP such as equilibrium logic and autoepistemic logic, all formulas in GPL have a meaning which is intuitively clear. Finally, being based on possibilistic logic, GPL offers a natural way of dealing with uncertainty in answer set programs.

Item Type:Conference or Workshop Item (Paper)
Additional Information:The definitive version is available at : http://ontolp.lsis.org/files/pdf/proc-ontolp.pdf
HAL Id:hal-01287713
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Cardiff University (UNITED KINGDOM)
Laboratory name:
Deposited On:02 Mar 2016 12:28

Repository Staff Only: item control page