Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

• Main Authors: Janssen, Jeroen (Author), Schockaert, Steven (Author), Vermeir, Dirk (Author), de Cock, Martine (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Paris : Atlantis Press, 2012.
• Series: Atlantis Computational Intelligence Systems, 5
• Subjects: Computer science.; Logic.; Logic design.; Computer logic.; Computer simulation.; Computer Science.; Logics and Meanings of Programs.; Logic Design.; Simulation and Modeling.

Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for model...

Table of Contents:

• Introduction
• Preliminaries
• Fuzzy Answer Set Programming
• Aggregated Fuzzy Answer Set Programming
• Core Fuzzy Answer Set Programming
• Reducing FASP to Fuzzy SAT
• Conclusions.