Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

Electronic Notes in Theoretical Computer Science

Volumn 248, Issue , 2009, Pages 131-147

  Julián Iranzo, Pascual ^a   Rubio Manzano, Clemente ^a   Gallardo Casero, Juan ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy Logic Programming; Fuzzy Prolog; Unification by Similarity; Weak SLD Resolution

Indexed keywords

A-PROLOG; DECLARATIVE PROGRAMMING LANGUAGE; EQUIVALENCE RELATIONS; EXTENSION LANGUAGES; FLEXIBLE QUERIES; FUZZY PROLOG; FUZZY UNIFICATION; OPERATIONAL SEMANTICS; PROGRAMMING LANGUAGE; PROLOG PROGRAMS; SIMILARITY RELATIONS; SLD RESOLUTION; UNIFICATION BY SIMILARITY; WEAK SLD RESOLUTION;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; FUZZY LOGIC; FUZZY SETS; LINGUISTICS; LOGIC PROGRAMMING; SYNTACTICS; XML;

PROLOG (PROGRAMMING LANGUAGE);

EID: 68049121987     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.07.064     Document Type: Article

References (30)

1. Apt K.R. From Logic Programming to Prolog (1997), Prentice Hall, Englewood Cliffs, NJ
2. Baldwin J.F., Martin T.P., and Pilsworth B.W. Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence (1995), John Wiley & Sons, Inc.
3. Berners-Lee T., Hendler J., and Lassila O. The semantic web. Scientific American (May 2001). http://www.w3.org/2001/sw/ Also in
4. F.A. Fontana and F. Formato. Likelog: A logic programming language for flexible data retrieval. In Proc. of SAC, pages 260-267, 1999
5. Fontana F.A., and Formato F. A similarity-based resolution rule. Int. J. Intell. Syst. 17 9 (2002) 853-872
6. F. Formato, G. Gerla, and M. I. Sessa. Extension of logic programming by similarity. In APPIA-GULP-PRODE, pages 397-410, 1999
7. Formato F., Gerla G., and Sessa M.I. Similarity-based unification. Fundam. Inform. 41 4 (2000) 393-414
8. Gruber T.R. Toward principles for the design of ontologies used for knowledge sharing. International Journal Human-Computer Studies 43 5-6 (1995) 907-928
9. Guadarrama S., Muñoz S., and Vaucheret C. Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems 144 1 (2004) 127-150 Elsevier
10. Guarino N. Formal ontology, conceptual analysis and knowledge representation. International Journal Human-Computer Studies 43 5-6 (1995) 625-640
11. Guarino N., Masolo C., and Vetere G. Ontoseek: Content-based access to the web. IEEE Intelligent Systems 14 3 (1999) 70-80
12. H.Liu and P. Singh. Commonsense reasoning in and over natural language. In Proc. of the 8th Internl. Conf. KES, pages 293-306, 2004
13. Liu H., and Singh P. Conceptnet - a practical commonsense reasoning tool-kit. BT Technology Journal 22 4 (2004) 211-226
14. Ishizuka M., and Kanai N. Prolog-ELF Incorporating Fuzzy Logic. Proceedings of the 9th IJCAI (1985), Morgan Kaufmann 701-703
15. P. Julián-Iranzo. A procedure for the construction of a similarity relation. In Proc. of the 12th IPMU, pages 489-496. Univ. Málaga, 2008
16. Julián-Iranzo P., and Rubio-Manzano C. A wam implementation for flexible query answering. Proc. of the 10th IASTED ASC (2006), ACTA Press 262-267
17. Kernighan B.W., and Ritchie D.M. The C Programming Language. 2nd Edition (1988), Prentice-Hall
18. Lee R.C.T. Fuzzy Logic and the Resolution Principle. Journal of the ACM 19 1 (1972) 119-129
19. V. Loia, S. Senatore, and M.I. Sessa. Similarity-based SLD resolution and its implementation in an extended prolog system. In FUZZ-IEEE, pages 650-653, 2001
20. Martelli A., and Montanari U. An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems 4 (1982) 258-282
21. Medina J., Ojeda M., and Vojtáš P. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146 1 (2004) 43-62
22. Miyamoto S. Information retrieval based on fuzzy associations. Fuzzy Sets and Systems 38 2 (1990) 191-205
23. Robinson J.A. A Machine-oriented Logic Based on the Resolution Principle. Journal of the ACM 12 1 (January 1965) 23-41
24. Sessa M.I. Flexible querying in deductive database. School on Soft Computing at Salerno University: Selected Lectures 1996-1999 (2000), Springer Verlag 257-276
25. Sessa M.I. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science 275 1-2 (2002) 389-426
26. Shenoi S., and Melton A. Proximity relations in the fuzzy relational database model. Fuzzy Sets and Systems 100 (1999) 51-62
27. Sterling L., and Shapiro E. The Art of Prolog. (Second Edition) (1994), The MIT Press
28. Vojtas P. Fuzzy Logic Programming. Fuzzy Sets and Systems 124 1 (2001) 361-370
29. D.H. Widyantoro and J. Yen. Incorporating fuzzy ontology of term relations in a search engine. In Proc. of BISC International Workshop on Fuzzy Logic and the Internet. Univ. of California, 2001
30. J. Wielemaker. SWI-Prolog 5.6 Reference Manual. TR: ver. 5.6.52, March 2008, Univ. of Amsterdam, 2008