Aggregated fuzzy answer set programmingReport as inadecuate

Aggregated fuzzy answer set programming - Download this document for free, or read online. Document in PDF available to download.

(2011)ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE.63(2).p.103-147 Mark abstract Fuzzy Answer Set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combinatorial problems. As a result of its inherent continuity, rules in FASP may be satisfied or violated to certain degrees. Rather than insisting that all rules are fully satisfied, we may only require that they are satisfied partially, to the best extent possible. However, most approaches that feature partial rule satisfaction limit themselves to attaching predefined weights to rules, which is not sufficiently flexible for most real-life applications. In this paper, we develop an alternative, based on aggregator functions that specify which (combination of) rules are most important to satisfy. We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics.

Please use this url to cite or link to this publication:

Author: Jeroen Janssen , Steven Schockaert , Dirk Vermeir and Martine De Cock



Related documents