RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

Information Sciences

Volumn 181, Issue 10, 2011, Pages 1951-1970

  Munoz Hernandez, Susana ^a   Pablos Ceruelo, Víctor ^a   Strass, Hannes ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Fuzzy logic; Implementation; Knowledge representation and reasoning; Logic programming application; Semantics

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FUZZY LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SYNTACTICS;

DECLARATIVE SEMANTICS; FIX-POINT SEMANTICS; FORMAL SYNTAXES; FUZZY INFORMATION; IMPLEMENTATION; KNOWLEDGE REPRESENTATION AND REASONING; LEAST MODEL SEMANTICS; OPERATIONAL SEMANTICS;

SEMANTICS;

EID: 79952183495     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.07.033     Document Type: Article

References (52)

1. J.M. Abietar, P.J. Morcillo, G. Moreno, Designing a software tool for fuzzy logic programming, in: G. Maroulis, T.E. Simos, (Eds.), Computational Methods in Science and Engineering, American Institute of Physics Conference Series, vol. 963, December 2007, pp. 1117-1120.
2. J.F. Baldwin, T.P. Martin, and B.W. Pilsworth Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence 1995 John Wiley & Sons, Inc. New York, NY, USA
3. Stefano Bistarelli, and Francesca Rossi Semiring-based constraint logic programming: syntax and semantics ACM Trans. Program. Lang. Syst. 23 1 2001 1 29 (Pubitemid 33614268)
4. Mahfuza Farooque, Susana Muñoz-Hernández, Easy fuzzy tool for emotion recognition: Prototype from voice speech analisys, in: J. Kacprzyk J. Filipe, A. Dourado, (Eds.), Proceeding of ICFC 2009 - First International Conference on Fuzzy Computation, Madeira, Portugal, INSTICC Press, October 2009.
5. S. Guadarrama, S. Mu ñoz-Hernández, and C. Vaucheret Fuzzy prolog: a new approach using soft constraints propagation Fuzzy Sets Syst. (FSS) 144 1 2004 127 150 Possibilistic Logic and Related Issues
6. Siegfried Gottwald A Treatise on Many-Valued Logics Studies in Logic and Computation vol. 9 2001 Research Studies Press
7. Siegfried Gottwald Mathematical fuzzy logic as a tool for the treatment of vague information Inform. Sci. 172 1-2 2005 41 71 (Pubitemid 40612867)
8. Susana Muñoz-Hernández, and Wiratna Sari Wiguna Fuzzy cognitive layer in robocupsoccer 12th International Fuzzy Systems Association World Congress (IFSA 2007) Foundations of Fuzzy Logic and Soft Computing 2007 Springer Cancún, México 635 645 (Pubitemid 350270019)
9. Susana Muñoz-Hernández, and Wiratna Sari Wiguna Fuzzy prolog as cognitive layer in robocupsoccer IEEE Symposium on Computational Intelligence and Games (2007 IEEE Symposia Series in Computational Intelligence) 2007 IEEE Honolulu, Hawaii 340 345 (Pubitemid 47431323)
10. Mitsuru Ishizuka, and Naoki Kanai Prolog-elf incorporating fuzzy logic IJCAI'85: Proceedings of the 9th international Joint Conference on Artificial Intelligence 1985 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 701 703
11. Pascual Julián, Ginés Moreno, and Jaime Penabad On fuzzy unfolding: a multi-adjoint approach Fuzzy Sets Syst. 154 1 2005 16 33
12. F. Klawonn, and R. Kruse A Łukasiewicz logic based prolog Math. Soft Comput. 1 1 1994 5 29
13. Stephen Cole Kleene Introduction to Metamathematics 1952 D. Van Nostrand New York
14. E.P. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer Academic Publishers
15. B. Knaster Un théorme sur les fonctions d'ensembles Ann. Soc. Polonaise 6 1928 133 134
16. R.C.T. Lee Fuzzy logic and the resolution principle J. Assoc. Comput. Mach. 19 1 1972 119 129
17. Deyi Li, and Dongbo Liu A Fuzzy Prolog Database System 1990 John Wiley & Sons, Inc. New York, NY, USA
18. John Wylie Lloyd Foundations of Logic Programming second ed. 1987 Springer
19. Yann Loyer, and Umberto Straccia Any-world assumptions in logic programming Theor. Comput. Sci. 342 2-3 2005 351 381 (Pubitemid 41203428)
20. Susana Munoz-Hernandez, Robot Soccer, Chapter RFuzzy: an easy and expressive tool for modelling the cognitive layer in RoboCupSoccer, INTECH, January 2010, pp. 267-284, ISBN: 978-953-307-036-0.
21. Susana Muñoz-Hernández, and Jose Manuél Gómez-Pérez Solving collaborative fuzzy agents problems with CLP(FD) Manuel V. Hermenegildo, Daniel Cabeza, PADL Lecture Notes in Computer Science vol. 3350 2005 Springer 187 202 (Pubitemid 41191058)
22. Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, and Hannes Strass Rfuzzy: an expressive simple fuzzy compiler Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan M. Corchado, IWANN (1) Lecture Notes in Computer Science vol. 5517 2009 Springer 270 277
23. Susana Muñoz-Hernández, Claudio Vaucheret, Extending prolog with incomplete fuzzy information, in: Proceedings of the 15th International Workshop on Logic Programming Environments, CoRR, abs/cs/0508091, 2005.
24. S. Muñoz-Hernández, C. Vaucheret, S. Guadarrama, Combining crisp and fuzzy logic in a prolog compiler, in: J.J. Moreno-Navarro, J. Mariño (Eds.), Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, Madrid, Spain, September 2002, pp. 23-38.
25. Robin Milner A theory of type polymorphism in programming J. Comput. Syst. Sci. 17 1978 348 375
26. Pedro J. Morcillo, and Gines Moreno Programming with fuzzy logic rules by using the floper tool RuleML '08: Proceedings of the International Symposium on Rule Representation Interchange and Reasoning on the Web 2008 Springer-Verlag Berlin, Heidelberg 119 126
27. Pedro José Morcillo, Ginés Moreno, Floper, a fuzzy logic programming environment for research, in: Fundación Universidad de Oviedo (Eds.), Proceedings of VIII Jornadas Sobre Programación y Lenguajes (PROLE'08), Gijón, Spain, October 2008, pp. 259-263.
28. Alan Mycroft, and Richard A. O'Keefe A polymorphic type system for prolog Artif. Intell. 23 3 1984 295 307
29. Jesús Medina, Manuel Ojeda-Aciego, and Peter Vojtáš A multi-adjoint approach to similarity-based unification Electronic Notes in Theoretical Computer Science 66 5 2002 70 85 UNCL'2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)
30. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás, A completeness theorem for multi-adjoint logic programming, in: FUZZ-IEEE, 2001, pp. 1031-1034.
31. Jesús Medina, Manuel Ojeda-Aciego, and Peter Vojtás Multi-adjoint logic programming with continuous semantics Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski, LPNMR Lecture Notes in Computer Science vol. 2173 2001 Springer 351 364
32. Jesús Medina, Manuel Ojeda-Aciego, and Peter Vojtás A procedural semantics for multi-adjoint logic programming Pavel Brazdil, Alípio Jorge, EPIA Lecture Notes in Computer Science vol. 2258 2001 Springer 290 297
33. Jesús Medina, Manuel Ojeda-Aciego, and Peter Vojtás Similarity-based unification: a multi-adjoint approach Fuzzy Sets Syst. 146 1 2004 43 62
34. Ginés Moreno Building a fuzzy transformation system Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Julius Stuller, SOFSEM Lecture Notes in Computer Science vol. 3831 2006 Springer 409 418
35. Jan Pavelka On fuzzy logic I, II and III Z. Math. Logik Grundlagen der Math. 25 5 1979 45 52 119-134, 447-464
36. Víctor Pablos-Ceruelo, Susana Muñoz-Hernández, Hannes Strass, Rfuzzy framework, in: Paper Presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008), CoRR, abs/0903.2188, 2009.
37. Víctor Pablos-Ceruelo, Hannes Strass, Susana Mu noz Hernández, Rfuzzy - a framework for multi-adjoint fuzzy logic programming, in: Fuzzy Information Processing Society, 2009, NAFIPS 2009, Annual Meeting of the North American, pp. 1-6, June 2009.
38. Ana Pradera, Enric Trillas, and Tomasa Calvo A general class of triangular norm-based aggregation operators: quasi-linear t-s operators Int. J. Approx. Reason. 30 1 2002 57 72 (Pubitemid 34249793)
39. Z. Shen, L. Ding, M. Mukaidono, Fuzzy resolution principle, in: Proceedings of the 18th International Symposium on Multiple-valued Logic, vol. 5, 1989.
40. Ehud Y. Shapiro Logic programs with uncertainties: a tool for implementing rule-based systems IJCAI'83: Proceedings of the Eighth International Joint Conference on Artificial intelligence 1983 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 529 532
41. S. Mu noz-Hernández, C. Vaucheret, (Eds.), Default values to handel incomplete fuzzy information, IEEE Computational Intelligence Society Electronic Letter, vol. 14, IEEE, 2006, ISSN 0-7803-9489-5.
42. Hannes Strass, Susana Muñoz-Hernández, Víctor Pablos-Ceruelo, Operational semantics for a fuzzy logic programming system with defaults and constructive answers, in: João Paulo Carvalho, Didier Dubois, Uzay Kaymak, João Miguel da Costa Sousa, (Eds.), IFSA/EUSFLAT Conference, 2009, pp. 1827-1832.
43. Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, and Bart Demoen Towards typed prolog ICLP '08: Proceedings of the 24th International Conference on Logic Programming 2008 Springer-Verlag Berlin, Heidelberg 693 697
44. Alfred Tarski A lattice-theoretical fixpoint theorem and its applications Pacific J. Math. 5 1955 285 309
45. George Theodorakopoulos, and John S. Baras Trust evaluation in ad-hoc networks WiSe '04: Proceedings of the 3rd ACM Workshop on Wireless Security 2004 ACM New York, NY, USA 1 10 (Pubitemid 40062790)
46. Enric Trillas, Susana Cubillo, and Juan Luis Castro Conjunction and disjunction on ([0, 1], ≤) Fuzzy Sets Syst. 72 2 1995 155 165
47. The CLIP Lab. The Ciao Prolog Development System WWW Site. .
48. Claudio Vaucheret, Sergio Guadarrama, and Susana Muñoz- Hernández Fuzzy prolog: a simple general implementation using CLP(R) Matthias Baaz, Andrei Voronkov, LPAR Lecture Notes in Artificial Intelligence vol. 2514 2002 Springer 450 464
49. Peter Vojtás Fuzzy logic programming Fuzzy Sets Syst. 124 3 2001 361 370 (Pubitemid 32951443)
50. Xizhao Wang, Eric C.C. Tsang, Suyun Zhao, Degang Chen, and Daniel S. Yeung Learning fuzzy rules from fuzzy samples based on rough set technique Inform. Sci. 177 20 2007 4493 4514 (Pubitemid 47079039)
51. Yingjie Yang, and Chris Hinde A new extension of fuzzy sets using rough sets: R-fuzzy sets Inform. Sci. 180 3 2010 354 365
52. Lotfi A. Zadeh Is there a need for fuzzy logic? Inform. Sci. 178 13 2008 2751 2779