Aggregated fuzzy answer set programmingReportar como inadecuado

Aggregated fuzzy answer set programming - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

(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:

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



Documentos relacionados