Chapter

Soft Computing: State of the Art Theory and Novel Applications

Volume 291 of the series Studies in Fuzziness and Soft Computing pp 209-222

Fuzzy Answer Set Programming: An Introduction

  • Marjon BlondeelAffiliated withDepartment of Computer Science, Vrije Universiteit Brussel Email author 
  • , Steven SchockaertAffiliated withSchool of Computer Science and Informatics, Cardiff University
  • , Dirk VermeirAffiliated withDepartment of Computer Science, Vrije Universiteit Brussel
  • , Martine De CockAffiliated withDepartment of Applied Mathematics and Computer Science, Universiteit Gent

* Final gross prices may vary according to local VAT.

Get Access

Abstract

In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions. FASP is a combination of answer set programming and fuzzy logics which has recently been proposed. From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous problems. FASP can be tailored towards different applications since fuzzy logics gives a great flexibility, e.g. by the possibility to use different generalizations of the classical connectives. In this chapter, we consider a rather general form of FASP programs; the connectives can in principal be interpreted by arbitrary [0,1] n  → [0,1]-mappings. Despite that very general connectives are allowed, the presented framework turns out to be an intuitive extension of answer set programming.