Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 language | English |
---|---|

Title of host publication | Soft Computing: State of the Art Theory and Novel Applications |

Editors | Ronald R. Yager, Ali M. Abbasov, Marek Z. Reformat, Shahnaz N. Shahbazova |

Publisher | Springer |

Pages | 209-222 |

Number of pages | 14 |

ISBN (Electronic) | 978-3-642-34922-5 |

ISBN (Print) | 978-3-642-34921-8 |

Publication status | Published - 2013 |

Name | Studies in Fuzziness and Soft Computing |
---|---|

Publisher | Springer |

Volume | 291 |

ISSN (Print) | 1434-9922 |

- Fuzzy logics, Answer Set Programming

ID: 2267618