Sciweavers

EUSFLAT
2009

Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers

13 years 1 months ago
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy provides some useful extensions: default values to represent missing information, and typed terms to intuitively restrict predicate domains. Together, they allow the system to give constructive answers in addition to truth values. RFuzzy does not confine to a particular Fuzzy Logic, but aims at being as general as possible by using the notion of aggregation operators. Keywords-- Operational Semantics, Logic Programming Application
Hannes Strass, Susana Muñoz-Hernánde
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where EUSFLAT
Authors Hannes Strass, Susana Muñoz-Hernández, Victor Pablos Ceruelo
Comments (0)