Answer set programs with optional rules: a possibilistic approach

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Research output: Contribution to conferencePaper

Abstract

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.
Original languageEnglish
Number of pages8
Publication statusPublished - Aug 2013
EventWorkshop on Weighted Logics for AI (WL4AI'13) - Beijing, China
Duration: 03 Aug 201305 Aug 2013

Conference

ConferenceWorkshop on Weighted Logics for AI (WL4AI'13)
CountryChina
CityBeijing
Period03/08/201305/08/2013

Fingerprint Dive into the research topics of 'Answer set programs with optional rules: a possibilistic approach'. Together they form a unique fingerprint.

  • Cite this

    Bauters, K., Schockaert, S., Cock, M. D., & Vermeir, D. (2013). Answer set programs with optional rules: a possibilistic approach. Paper presented at Workshop on Weighted Logics for AI (WL4AI'13), Beijing, China. http://www.iiia.csic.es/wl4ai-2013/