Similarity-based SLD resolution and its role for web knowledge discovery

Fuzzy Sets and Systems

Volumn 144, Issue 1, 2004, Pages 151-171

  Loia, Vincenzo ^a   Senatore, Sabrina ^a   Sessa, Maria I ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Approximate reasoning; Logic programming; PROLOG implementation; Similarity

Indexed keywords

APPROXIMATION THEORY; INFORMATION ANALYSIS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING;

APPROXIMATE REASONING; FORMAL REASONING;

FUZZY SETS;

EID: 1842831107     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2003.10.018     Document Type: Article

References (29)

1. Apt R.K. Logic programming. van Leeuwen J. Handbook of Theoretical Computer Science. 1990;492-574 Elsevier, Amsterdam.
2. Arnold K., Gosling J. The Java Programming Language, The Java Series. 1999;Addison-Wesley, Reading, MA.
3. Baldwin J.F., Martin T.P., Pilsworth B.W. Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence. 1995;Research Studies Press/Wiley, New York.
4. Cousot P., Cousot R. Abstract interpretation and application to logic programs. J. Logic Program. 13:1992;103-179.
5. Dubois D., Esteva F., Garcia P., Godo L. A logical approach to interpolation based on similarity. Internat. J. Approx. Reason. 5:1991;45-88.
6. Formato F., Gerla G., Sessa M.I. Similarity-based unification. Fund. Math. 40:2000;1-22.
7. Fowler M. UML Distilled: A Brief Guide to the Standard Object Modeling. 1999;Addison-Wesley, Reading, MA.
8. Gallaire H., Nicolas J.M. Database: theory vs. interpretation. Gallaire H., Minker J. Logic and Database. 1978;33-54 Plenum Press, New York.
9. Genesereth M.R., Ketchpel S.P. Software agents. Commun. ACM. 37(7):1994;48-53.
10. Gerla G., Sessa M.I. Similarity in logic programming. Chen G., Ying M., Cai K.-Y. Fuzzy Logic and Soft Computing. 1999;19-31 Kluwer Academic Pub. Norwell.
11. M. Ishizuka, N. Kanai, PROLOG-Elf incorporating fuzzy logic. In: Proc. 9th Internat. Joint Conf. on Artificial Intelligence, Springer, Berlin, 1985, pp. 701-703.
12. Klawonn F., Kruse R. A Lukasiewicz Logic based PROLOG. Mathware Soft Comput. 1:1994;5-29.
13. R.C.T. Lee, Fuzzy logic and the resolution principle, J. ACM (1972) 109-119.
14. M. Lieskovský, Quantitative search strategies for prolog based expert systems, In: Proc. Int. Conf. on Practical Applications of Prolog, London, UK, April, 21-24, 1997.
15. V. Loia, S. Senatore, M.I. Sessa, Combining agent technology and similarity-based reasoning for targeted Email services, Fuzzy Sets and Systems, to appear.
16. V. Loia, S. Senatore, M.I. Sessa, Similarity-based agents for email mining, in: Proc. Joint Conf. IFSA/NAFIPS 2001. Vancouver, Canada, July 25-28, 2001.
17. Loia V., Sessa S. A Soft Computing Framework for Adaptive Agents, Soft Computing Agents: New Trends for Designing Autonomous Systems. Studies in Fuzziness and Soft Computing. vol. 75:June 2001;Springer, Berlin.
18. Martin T.P., Baldwin J.F., Pilsworth B.W. The implementation of FPROLOG a fuzzy PROLOG interpreter. Fuzzy Sets and Systems. 23:1987;119-129.
19. Mukaidono M., Shen Z.L., Ding L. Fundamentals of fuzzy PROLOG. Internat. J. Approx. Reason. 3:1989;179-193.
20. Reiter R. Towards a logical reconstruction of relational dabase theory. Brodie M.L., Mylopoulous J., Scmidt J.W. On Conceptual Modelling. 1984;191-238 Springer, Berlin.
21. Ruspini E.H. On the semantics of fuzzy logic. Internat. J. Approx. Reason. 5:1991;45-88.
22. Sessa M.I. Approximate reasoning by similarity-based SLD resolution. Theoret. Comput. Sci. 275:2002;389-426.
23. Sessa M.I. Translations and similarity-based logic programming. Soft Comput. J. 5(2):2002;160-170.
24. T. Van Le, Fuzzy temporal prolog, in: Proc. of The Internat. Symp. on Language for Intensional Programming, Macquarie University, Sydney, April 1995, pp. 169-175.
25. C. Vaucheret, S. Guadarrama, S. Muñoz, Fuzzy prolog: a simple implementation using CLP(R), Constraints and Uncertainty, A CP2001 workshop, Lecture Notes on Computer Science, Springer, Berlin, December 2001.
26. Virtanen H.E. Linguistic logic programming. Arcelli F., Martin T.P. Logic Programming and Soft Computing. 1998;91-128 Research Studies Press, Hertfordshire, UK.
27. P. Vojtás̈, T. Alsinet, L. Godo, Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases), in: Proc. Joint Conf. IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001.
28. M. Winikoff, W. prolog, URL: http://members.xoom.com/_XMCM/winikoff/wp/ index.html .
29. Zadeh L.A. Similarity relations and fuzzy orderings. Inform. Sci. 3:1971;177-200.