Unfolding-based improvements on fuzzy logic programs

Electronic Notes in Theoretical Computer Science

Volumn 137, Issue 1, 2005, Pages 69-103

  Julián, Pascual ^a   Moreno, Ginés ^a   Penabad, Jaime ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy Logic Programming; Program Transformation

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; SEMANTICS;

COMPUTATION RULES; FUZZY LOGIC PROGRAMMING; PROGRAM TRANSFORMATIONS; RESIDUAL PROGRAMS;

FUZZY SETS;

EID: 22144492997     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.01.040     Document Type: Conference Paper

References (23)

1. M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal Rules + Strategies for Transforming Lazy Functional Logic Programs Theoretical Computer Science 311 2004 479 525
2. J.F. Baldwin, T.P. Martin, and B.W. Pilsworth Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence 1995 John Wiley & Sons, Inc.
3. R.M. Burstall, and J. Darlington A Transformation System for Developing Recursive Programs Journal of the ACM 24 1 1977 44 67
4. M. Ishizuka, and N. Kanai Prolog-ELF Incorporating Fuzzy Logic Aravind K. Joshi Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85). Los Angeles, CA, August 1985 1985 Morgan Kaufmann 701 703
5. P. Julian, G. Moreno, and J. Penabad. Unfolding Fuzzy Logic Programs. In Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA'04, Budapest, Hungary, pages 595-600. (Sponsored by IEEE), 2004
6. P. Julian and C. Villamizar. Analizing Definitional Trees: Looking for Determinism. In Yukiyoshi Kameyama and M. Peter J. Stuckey, editors, Proc. of the 7th Fuji International Symposyum on Functional and Logic Programming, FLOPS'04, Nara (Japan), page 25. Springer-Verlag LNCS (To appear), 2004
7. Frank Klawonn, and Rudolf Kruse A Łukasiewicz logic based Prolog Mathware & Soft Computing 1 1 1994 5 29
8. G.J. Klir, and B. Yuan Fuzzy Sets and Fuzzy Logic 1995 Prentice-Hall
9. J.-L. Lassez, M.J. Maher, and K. Marriott Unification Revisited J. Minker Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann Los Altos, Ca. 587 625
10. R.C.T. Lee Fuzzy Logic and the Resolution Principle Journal of the ACM 19 1 1972 119 129
11. Deyi Li, and Dongbo Liu A fuzzy Prolog database system 1990 John Wiley & Sons, Inc.
12. J.W. Lloyd Foundations of Logic Programming Second edition 1987 Springer-Verlag Berlin
13. H.T. Nguyen, and E.A. Walker A First Course in Fuzzy Logic 2000 Chapman & Hall/CRC Boca Ratón, Florida
14. C. Palamidessi Algebraic Properties of Idempotent Substitutions Proc. of 17th Int'l Colloquium on Automata, Languages and Programming LNCS 443 1990 Springer 386 399
15. A. Pettorossi, and M. Proietti Rules and Strategies for Transforming Functional and Logic Programs ACM Computing Surveys 28 2 1996 360 414
16. B. Schweizer, and A. Sklar Probabilistic Metric Spaces 1983 North-Holland New York
17. H. Tamaki and T. Sato. Unfold/Fold Transformations of Logic Programs. In S. Tärnlund, editor, Proc. of Second Int'l Conf. on Logic Programming, pages 127-139, 1984
18. E. Trillas, C. del Campo, and S. Cubillo 'When QM-Operators Are Implication Functions and Conditional Fuzzy Relations International Journal of Intelligent Systems 15 2000 647 655
19. C. Vaucheret, S. Guadarrama, and S. Muñoz Fuzzy prolog: A simple general implementation using clp(r) M. Baaz A. Voronkov Proc. of Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2002), Tbilisi, Georgia Lectures Notes in Artificial Intelligence 2514 2002 Springer Verlag 450 463
20. P. Vojtas Fuzzy Logic Programming Fuzzy Sets and Systems 124 1 2001 361 370
21. P. Vojtas, and L. Paulík Soundness and completeness of non-classical extended SLD-resolution R. Dyckhoff Proc. ELP'96 Leipzig LNCS 1050 1996 Springer Verlag 289 301
22. L. Zadeh Calculus of fuzzy restrictions Fuzzy Sets and Their Applications to Cognitive and Decision Processes 1975 1 39
23. L.A. Zadeh Fuzzy Sets Information and Control 8 3 1965 338 353