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 \rightarrow [0,1]$-mappings. Despite that very general connectives are allowed, the presented framework turns out to be an intuitive extension of answer set programming.
Original languageEnglish
Title of host publicationSoft Computing: State of the Art Theory and Novel Applications
EditorsRonald R. Yager, Ali M. Abbasov, Marek Z. Reformat, Shahnaz N. Shahbazova
Number of pages14
ISBN (Electronic)978-3-642-34922-5
ISBN (Print)978-3-642-34921-8
Publication statusPublished - 2013

Publication series

NameStudies in Fuzziness and Soft Computing
ISSN (Print)1434-9922

    Research areas

  • Fuzzy logics, Answer Set Programming

ID: 2267618