Stable Models of Fuzzy Propositional Formulas
Authors: Joohyung Lee and Yi Wang
Paper Information
| Title: | Stable Models of Fuzzy Propositional Formulas |
| Authors: | Joohyung Lee and Yi Wang |
| Proceedings: | PRUV 2014 Proceedings |
| Editors: | Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan |
| Keywords: | answer set programming, fuzzy logic, stable model semantics |
| Abstract: | ABSTRACT. We introduce the stable model semantics of fuzzy propositional formulas, which generalizes both the stable model semantics of classical propositional formulas and fuzzy logic. We show that several properties of Boolean stable models are naturally extended to this formalism, and our formalism is related to other approaches to combining fuzzy logic and the stable model semantics. |
| Pages: | 13 |
| Talk: | Jul 23 11:15 |
| Paper: |  |