RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog |
| |
Authors: | Susana Munoz-Hernandez,Ví ctor Pablos-Ceruelo |
| |
Affiliation: | L-3302, Campus de Montegancedo s/n, Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte 28660, Spain |
| |
Abstract: | 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: | Fuzzy logic Logic programming application Knowledge representation and reasoning Semantics Implementation |
本文献已被 ScienceDirect 等数据库收录! |
|