FASILL (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) is a fuzzy logic programming language with implicit/explicit truth degree annotations, a great variety of connec- tives and unification by similarity. FASILL integrates and extends features coming from MALP (Multi-Adjoint Logic Programming, a fuzzy logic language with explicitly annotated rules) and Bousi∼Prolog (which uses a weak unification algorithm and is well suited for flexible query an- swering). Hence, it properly manages similarity and truth degrees in a single framework combining the expressive benefits of both languages. This web presents the main features and implementations details of FASILL. Along the web we describe its syntax and operational semantics and we give clues of the implementation of the lattice module and the similarity module, two of the main building blocks of the new programming environment which enriches the FLOPER system developed in our research group.
[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. Julia ́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.