Rfuzzy framework

18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

Volumn , Issue , 2008, Pages 62-76

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

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Fuzzy Logic; Fuzzy reasoning; Implementation tool; Logic Programming Application; Multiadjoint logic

Indexed keywords

CLASSICAL REPRESENTATION; DEFAULT VALUES; FORMAL APPROACH; FUZZY REASONING; MISSING INFORMATION; MULTIADJOINT LOGIC; RESEARCH FIELDS; THEORETICAL APPROACH;

FUZZY LOGIC; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84886659256     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. J.M. Abietar, P.J. Morcillo, and G. Moreno. Designing a software tool for fuzzy logic programming. In T.E. Simos and G. Maroulis, editors, Proc. of the Int. Conf. of Computational Methods in Sciences and Engineering. ICCMSE'07, volume 2 of Computation in Mordern Science and Engineering, pages 1117-1120. American Institute of Physics, 2007. Distributed by Springer.
2. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. Fril: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, 1995.
3. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint Logic Programming: syntax and semantics. In ACM TOPLAS, volume 23, pages 1-29, 2001.
4. F. Bueno, P. López-García, G. Puebla, and M. Hermenegildo. The Ciao Prolog Preprocessor. Technical Report CLIP8/95.0.7.20, Technical University of Madrid (UPM), Facultad de Informática, 28660 Boadilla del Monte, Madrid, Spain, 1999.
5. T.H. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
6. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP-91, pages 581-595. MIT Press, 1991.
7. M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programmig, 11:91-116, 1991.
8. N. Fuhr. Probabilistic datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51(2):95-110, 2000.
9. S. Guadarrama, S. Munoz-Hernandez, and C. Vaucheret. Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems, FSS, 144(1):127-150, 2004. ISSN 0165-0114.
10. M. Ishizuka and N. Kanai. Prolog-ELF incorporating fuzzy Logic. In IJCAI, pages 701-703, 1985.
11. M. Kifer and Ai Li. On the semantics of rule-based expert systems with uncertainty. In Proc. of ICDT-88, number 326 in LNCS, pages 102-117, 1988.
12. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
13. F. Klawonn and R. Kruse. A Lukasiewicz logic based Prolog. Mathware & Soft Computing, 1(1):5-29, 1994.
14. E.P. Klement, R. Mesiar, and E. Pap. Triangular norms. Kluwer Academic Publishers.
15. L. Lakshmanan. An epistemic foundation for logic programming with uncertainty. LNCS, 880:89-100, 1994.
16. L. Lakshmanan and N. Shiri. Probabilistic deductive databases. Int. Logic Pro-gramming Symposium, pages 254-268, 1994.
17. L. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001.
18. R. C. T. Lee. Fuzzy Logic and the resolution principle. Journal of the Association for Computing Machinery, 19(1):119-129, 1972.
19. D. Li and D. Liu. A Fuzzy Prolog Database System. John Wiley & Sons, New York, 1990.
20. T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proc. of LPNMR-01, volume 2173, pages 336-350, 2001.
21. J. Medina, M. Ojeda-Aciego, and P. Votjas. A completeness theorem for multiadjoint Logic Programming. In International Fuzzy Systems Conference, pages 1031-1034. IEEE, 2001.
22. J. Medina, M. Ojeda-Aciego, and P. Votjas. Multi-adjoint Logic Programming with continuous semantics. In LPNMR, volume 2173 of LNCS, pages 351-364, Boston, MA (USA), 2001. Springer-Verlag.
23. J. Medina, M. Ojeda-Aciego, and P. Votjas. A procedural semantics for multiadjoint Logic Programming. In EPIA, volume 2258 of LNCS, pages 290-297, Boston, MA (USA), 2001. Springer-Verlag.
24. S. Munoz-Hernandez, C. Vaucheret, and S. Guadarrama. Combining crisp and fuzzy Logic in a prolog compiler. In J. J. Moreno-Navarro and J. Mariño, editors, Joint Conf. on Declarative Programming: APPIA-GULP-PRODE 2002, pages 23-38, Madrid, Spain, September 2002.
25. R. Ng and V.S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Proc. of ISMIS-91, number 542 in LNCS, pages 163-171, 1991.
26. R. Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1993.
27. A. Pradera, E. Trillas, and T. Calvo. A general class of triangular norm-based aggregation operators: quasi-linear t-s operators. International Journal of Approx-imate Reasoning, 30(1):57-72, 2002.
28. Z. Shen, L. Ding, and M. Mukaidono. Fuzzy resolution principle. In Proc. of 18th International Symposium on Multiple-valued Logic, volume 5, 1989.
29. V.S. Subrahmanian. On the semantics of quantitative logic programs. In Proc. of 4th IEEE Symp. on Logic Programming, pages 173-182. Computer Society Press, 1987.
30. The CLIP Lab. The Ciao Prolog Development System WWW Site, http://www.clip.dia.fi.upm.es/Software/Ciao/.
31. E. Trillas, S. Cubillo, and J. L. Castro. Conjunction and disjunction on ([0, 1], <=). Fuzzy Sets and Systems, 72:155-165, 1995.
32. M.H. van Emden. Quantitative duduction and its fixpoint theory. Journal of Logic Programming, 4(1):37-53, 1986.
33. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple general implementation using clp(r). In M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, number 2514 in LNAI, pages 450-463, Tbilisi, Georgia, October 2002. Springer-Verlag.
34. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple general implementation using clp(r). In P.J. Stuckey, editor, Int. Conf. in Logic Programming, ICLP 2002, number 2401 in LNCS, page 469, Copenhagen, Denmark, July/August 2002. Springer-Verlag.
35. P. Vojtas. Fuzzy logic programming. Fuzzy Sets and Systems, 124(1):361-370, 2001.
36. G. Wagner. A logical reconstruction of fuzzy inference in databases and logic programs. In Proc. of IFSA-97, Prague, 1997.
37. G. Wagner. Negation in fuzzy and possibilistic logic programs. In Logic program-ming and Soft Computing. Research Studies Press, 1998.
38. Ehud Y. and Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In IJCAI, pages 529-532, 1983.