Abstract
MALP (i.e., the so-called Multi-Adjoint Logic Programming approach) can be seen as a promising fuzzy extension of the popular, pure logic language Prolog, including too a wide repertoire of constructs based on fuzzy logic in order to support uncertainty and approximated reasoning in a natural way. Moreover, the Fuzzy LOgic Programming Environment for Research, FLOPER in brief, that we have implemented in our research group, is intended to assists the development of real-world applications written with MALP syntax. Among other capabilities, the system is able to safely translate fuzzy code into Prolog clauses which can be directly executed inside any standard Prolog interpreter in a completely transparent way for the final user. In this fuzzy setting, it is mandatory the use of lattices modeling truth degrees beyond {true; false}. As described in this paper, FLOPER is able to successfully deal (in a very easy way) with sophisticated lattices modeling truth degrees in the real interval [0,1], also documenting -via declarative traces- the proof procedures followed when solving queries, without extra computational cost.
This work was supported by the EU (FEDER), and the Spanish Science and Innovation Ministry (MICINN) under grants TIN 2007-65749 and TIN2011-25846, and by the Castilla-La Mancha Administration under grant PII1I09-0117-4481.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., Chichester (1995)
Guerrero, J.A., Moreno, G.: Optimizing fuzzy logic programs by unfolding, aggregation and folding. Electronic Notes in Theoretical Computer Science 219, 19–34 (2008)
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., Medina, J., Moreno, G., Ojeda, M.: Efficient thresholded tabulation for fuzzy query answering. Studies in Fuzziness and Soft Computing (Foundations of Reasoning under Uncertainty) 249, 125–141 (2010)
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.: Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. Journal of Universal Computer Science 12(11), 1679–1699 (2006)
Julián, P., Moreno, G., Penabad, J.: An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems 160, 162–181 (2009)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: A procedural semantics for multi-adjoint logic programing. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 290–297. Springer, Heidelberg (2001)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 43–62 (2004)
Morcillo, P.J., Moreno, G.: Programming with fuzzy logic rules by using the FLOPER tool. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 119–126. Springer, Heidelberg (2008)
Morcillo, P.J., Moreno, G., Penabad, J., Vázquez, C.: A Practical Management of Fuzzy Truth-Degrees Using FLOPER. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 20–34. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morcillo, P.J., Moreno, G., Penabad, J., Vázquez, C. (2011). Fuzzy Computed Answers Collecting Proof Information. In: Cabestany, J., Rojas, I., Joya, G. (eds) Advances in Computational Intelligence. IWANN 2011. Lecture Notes in Computer Science, vol 6692. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21498-1_56
Download citation
DOI: https://doi.org/10.1007/978-3-642-21498-1_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21497-4
Online ISBN: 978-3-642-21498-1
eBook Packages: Computer ScienceComputer Science (R0)