Stable models of fuzzy propositional formulas

Joohyung Lee, Yi Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish (US)
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Pages114-126
Number of pages13
Volume1205
StatePublished - 2014
Event1st Workshop on Logics for Reasoning About Preferences, Uncertainty, and Vagueness, PRUV 2014 - Vienna, Austria
Duration: Jul 23 2014Jul 24 2014

Other

Other1st Workshop on Logics for Reasoning About Preferences, Uncertainty, and Vagueness, PRUV 2014
CountryAustria
CityVienna
Period7/23/147/24/14

Fingerprint

Semantics
Fuzzy logic

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Lee, J., & Wang, Y. (2014). Stable models of fuzzy propositional formulas. In CEUR Workshop Proceedings (Vol. 1205, pp. 114-126). CEUR-WS.

Stable models of fuzzy propositional formulas. / Lee, Joohyung; Wang, Yi.

CEUR Workshop Proceedings. Vol. 1205 CEUR-WS, 2014. p. 114-126.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, J & Wang, Y 2014, Stable models of fuzzy propositional formulas. in CEUR Workshop Proceedings. vol. 1205, CEUR-WS, pp. 114-126, 1st Workshop on Logics for Reasoning About Preferences, Uncertainty, and Vagueness, PRUV 2014, Vienna, Austria, 7/23/14.
Lee J, Wang Y. Stable models of fuzzy propositional formulas. In CEUR Workshop Proceedings. Vol. 1205. CEUR-WS. 2014. p. 114-126
Lee, Joohyung ; Wang, Yi. / Stable models of fuzzy propositional formulas. CEUR Workshop Proceedings. Vol. 1205 CEUR-WS, 2014. pp. 114-126
@inproceedings{153e2bbd73d84d179fd5ef217055acea,
title = "Stable models of fuzzy propositional formulas",
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.",
author = "Joohyung Lee and Yi Wang",
year = "2014",
language = "English (US)",
volume = "1205",
pages = "114--126",
booktitle = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",

}

TY - GEN

T1 - Stable models of fuzzy propositional formulas

AU - Lee, Joohyung

AU - Wang, Yi

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84921023366&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84921023366&partnerID=8YFLogxK

M3 - Conference contribution

VL - 1205

SP - 114

EP - 126

BT - CEUR Workshop Proceedings

PB - CEUR-WS

ER -