Stable models of fuzzy propositional formulas

Joohyung Lee, Yi Wang

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


We introduce the stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of Boolean 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.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Stable models of fuzzy propositional formulas'. Together they form a unique fingerprint.

Cite this