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.
This work has been partially supported by the EU (FEDER), and the Spanish Science and Education Ministry (MEC) under grants TIN 2004-07943-C04-03 and TIN 2007-65749.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abietar, J.M., Morcillo, P.J., Moreno, G.: Designing a software tool for fuzzy logic programming. In: Simos, T.E., Maroulis, G. (eds.) Proc. of ICCMSE 2007. Computation in Modern Science and Engineering, vol. 2, pp. 1117–1120. American Institute of Physics (distributed by Springer) (2007)
Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., Chichester (1995)
Guadarrama, S., Muñoz, S., Vaucheret, C.: Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems 144(1), 127–150 (2004)
Guerrero, J.A., Moreno, G.: Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. In: Visser, J., Winter, V. (eds.) Proc. of the 8th. International Workshop on Rule-Based Programming, RULE 2007. Electronic Notes in Theoretical Computer Science, 15 pages. Elsevier, Amsterdam (to appear, 2007)
Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Joshi, A.K. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence, IJCAI 1985, pp. 701–703. Morgan Kaufmann, San Francisco (1985)
Julián, P., Moreno, G., Penabad, J.: On Fuzzy Unfolding. A Multi-adjoint Approach. Fuzzy Sets and Systems 154, 16–33 (2005)
Julián, P., Moreno, G., Penabad, J.: Efficient reductants calculi using partial evaluation techniques with thresholding. Electronic Notes in Theoretical Computer Science 188, 77–90 (2007)
Julián, P., Moreno, G., Penabad, J.: Measuring the interpretive cost in fuzzy logic computations. In: Masulli, F., Mitra, S., Pasi, G. (eds.) WILF 2007. LNCS (LNAI), vol. 4578, pp. 28–36. Springer, Heidelberg (2007)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
Medina, J., Mérida-Casermeiro, E., Ojeda-Aciego, M.: A neural implementation of multi-adjoint logic programs via sf-homogeneous programs. Mathware & Soft Computing XII, 199–216 (2005)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 43–62 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morcillo, P.J., Moreno, G. (2008). Programming with Fuzzy Logic Rules by Using the FLOPER Tool. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule Representation, Interchange and Reasoning on the Web. RuleML 2008. Lecture Notes in Computer Science, vol 5321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88808-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-88808-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88807-9
Online ISBN: 978-3-540-88808-6
eBook Packages: Computer ScienceComputer Science (R0)