Programming with fuzzy logic and mathematical functions

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

Volumn 3849 LNAI, Issue , 2006, Pages 89-98

  Moreno, Ginés ^a   Pascual, Vicente ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Functional Logic Programming; Fuzzy Logic; Similarity

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; INTEGRATION; LOGIC PROGRAMMING; MATHEMATICAL TECHNIQUES;

FUNCTIONAL LOGIC PROGRAMMING; INFINITE LOOPS; MATHEMATICAL FUNCTIONS; SIMILARITY;

FUZZY SETS;

EID: 33745140145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11676935_11     Document Type: Conference Paper

References (20)

1. S. Antoy. Definitional trees. In Proc. of the 3rd Int'l Conference on Algebraic and Logic Programming, ALP'92, pages 143-157. Springer LNCS 632, 1992.
2. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Journal of the ACM, volume 47(4), pages 776-822, 2000.
3. F. Arcelli and F. Formato. Likelog: A logic programming language for flexible data retrieval. In Proc. of the ACM Symposium on Applied Computing (SAC'99), pages 260-267. ACM, Artificial Intelligence and Computational Logic, 1999.
4. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc., 1995.
5. L. Garmendia and A. Salvador. Comparing transitive closure with other new T-transivization methods. In Proc. Modeling Decisions for Artificial Intelligence, pages 306-315. Springer LNAI 3131, 2004.
6. S. Guadarrama, S. Muñoz, and C. Vaucheret. Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems, Elsevier, 144(1):127-150, 2004.
7. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583-628, 1994.
8. G. Huet and J.J. Lévy. Computations in orthogonal rewriting systems, Part I + II. In J.L. Lassez and G.D. Plotkin, editors, Computational Logic - Essays in Honor of Alan Robinson, pages 395-443. The MIT Press, Cambridge, MA, 1992.
9. M. Ishizuka and N. Kanai. Prolog-ELF Incorporating Fuzzy Logic. In Aravind K. Joshi, editor, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85). Los Angeles, CA, August 1985., pages 701-703. Morgan Kaufmann, 1985.
10. R.C.T. Lee. Fuzzy Logic and the Resolution Principle. Journal of the ACM, 19(1):119-129, 1972.
11. Deyi Li and Dongbo Liu. A fuzzy Prolog database system. John Wiley & Sons, Inc., 1990.
12. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.
13. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems, 146(1):43-62, 2004.
14. G. Moreno. Transformation Rules and Strategies for Functional-Logic Programs. AI Communications, IO Press (Amsterdam), 15(2):3, 2002.
15. G. Moreno. Building a Fuzzy Transformation System. Proc. of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM'06, 10 pages. Springer LNCS 3831 (to appear), 2006.
16. G. Moreno and V. Pascual. Functional Logic Programming with Similarity. In F. Lopez-Fraguas, editor, Proc. of the V Jornadas sobre Programación y Lenguajes, PROLE'05, pages 121-126. University of Granada, 2005.
17. H.T, Nguyen and E.A. Walker. A First Course in Fuzzy Logic. Chapman & Hall/CRC, Boca Ratón, Florida, 2000.
18. M.I. Sessa. Approximate reasoning by similarity-based SLD resolution. Fuzzy Sets and Systems, 275:389-426, 2002.
19. P. Vojtáš and L. Paulík. Soundness and completeness of non-classical extended SLD-resolution. In R. Dyckhoff et al, editor, Proc. ELP'96 Leipzig, pages 289-301. LNCS 1050, Springer Verlag, 1996.
20. L. A. Zadeh. Similarity relations and fuzzy orderings. Informa. Sci., 3:177-200, 1971.