RFuzzy - A framework for multi-adjoint fuzzy logic programming

Annual Conference of the North American Fuzzy Information Processing Society - NAFIPS

Volumn , Issue , 2009, Pages

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

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADJOINTS; DEFAULT VALUES; MISSING INFORMATION; OPERATIONAL SEMANTICS; TRUTH VALUES; UNCERTAIN KNOWLEDGE;

DATA PROCESSING; FUZZY SETS; LOGIC PROGRAMMING; SEMANTICS;

FUZZY LOGIC;

EID: 70350410104     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NAFIPS.2009.5156427     Document Type: Conference Paper

References (13)

1. R. C. T. Lee, "Fuzzy Logic and the resolution principle," Journal of the Association for Computing Machinery, vol. 19, no. 1, pp. 119-129, 1972.
2. M. Ishizuka and N. Kanai, "Prolog-ELF incorporating fuzzy Logic," in IJCAI, 1985, pp. 701-703.
3. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth, Fril: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, 1995.
4. D. Li and D. Liu, A Fuzzy Prolog Database System. New York: John Wiley & Sons, 1990.
5. Z. Shen, L. Ding, and M. Mukaidono, "Fuzzy resolution principle," in Proc. of 18th International Symposium on Multiple-valued Logic, vol. 5, 1989.
6. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez, "Fuzzy prolog: A simple general implementation using clp(r)," in Logic for Programming, Artificial Intelligence, and Reasoning , LPAR 2002, ser. LNAI, M. Baaz and A. Voronkov, Eds., no. 2514. Tbilisi, Georgia: Springer-Verlag, October 2002, pp. 450-463.
7. S. Guadarrama, S. Munoz-Hernandez, and C. Vaucheret, "Fuzzy Prolog: A new approach using soft constraints propagation," Fuzzy Sets and Systems, FSS, vol. 144, no. 1, pp. 127-150, 2004, iSSN 0165-0114.
8. E. Klement, R. Mesiar, and E. Pap, "Triangular norms," Kluwer Academic Publishers.
9. E. Trillas, S. Cubillo, and J. L. Castro, "Conjunction and disjunction on ([0; 1]; <=)," Fuzzy Sets and Systems, vol. 72, pp. 155-165, 1995.
10. A. Pradera, E. Trillas, and T. Calvo, "A general class of triangular norm-based aggregation operators: quasi-linear t-s operators," International Journal of Approximate Reasoning, vol. 30, no. 1, pp. 57-72, 2002.
11. S. Munoz-Hernandez, C. Vaucheret, and S. Guadarrama, "Combining crisp and fuzzy Logic in a prolog compiler," in Joint Conf. on Declarative Programming: APPIA-GULP-PRODE 2002, J. J. Moreno-Navarro and J. Mariño, Eds., Madrid, Spain, September 2002, pp. 23-38.
12. G. Moreno, "Building a fuzzy transformation system." in SOFSEM, 2006, pp. 409-418.
13. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez, "Fuzzy prolog: A simple general implementation using clp(r)," in Int. Conf. in Logic Programming, ICLP 2002, ser. LNCS, P. Stuckey, Ed., no. 2401. Copenhagen, Denmark: Springer-Verlag, July/August 2002, p. 469.