Fuzzy Answer Set Programming: An Introduction [chapter]

Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2013 Studies in Fuzziness and Soft Computing  
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
more » ... lity, 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.
doi:10.1007/978-3-642-34922-5_15 fatcat:sjdl5zq7znfujhvb45zvte4fhe