A declarative semantics for bousi-prolog

PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn , Issue , 2009, Pages 149-160

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

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Declarative semantics; Fixpoint semantics; Fuzzy herbrand model; Fuzzy logic programming; Proximity relations

Indexed keywords

APPROXIMATE REASONING; DECLARATIVE SEMANTICS; FIX-POINT SEMANTICS; FIXPOINTS; FLEXIBLE QUERIES; FUZZY HERBRAND MODEL; FUZZY UNIFICATION; HERBRAND MODEL; MODEL-THEORETIC SEMANTICS; OPERATIONAL SEMANTICS; PROGRAMMING LANGUAGE; SLD RESOLUTION; TEXTUAL INFORMATION;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; FUZZY LOGIC; FUZZY SETS; INFORMATION SERVICES; LINGUISTICS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; ONTOLOGY; PATTERN MATCHING; SEMANTICS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 70450280617     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1599410.1599430     Document Type: Conference Paper

References (36)

1. H. Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, MA, 1991.
2. T. Alsinet and L. Godo. Fuzzy Unification Degree. In Proceedings 2nd Int Workshop on Logic Programming and Soft Computing'98, in conjunction with JICSLP'98, Manchester (UK), pages 18, 1998.
3. K. R. Apt. From Logic Programming to Prolog. Prentice Hall, Englewood Cliffs, NJ, 1997.
4. K.R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 493-574. Elsevier, Amsterdam and The MIT Press, Cambridge, Mass., 1990.
5. R. Caballero, M. Rodríguez-Artalejo, and C.A. Romero-Díaz. Similarity-based reasoning in qualified logic programming. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 185-194, New York, NY, USA, 2008. ACM. ISBN 978-1-60558-117-0. doi: http://doi.acm.org/10.1145/1389449.1389472.
6. F.A. Fontana and F. Formato. A similarity-based resolution rule. Int. J. Intell. Syst., 17(9):853-872, 2002.
7. F.A. Fontana and F. Formato. Likelog: A logic programming language for flexible data retrieval. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99), February 28 - March 2, 1999, San Antonio, Texas, USA, pages 260-267, 1999.
8. 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.
9. P. Hajek. Metamathematics of fuzzy logic. Dordrecht: Kluwer, 1998.
10. P. Julián, C. Rubio, and J. Gallardo. Bousi-prolog: a prolog extension language for flexible query answering. In: Electronic Notes in Theoretical Computer Science, pages 16. Elsevier, (in press) 2009.
11. P. Julián-Iranzo and C. Rubio-Manzano. A similarity-based WAM for Bousi-Prolog. In: Proc. of the 10th International Work-Conference on Artificial Neural Networks IWANN'2009, Salamanca, Spain; June 10-12, 2009, pages 245-252. Springer LNCS 5517, 2009.
12. M. Kefer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12: 335-367, 1992.
13. F. Klawonn and R. Kruse. A Łukasiewicz logic based Prolog. Mathware & Soft Computing, 1(1):5-29, 1994.
14. J.-L. Lassez, M. J. Maher, and K. Marriott. Unification Revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan Kaufmann, Los Altos, Ca., 1988.
15. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.
16. 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.
17. A. Martelli and U. Montanari. An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems, 4:258-282, 1982.
18. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. In Proc. of Logic Programming and Non-Monotonic Reasoning, LPNMR'01, pages 351-364. Springer-Verlag, LNAI 2173, 2001a.
19. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. A procedural semantics for multi-adjoint logic programming. In Proc. of Progress in Artificial Intelligence, EPIA'01, pages 290-297. Springer-Verlag, LNAI 2258, 2001b.
20. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems, 146(1):43-62, 2004.
21. H.T. Nguyen and E.A. Walker. A First Course in Fuzzy Logic. Chapman & Hall/CRC, Boca Ratón, Florida, 2000.
22. L.G. Rios-Filho and S.A. Sandri. Contextual Fuzzy Unification. In In Proceedings 5th IFSA'95 Congress, Sao Paulo (Brazil), pages 81-84, 1995.
23. M. Rodríguez-Artalejo and C.A. Romero-Díaz. Quantitative logic programming revisited. In Proc. of the 9th International Symposyum on Functional and Logic Programming, FLOPS'08, pages 272-288. Springer LNCS 4989, 2008.
24. B. Schweizer and A. Sklar. Probabilistic Metric Spaces. North-Holland, New York, 1983.
25. M.I. Sessa. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science, 275(1-2):389-426, 2002.
26. S. Shenoi and A. Melton. Proximity relations in the fuzzy relational database model. Fuzzy Sets and Systems, 100:51-62, 1999.
27. V.S. Subrahmanian. Query Processing in Quantitative Logic Programming. In Proc. of the 9th International Conference on Automated Deduction, London, UK, pages 81-100. Springer Verlag, LNCS 310, 1988.
28. M.H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37-53, 1986.
29. M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, 1976.
30. H.E. Virtanen. Linguistic Logic Programming. Logic Programming and Soft Computing, pages 91-128, 1998.
31. P. Vojtáš. Fuzzy Logic Programming. Fuzzy Sets and Systems, 124(1): 361-370, 2001.
32. 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.
33. P. Vojtáš, T. Alsinet, and L. Godo. Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases). Joint 9th IFSA World Congress and 20th NAFIPS International Conference, 25-28 July 2001, pages 1541-1546 vol. 3, 2001.
34. D.H. D. Warren. An Abstract Prolog Instruction Set. Technical note 309, SRI International, Menlo Park, CA., October, 1983.
35. L. Zadeh. Fuzzy sets. Information and Control, 8:338-353, 1965.
36. L. Zadeh. Calculus of fuzzy restrictions. Fuzzy Sets and Their Applications to Cognitive and Decision Processes, pages 1-39, 1975.