Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

• Κύριοι συγγραφείς: Janssen, Jeroen (Συγγραφέας), Schockaert, Steven (Συγγραφέας), Vermeir, Dirk (Συγγραφέας), de Cock, Martine (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Paris : Atlantis Press, 2012.
• Σειρά: Atlantis Computational Intelligence Systems, 5
• Θέματα: 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...

Πίνακας περιεχομένων:

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