Towards Possibilistic Fuzzy Answer Set Programming

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Downloads (Pure)

Abstract

Fuzzy answer set programming (FASP) is a generalization of answer set programming to continuous domains. As it can not readily take uncertainty into account, however, FASP is not suitable as a basis for approximate reasoning and cannot easily be used to derive conclusions from imprecise information. To cope with this, we propose an extension of FASP based on possibility theory. The resulting framework allows us to reason about uncertain information in continuous domains, and thus also about information that is imprecise or vague. We propose a syntactic procedure, based on an immediate consequence operator, and provide a characterization in terms of minimal models, which allows us to straightforwardly implement our framework using existing FASP solvers.
Original languageEnglish
Title of host publicationProceedings of the 13th International Workshop on Non-monotonic reasoning (NMR)
PublisherNonmonotonic Reasoning (NMR)
Number of pages7
Publication statusPublished - 2010
Event13th International Workshop on non-monotonic reasoning (NMR 2010) - Toronto, Canada
Duration: 14 May 201016 May 2010

Conference

Conference13th International Workshop on non-monotonic reasoning (NMR 2010)
CountryCanada
CityToronto
Period14/05/201016/05/2010

Fingerprint Dive into the research topics of 'Towards Possibilistic Fuzzy Answer Set Programming'. Together they form a unique fingerprint.

Cite this