R fuzzy: An expressive simple fuzzy compiler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5517 LNCS, Issue PART 1, 2009, Pages 270-277

  Munoz Hernandez, Susana ^a   Ceruelo, Victor Pablos ^a   Strass, Hannes ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Fuzzy logic; Fuzzy logic application; Fuzzy reasoning; Implementation tool; Logic programming implementation; Multi adjoint logic

Indexed keywords

FUZZY LOGIC APPLICATION; FUZZY REASONING; IMPLEMENTATION TOOL; LOGIC PROGRAMMING IMPLEMENTATION; MULTI-ADJOINT LOGIC;

BACKPROPAGATION; COMPUTATIONAL LINGUISTICS; FUNCTIONS; FUZZY SETS; LOGIC PROGRAMMING; NEURAL NETWORKS; NUMBER THEORY; PROLOG (PROGRAMMING LANGUAGE);

FUZZY LOGIC;

EID: 68749099977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02478-8_34     Document Type: Conference Paper

References (15)

1. Abietar, J.M., Morcillo, P.J., Moreno, G.: Designing a software tool for fuzzy logic programming. In: Simos, T.E., Maroulis, G. (eds.) Proc. of the Int. Conf. of Computational Methods in Sciences and Engineering. ICCMSE 2007. Computation in Mordern Science and Engineering, vol. 2, pp. 1117-1120. American Institute of Physics (2007) (Distributed by Springer)
2. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint Logic Programming: syntax and semantics. In: ACM TOPLAS, vol. 23, pp. 1-29 (2001)
3. Guadarrama, S., Munoz-Hernandez, S., Vaucheret, C.: Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems 144(1), 127-150 (2004)
4. Lee, R.C.T.: Fuzzy Logic and the resolution principle. Journal of the Association for Computing Machinery 19(1), 119-129 (1972)
5. Medina, J., Ojeda-Aciego, M., Votjas, P.: A completeness theorem for multi-adjoint Logic Programming. In: International Fuzzy Systems Conference, pp. 1031-1034. IEEE, Los Alamitos (2001)
6. Medina, J., Ojeda-Aciego, M., Votjas, P.: Multi-adjoint Logic Programming with continuous semantics. In: Eiter, T., Faber, W., Truszczyriski, M. (eds.) LPNMR 2001. LNCS, vol. 2173, pp. 351-364. Springer, Heidelberg (2001)
7. Medina, J., Ojeda-Aciego, M., Votjas, P.: A procedural semantics for multi-adjoint Logic Programming. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol. 2258, pp. 290-297. Springer, Heidelberg (2001)
8. Morcillo, P.J., Moreno, G.: Floper, a fuzzy logic programming environment for research. In: Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain (2008)
9. Moreno, G.: Building a fuzzy transformation system. In: SOFtware SEMinar 2006: Theory and Practice of Computer Science, pp. 409-418 (2006)
10. Munoz-Hernandez, S., Vaucheret, C., Guadarrama, S.: Combining crisp and fuzzy Logic in a prolog compiler. In: Moreno-Navarro, J.J., Mariño, J. (eds.) Joint Conf. on Declarative Programming: APPIA-GULP-PRODE 2002, Madrid, Spain, pp. 23-38 (September 2002)
11. Shen, Z., Ding, L., Mukaidono, M.: Fuzzy resolution principle. In: Proc, of 18th International Symposium on Multiple-valued Logic, vol. 5 (1989)
12. The CLIP Lab. The Ciao Prolog Development System WWW Site, http://www.clip.dia.fi.upm.es/Software/Ciao/
13. Vaucheret, C., Guadarrama, S., Munoz-Hernandez, S.: Fuzzy prolog: A simple general implementation using clp(r). In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 450-463. Springer, Heidelberg (2002)
14. Vojtas, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124(1), 361-370 (2001)
15. Ehud, Y., Shapiro: Logic programs with uncertainties: A tool for implementing rule-based systems. In: International Joint Conference on Artificial Intelligence, pp. 529-532 (1983)