Programming with Fuzzy Logic Rules by Using the FLOPER Tool

Authors:
Pedro J. Morcillo;Gines Moreno
Affiliations:
Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain 02071;Department of Computing Systems, University of Castilla-La Mancha, Albacete, Spain 02071
Venue:
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Year:
2008

Citing 7
Cited 10

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence

Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring the Interpretive Cost in Fuzzy Logic Computations

WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Electronic Notes in Theoretical Computer Science (ENTCS)
Prolog-ELF incorporating fuzzy logic

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
On fuzzy unfolding: A multi-adjoint approach

Fuzzy Sets and Systems

Modeling Interpretive Steps in Fuzzy Logic Computations

WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
A practical management of fuzzy truth-degrees using FLOPER

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

Information Sciences: an International Journal
A static preprocess for improving fuzzy thresholded tabulation

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Fuzzy computed answers collecting proof information

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Declarative traces into fuzzy computed answers

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A flexible XPath-based query language implemented with fuzzy logic programming

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

Electronic Notes in Theoretical Computer Science (ENTCS)
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation

IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
Annotating "Fuzzy chance degrees" when debugging XPath queries

IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

The "Fuzzy LOgic Programming Environment for Research", FLOPER in brief, that we have implemented in our research group, is intended to help the development of rule-based applications supporting fuzzy logic and approximated reasoning. The system is able to directly translate a powerful kind of fuzzy logic programs (belonging to the so-called multi-adjoint logic approach ) into Prolog code which can be directly executed inside any standard Prolog interpreter in a completely transparent way for the final user. The system also generates a low-level representation of the fuzzy code offering debugging (tracing) capabilities with close connections to other program manipulation tasks (optimization, specialization, etc). Our approach focuses on practical and technical aspects on rule-based reasoning with uncertain and fuzzy information.