An efficient fuzzy unification method and its implementation into the Bousi∼Prolog system

2010 IEEE World Congress on Computational Intelligence, WCCI 2010

Volumn , Issue , 2010, Pages

  Julián Iranzo, Pascual ^a   Rubio Manzano, Clemente ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

A-PROLOG; BASIC IDEA; COMPILATION TECHNIQUES; FUZZY RELATIONS; FUZZY UNIFICATION; GENERIC METHOD; LINGUISTIC LABELS; LINGUISTIC TERMS; OPERATIONAL MECHANISM; OPERATIONAL SEMANTICS; PROGRAMMING LANGUAGE; PROLOG SYSTEMS; QUERY ANSWERING; SLD-RESOLUTION; SYNTACTIC UNIFICATION; TECHNIQUES USED;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; FUZZY LOGIC; FUZZY SETS; LINGUISTICS; LOGIC PROGRAMMING; SYNTACTICS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 78549241943     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2010.5584193     Document Type: Conference Paper

References (27)

1. H. At-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, MA (1991).
2. T. Alsinet and L. Godo. Fuzzy Unification Degree. In Proc. of the 2nd Intl. Workshop on Logic Programming and Soft Computing'98, Manchester (UK), pp 18 (1998).
3. J.F. Baldwin Evidential support logic programming. Fuzzy Sets and Systems, 24, pp 1-26 (1987).
4. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. The implementation of FProlog - a fuzzy prolog interpreter. Fuzzy Sets and Systems, 23, pp 119-129 (1987).
5. M. Cayrol, H. Farency, and H. Prade. Fuzzy pattern matching. Kybernetes, 11:103-106 (1982).
6. D. Dubois, H. Prade, and C. Testemale. Weighted fuzzy pattern matching. Fuzzy Sets and Systems, 28:313-331 (1988).
7. F. A. Fontana and F. Formato. Likelog: A logic programming language for flexible data retrieval. In Proc. of the ACM SAC, pp. 260-267, 1999.
8. F.A Fontana and F. Formato. A similarity-based resolution rule. Int. J. Intell. Syst., 17(9):853-872 (2002).
9. F. Formato, G. Gerla, and M.I. Sessa. Similarity-based unification. Fundam. Inform., 41(4):393-414 (2000).
10. R.A. Orchard. FuzzyClips Version 6.04A. User's Guide Integrated Reasoning. Institute for Information Technology. Canada (1998).
11. P. Julián, C. Rubio and J. Gallardo. Bousi∼Prolog: a Prolog extension language for flexible query answering. In: ENTCS, vol 248, pp. 131- 147. Elsevier, Amsterdam (2009).
12. P. Julián and C. Rubio. A similarity-based WAM for Bousi∼Prolog. In: LNCS, vol 5517, pp. 245-252. Springer, Heidelberg (2009).
13. P. Julián and C. Rubio. A Declarative Semantics for Bousi∼Prolog. In: Proc. of 11th Intl. Symposium on PPDP'09. ACM SIGPLAN (2009).
14. P. Julián and C. Rubio. UNICORN: A Programming Environment for Bousi∼Prolog. In: Proc. of PROLE'09. (2009).
15. R.C.T. Lee. Fuzzy Logic and the Resolution Principle. Journal of the ACM, 19(1):119-129 (1972).
16. V. Loia, S. Senatore, and M. Sessa. Similarity-based SLD resolution and its implementation in an extended prolog system. In FUZZ-IEEE, pp. 650-653, 2001.
17. M. Mukaidono, Z.L. Shen and L. Ding. Fundamentals of fuzzy Prolog. Intl. J Approximate Reasons, 3, pp. 1080-1086 (1989).
18. H.T. Nguyen and E.A. Walker. A First Course in Fuzzy Logic. Chapman & Hall/CRC, Boca Ratón, Florida, 2000.
19. L.G. Rios-Filho and S.A. Sandri. Contextual Fuzzy Unification. In: Proc. of IFSA'95,pp. 81-84 (1995).
20. M.I. Sessa. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science, 275(1-2): 389-426, 2002.
21. R. Shalfield. LPA-PROLOG: Flint Reference. Logic Programming Associates ltd. (2005).
22. H.E. Virtanen. Fuzzy Unification. In: Proc. of IPMU'94, Paris (France), pp. 1147-1152 (1994).
23. H.E. Virtanen. Linguistic Logic Programming. In Proc. of the 2nd Intl. Workshop on Logic Programming and Soft Computing'98, pp. 91-110, Wiley (1998).
24. P. Vojtás̀. Fuzzy Logic Programming. Fuzzy Sets and Systems, 124 (1): 361-370 (2001).
25. David H. D. Warren. An Abstract Prolog Instruction Set. Technical note 309, SRI International, Menlo Park, CA., October,1983.
26. L. A. Zadeh. Fuzzy Sets. Information and Control, 8(3):338-353, 1965.
27. L. A. Zadeh. The Concept of a Linguistic Variable and its Applications to Approximate Reasoning I, II and III. J. of Information Sciences 8 and 9, Elsevier (1975).