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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Information sciences Ročník 181; číslo 10; s. 1951 - 1970
Hlavní autoři: Munoz-Hernandez, Susana, Pablos-Ceruelo, Víctor, Strass, Hannes
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 15.05.2011
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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