RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

We present the RFuzzy framework, a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our framework in comparison to previous tools along this line of research are its easy, user-friendly syntax, and its expressivity through the availability of default values...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Information sciences Jg. 181; H. 10; S. 1951 - 1970
Hauptverfasser: Munoz-Hernandez, Susana, Pablos-Ceruelo, Víctor, Strass, Hannes
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 15.05.2011
Schlagworte:
Fuzzy
Fuzzy logic
Fuzzy set theory
Implementation
Knowledge representation and reasoning
Logic programming application
Mathematical models
Prolog (programming language)
Semantics
Syntax
Fuzzy logic
Logic programming application
Knowledge representation and reasoning
Semantics
Implementation
ISSN:0020-0255, 1872-6291
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present the RFuzzy framework, a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our framework in comparison to previous tools along this line of research are its easy, user-friendly syntax, and its expressivity through the availability of default values and types. In this approach we describe the formal syntax, the operational semantics and the declarative semantics of RFuzzy (based on a lattice). A least model semantics, a least fixpoint semantics and an operational semantics are introduced and their equivalence is proven. We provide a real implementation that is free and available. (It can be downloaded from http://babel.ls.fi.upm.es/software/rfuzzy/.) Besides implementation details, we also discuss some actual applications using RFuzzy.
Bibliographie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0020-0255
1872-6291
DOI:10.1016/j.ins.2010.07.033