Projects per year
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 satised or violated to
certain degrees. Rather than insisting that all rules are fully satised, we may only
require that they are satised partially, to the best extent possible. However, most approaches
that feature partial rule satisfaction limit themselves to attaching predened
weights to rules, which is not suciently
exible 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 dene partially ordered preferences, and by the
use of a xpoint semantics.
(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 satised or violated to
certain degrees. Rather than insisting that all rules are fully satised, we may only
require that they are satised partially, to the best extent possible. However, most approaches
that feature partial rule satisfaction limit themselves to attaching predened
weights to rules, which is not suciently
exible 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 dene partially ordered preferences, and by the
use of a xpoint semantics.
Original language | English |
---|---|
Pages (from-to) | 103-147 |
Number of pages | 45 |
Journal | Annals of Mathematics and Artificial Intelligence |
Volume | 63 |
Publication status | Published - 2011 |
Keywords
- answer set programming
- fuzzy logic
Fingerprint
Dive into the research topics of 'Aggregated Fuzzy Answer Set Programming'. Together they form a unique fingerprint.Projects
- 1 Finished
-
FWOAL532: Fuzzy Answer Set Programming 2.0
Vermeir, D., De Cock, M. & Schockaert, S.
1/01/10 → 31/12/13
Project: Fundamental
Activities
- 1 Membership of external research organisation
-
Unknown (External organisation)
Dirk Vermeir (Member)
21 May 2003 → …Activity: Membership › Membership of external research organisation