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

Full description

Saved in:
Bibliographic Details
Published in:Information sciences Vol. 181; no. 10; pp. 1951 - 1970
Main Authors: Munoz-Hernandez, Susana, Pablos-Ceruelo, Víctor, Strass, Hannes
Format: Journal Article
Language:English
Published: Elsevier Inc 15.05.2011
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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