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 language | English |
|---|---|
| Title of host publication | Proceedings of the 13th International Workshop on Non-monotonic reasoning (NMR) |
| Publisher | Nonmonotonic Reasoning (NMR) |
| Number of pages | 7 |
| Publication status | Published - 2010 |
| Event | 13th International Workshop on non-monotonic reasoning (NMR 2010) - Toronto, Canada Duration: 14 May 2010 → 16 May 2010 |
Conference
| Conference | 13th International Workshop on non-monotonic reasoning (NMR 2010) |
|---|---|
| Country/Territory | Canada |
| City | Toronto |
| Period | 14/05/2010 → 16/05/2010 |