Abstract
We introduce the stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. Combining the advantages of both formalisms, the introduced language allows highly configurable default reasoning involving fuzzy truth values. We show that several properties of Boolean stable models are naturally extended to this formalism, and discuss how it is related to other approaches to combining fuzzy logic and the stable model semantics.
| Original language | English (US) |
|---|---|
| Title of host publication | CEUR Workshop Proceedings |
| Publisher | CEUR-WS |
| Pages | 114-126 |
| Number of pages | 13 |
| Volume | 1205 |
| State | Published - 2014 |
| Event | 1st Workshop on Logics for Reasoning About Preferences, Uncertainty, and Vagueness, PRUV 2014 - Vienna, Austria Duration: Jul 23 2014 → Jul 24 2014 |
Other
| Other | 1st Workshop on Logics for Reasoning About Preferences, Uncertainty, and Vagueness, PRUV 2014 |
|---|---|
| Country/Territory | Austria |
| City | Vienna |
| Period | 7/23/14 → 7/24/14 |
ASJC Scopus subject areas
- General Computer Science