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 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
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Almendros-Jiménez, Jesús M.; Luna Tedesqui, Alejandro; Moreno, Ginés: Fuzzy XPath through fuzzy logic programming (2015)
- Estaji, A.A.; Hooshmandasl, M.R.; Davvaz, B.: Rough set theory applied to lattice theory (2012)
- Aliev, Rafik; Tserkovny, Alex: Systemic approach to fuzzy logic formalization for approximate reasoning (2011)
- Munoz-Hernandez, Susana; Pablos-Ceruelo, Víctor; Strass, Hannes: RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog (2011)