Conclusions

This work was concerned with the last enrichment performed on our FLOPER system to cope with similarity relations. In [5, 4, 11] we provide some advances in the design of declarative semantics and/or correctness properties regarding the development of fuzzy logic languages dealing with similarity/proximity relations (Bousi∼Prolog) or highly expressive lattices modeling truth degrees (MALP). As a matter of future work we want to establish that analogous –but reinforced– features also hold in the twofold integrated fuzzy language FASILL whose syntax, procedural principle (based on weak -instead of syntactic- unification for managing similarity relations) and implementation details were described along this web.

References

  • [1] R.Caballero, M.Rodríguez-Artalejo & C.Romero-Díaz(2014): A Transformation-based implementation for CLP with qualification and proximity. Theory and Practice of Logic Programming 14(1), pp. 1–63. Available at http://dx.doi.org/10.1017/S1471068412000014.
  • [2] F. A. Fontana (2002): Likelog for flexible query answering. Soft Computing 7(2), pp. 107–114.
  • [3] F. Formato, G. Gerla & M.I. Sessa (2000): Similarity-based Unification. Fundamenta Informaticae 41(4), pp. 393–414.
  • [4] P. Julián-Iranzo, G.Moreno & J. Penabad(2009): On the Declarative Semantics of Multi-Adjoint Logic Programs. In: Proc. of 10th Intl Work-Conference on Artificial Neural Networks (Part I), IWANN’09, Springer Verlag, LNCS 5517, pp. 253–260. Available at http://dx.doi.org/10.1007/978-3-642-02478-8_32.
  • [5] P. Julián-Iranzo & C. Rubio-Manzano (2009): A declarative semantics for Bousi∼Prolog. In: Proc. of 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP’09, ACM, pp. 149–160. Available at http://doi.acm.org/10.1145/1599410.1599430.
  • [6] P. Julián-Iranzo & C. Rubio-Manzano (2010): An efficient fuzzy unification method and its implementation into the Bousi∼Prolog system. In: Proc. of the 2010 IEEE International Conference on Fuzzy Systems, IEEE, pp. 1–8. Available at http://dx.doi.org/10.1109/FUZZY.2010.5584193.
  • [7] M. Kifer & V. S. Subrahmanian (1992): Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, pp. 335–367.
  • [8] J. Medina, M. Ojeda-Aciego & P. Vojtásˇ (2004): Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, pp. 43–62.
  • [9] P. J. Morcillo, G. Moreno, J. Penabad & C. Vázquez (2010): A Practical Management of Fuzzy Truth Degrees using FLOPER. In: Proc. of 4nd. Intl. Symposium on Rule Interchange and Applications, RuleML’10, Springer Verlag, LNCS 6403, pp. 20–34. Available at http://dx.doi.org/10.1007/978-3-642-16289-3_4.
  • [10] G. Moreno, J. Penabad & C. Vázquez (2013): Relaxing the Role of Adjoint Pairs in Multi-adjoint Logic Programming. In I. Hamilton & J. Vigo-Aguiar, editors: Proc. of 13th International Conference on Mathematical Methods in Science and Engineering, CMMSE’13 (Volume III), pp. 1156–1167.
  • [11] G. Moreno, J. Penabad & C. Vázquez (2014): Fuzzy Sets for a Declarative Description of Multi- adjoint Logic Programming. In: Proc. of the 9th International Conference on Rough Sets and Cur- rent Trends in Soft Computing, RSCTC 2014, Springer Verlag, LNCS 8536, pp. 71–82. Available at http://dx.doi.org/10.1007/978-3-319-08644-6_7.
  • [12] G. Moreno & C. Vázquez (2014): Fuzzy Logic Programming in Action with FLOPER. Journal of Software Engineering and Applications 7, pp. 237–298. Available at http://dx.doi.org/10.4236/jsea.2014.74028.
  • [13] S. Muñoz-Hernández, V. Pablos Ceruelo & H. Strass (2011): RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog. Information Sciences 181(10), pp. 1951–1970. Available at http://dx.doi.org/10.1016/j.ins.2010.07.033.
  • [14] H. T. Nguyen & E. A. Walker (2006): A First Course in Fuzzy Logic. Chatman & Hall, Boca Rato ́n, Florida. Third edition.
  • [15] C. Rubio-Manzano & P. Julián-Iranzo (2014): A Fuzzy linguistic prolog and its applications. Journal of Intelligent and Fuzzy Systems 26(3), pp. 1503–1516. Available at http://dx.doi.org/10.3233/IFS-130834.
  • [16] M. I. Sessa (2002): Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Sci- ence 275(1-2), pp. 389–426. Available at http://dx.doi.org/10.1016/S0304-3975(01)00188-8.