Aggregated Fuzzy Answer Set Programming
β Scribed by Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock
- Publisher
- Springer Netherlands
- Year
- 2011
- Tongue
- English
- Weight
- 665 KB
- Volume
- 63
- Category
- Article
- ISSN
- 1012-2443
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guarding knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting extende