Abstract
The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency and scalability of programs after applying computational steps on their rules. Inspired by our previous experiences in fuzzy logic languages not dealing with similarity relations, in this work we adapt such operation to the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has been recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.
Keywords
This work has been partially supported by the EU (FEDER), the State Research Agency (AEI) and the Spanish Ministerio de Economía y Competitividad under grant TIN2016-76843-C4-2-R (AEI/FEDER, UE).
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 subscriptionsReferences
Almendros-Jiménez, J.M., Bofill, M., Luna-Tedesqui, A., Moreno, G., Vázquez, C., Villaret, M.: Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. In: Beierle, C., Dekhtyar, A. (eds.) SUM 2015. LNCS, vol. 9310, pp. 385–398. Springer, Cham (2015). doi:10.1007/978-3-319-23540-0_26
Julián-Iranzo, P., Moreno, G., Penabad, J.: On fuzzy unfolding: a multi-adjoint approach. Fuzzy Sets Syst. 154, 16–33 (2005)
Julián-Iranzo, P., Moreno, G., Penabad, J., Vázquez, C.: A fuzzy logic programming environment for managing similarity and truth degrees. In: Escobar, S. (ed.), Proceedings of XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cádiz, Spain, vol. 173. EPTCS, pp. 71–86 (2015). http://dx.doi.org/10.4204/EPTCS.173.6
Julián-Iranzo, P., Moreno, G., Penabad, J., Vázquez, C.: A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 68–82. Springer, Cham (2016). doi:10.1007/978-3-319-42019-6_5
Julián-Iranzo, P., Rubio-Manzano, C.: An efficient fuzzy unification method and its implementation into the bousi prolog system. In: Proceedings of the IEEE International Conference on Fuzzy Systems, Barcelona, Spain, pp. 1–8. IEEE (2010). http://dx.doi.org/10.1109/FUZZY.2010.5584193
Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Program. 12, 335–367 (1992)
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146, 43–62 (2004)
Pettorossi, A., Proietti, M.: Rules and strategies for transforming functional and logic programs. ACM Comput. Surv. 28(2), 360–414 (1996)
Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theoret. Comput. Sci. 275(1–2), 389–426 (2002)
Tamaki, H., Sato, T.: Unfold/Fold transformations of logic programs. In: Tärnlund, S. (ed.), Proceedings of Second International Conference on Logic Programming, pp. 127–139 (1984)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Moreno, G., Penabad, J., Riaza, J.A. (2017). On Similarity-Based Unfolding. In: Moral, S., Pivert, O., Sánchez, D., Marín, N. (eds) Scalable Uncertainty Management. SUM 2017. Lecture Notes in Computer Science(), vol 10564. Springer, Cham. https://doi.org/10.1007/978-3-319-67582-4_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-67582-4_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67581-7
Online ISBN: 978-3-319-67582-4
eBook Packages: Computer ScienceComputer Science (R0)