Fuzzy Logic Rules Modeling Similarity-based Strict Equality

• Autorzy: Ginés Moreno , Jaime Penabad , Carlos Vázquez
• Języki publikacji: EN

Abstrakty

EN

A classical, but even nowadays challenging research topic in declarative programming, consists in the design of powerful notions of <>, as occurs with the flexible (fuzzy) and efficient (lazy) model that we have recently proposed for hybrid declarative languages amalgamating functional-fuzzy logic features. The crucial idea is that, by extending at a very low cost the notion of <> typically used in lazy functional (HASKELL) and functional-logic (CURRY) languages, and by relaxing it to the more flexible one of similarity-based equality used in modern fuzzy-logic programming languages (such as LIKELOG and BOUSI-PROLOG), similarity relations can be successfully treated while mathematical functions are lazily evaluated at execution time. Now, we are concerned with the socalled <>, MALP in brief, which can be seen as an enrichment of PROLOG based on weighted rules with a wide range of fuzzy connectives. In this work, we revisit our initial notion of SSE (<>) in order to re-model it at a very high abstraction level by means of a simple set of MALP rules. The resulting technique (which can be tested on-line in dectau.uclm.es/sse) not only simulates, but also surpass in our target framework, the effects obtained in other fuzzy logic languages based on similarity relations (with much more complex/reinforced unification algorithms in the core of their procedural principles), even when the current operational semantics of MALP relies on the simpler, purely syntactic unification method of PROLOG.(original abstract)

Słowa kluczowe

EN

Object-oriented programming (OOP); Programing languages; Information science

PL

Programowanie obiektowe; Języki programowania; Informatyka

• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2014
• Tom: 2
• Strony: 119--128

Twórcy

autor

Ginés Moreno

• University of Castilla-La Mancha, Spain

autor

Jaime Penabad

• University of Castilla-La Mancha, Spain

autor

Carlos Vázquez

• University of Castilla-La Mancha, Spain

Bibliografia

• "Fuzzy Computed Answers Collecting Proof Information," in Advances in Computational Intelligence - Proc of the 11th Int. Work-Conference on Artificial Neural Networks, IWANN'11, J. C. et al., Ed. Springer Verlag, LNCS 6692, 2011, pp. 445-452.
• Almendros-Jiménez J., Luna A., and Moreno G., "A Flexible XPath-based Query Language Implemented with Fuzzy Logic Programming," in Proc. of 5th Int. Symposium on Rules: Research Based, Industry Focused, RuleML'11. Barcelona, Spain, July 19-21, N. Bassiliades, G. Governatori, and A. Pasckhe, Eds. Springer Verlag, LNCS 6826, 2011, pp. 186-193. [Online]. Available: http://dl.acm.org/citation.cfm?id=2032787.2032807
• Arcelli F. and Formato F., "Likelog: A logic programming language for flexible data retrieval," in Proc. of the 1999 ACM Symposium on Applied Computing (SAC'99), February 28 - March 2, 1999, San Antonio, USA. ACM, Artificial Intelligence and Computational Logic, 1999, pp. 260-267. [Online]. Available: http://doi.acm.org/10.1145/298151.298348
• Baldwin J. F., Martin T. P., and Pilsworth B. W., Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., 1995.
• Bratko I., Prolog Programming for Artificial Intelligence. Addison Wesley, 2000.
• Bröcheler M., Mihalkova L., and Getoor L., "Probabilistic similarity logic," Computing Research Repository, vol. abs/1203.3469, 2012. [Online]. Available: http://arxiv.org/abs/1203.3469
• Caballero R., Rodríguez-Artalejo M., Romero-Díaz C. A., "Similarity-based reasoning in qualified logic programming," in Proceedings of the 10th Int. ACM SIGPLAN conference on Principles and practice of declarative programming, ser. PPDP'08. New York, USA: ACM, 2008, pp. 185-194. [Online]. Available: http://doi.acm.org/10.1145/1389449.1389472
• Hall C. V., Hammond K., Partain W., Jones S. L. P., and Wadler P., "The glasgow haskell compiler: A retrospective," in Functional Programming, ser. Workshops in Computing, J. Launchbury and P. M. Sansom, Eds. Springer, 1992, pp. 62-71. [Online]. Available: http://dl.acm.org/citation.cfm?id=647557.729914
• Hanus M.(ed.), "Curry: An Integrated Functional Logic Language," Available at http://www.informatik.uni-kiel.de/ ̃mh/curry/, 2003.
• Ishizuka M. and Kanai N., "Prolog-ELF Incorporating Fuzzy Logic," in Proceedings of the 9th Int. Joint Conference on Artificial Intelligence, IJCAI'85, A. K. Joshi, Ed. Morgan Kaufmann, 1985, pp. 701-703. [Online]. Available: http://dl.acm.org/citation.cfm?id=1623611.1623612
• Julián P., "A procedure for the construction of a similarity relation," in Proc. of 12th Information Processing and Management of Uncertainty, IPMU'08,June 22-27, Málaga, Spain, M. Ojeda, Ed. Springer CCIS 80 (Part I), 2008, pp. 489-́n496.
• Julián P., Rubio C., Gallardo J., "Bousi∼prolog: a prolog extension language for flexible query answering," Electronic Notes in Theoretical Computer Science, vol. 248, pp. 131-147, 2009. [Online]. Available: http://dx.doi.org/10.1016/j.entcs.2009.07.064
• Kimmig A., Demoen B., Raedt L. D., Costa V. S., and Rocha R., "On the implementation of the probabilistic logic programming language problog," TPLP, vol. 11, no. 2-3, pp. 235-262, 2011. [Online]. Available: http://dx.doi.org/10.1017/S1471068410000566
• Lee R., "Fuzzy Logic and the Resolution Principle," Journal of the ACM, vol. 19, no. 1, pp. 119-129, 1972. [Online]. Available: http://doi.acm.org/10.1145/321679.321688
• Li D. and Liu D., A fuzzy Prolog database system. John Wiley & Sons, Inc., 1990.
• Lloyd J., Foundations of Logic Programming. Springer-Verlag, Berlin, 1987, second edition.
• Medina J., Ojeda-Aciego M., Vojtáš P., "Similarity-based Unification: a multi-adjoint approach," Fuzzy Sets and Systems, vol. 146, pp. 43-62, 2004. [Online]. Available: http://dblp.uni-trier.de/db/journals/fss/fss146.html