Extending prolog with incomplete fuzzy information

Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

Volumn , Issue , 2005, Pages 06-

  Munoz Hernandez, Susana ^a   Vaucheret, Claudio ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSIDAD NACIONAL DEL COMAHUE   (Argentina)

Author keywords

Constraint programming application; Fuzzy logic programming; Fuzzy Prolog; Implementation of Fuzzy Prolog; Incomplete knowledge; Modeling uncertainty

Indexed keywords

CONSTRAINT PROGRAMMING; FUZZY PROLOG; IMPLEMENTATION OF FUZZY PROLOG; INCOMPLETE KNOWLEDGE; MODEL UNCERTAINTIES;

CONSTRAINT THEORY; FUZZY LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS; UNCERTAINTY ANALYSIS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84886695425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000.
2. T.H. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
3. K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322, New York, NY, 1978. Plenum Press.
4. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP-91, pages 581-595. MIT Press, 1991.
5. M. Fitting. Bilattices and the semantics of logic programming. Journal of Logic Programmig, 11:91-116, 1991.
6. N. Fuhr. Probabilistic datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51(2):95-110, 2000.
7. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Fifth International Conference and Symposium on Logic Programming, pages 1070-1080, 1988.
8. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Seventh International Conference on Logic Programming, pages 579-597, Jerusalem, Israel, 1990. MIT Press. Extended abstract. (Complete version in "New Generation Computing" 9:365-387,1991).
9. S. Guadarrama, S. Munoz-Hernandez, and C. Vaucheret. Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems, FSS, 144(1):127-150, 2004. ISSN 0165-0114.
10. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, Commack, NY, USA, April 1999.
11. J. Jaffar and J. L. Lassez. Constraint Logic Programming. In ACM Symp. Principles of Programming Languages, pages 111-119. ACM, 1987.
12. J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The clp(r) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395, 1992.
13. M. Kifer and Ai Li. On the semantics of rule-based expert systems with uncertainty. In Proc. of ICDT-88, number 326 in LNCS, pages 102-117, 1988.
14. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
15. E.P. Klement, R. Mesiar, and E. Pap. Triangular norms. Kluwer Academic Publishers.
16. L. Lakshmanan. An epistemic foundation for logic programming with uncertainty. LNCS, 880:89-100, 1994.
17. L. Lakshmanan and N. Shiri. Probabilistic deductive databases. Int. Logic Programming Symposium, pages 254-268, 1994.
18. L. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554-570, 2001.
19. Y. Loyer and U. Straccia. Uncertainty and partial non-uniform assumptions in parametric deductive databases. In Proc. of JELIA-02, volume 2424 of LNCS, pages 271-282, 2002.
20. T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proc. of LPNMR-01, volume 2173, pages 336-350, 2001.
21. S. Munoz-Hernandez and J.M. Gómez Pérez. Solving collaborative fuzzy agents problems with clp(fd). In Manuel Hermenegildo and Daniel Cabeza, editors, International Symposium on Practical Aspects of Declarative Languages, PADL 2005, volume 3350 of LNCS, pages 187-202, Long Beach, CA (USA), 2005. Springer-Verlag.
22. R. Ng and V.S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Proc. of ISMIS-91, number 542 in LNCS, pages 163-171, 1991.
23. R. Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1993.
24. H. T. Nguyen and E. A. Walker. A first Course in Fuzzy Logic. Chapman & Hall/Crc, 2000.
25. A. Pradera, E. Trillas, and T. Calvo. A general class of triangular norm-based aggregation operators: quasi-linear t-s operators. International Journal of Approximate Reasoning, 30(1):57-72, 2002.
26. V.S. Subrahmanian. On the semantics of quantitative logic programs. In Proc. of 4th IEEE Symp. on Logic Programming, pages 173-182. Computer Society Press, 1987.
27. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
28. E. Trillas, S. Cubillo, and J. L. Castro. Conjunction and disjunction on ([0, 1], <=). Fuzzy Sets and Systems, 72:155-165, 1995.
29. E. Trillas, A. Pradera, and S. Cubillo. A mathematical model for fuzzy connectives and its application to operators behavioural study. In B. Bouchon-Meunier, R.R. Yager, and L.A. Zadeh, editors, Information, Uncertainty and Fusion, volume 516, pages 307-318. Kluwer Academic Publishers (Series: The Kluwer International Series in Engineering and Computer Sciences), 1999.
30. M.H. van Emden. Quantitative duduction and its fixpoint theory. Journal of Logic Programming, 4(1):37-53, 1986.
31. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple implementation using clp(r). In Constraints and Uncertainty, Paphos (Cyprus), 2001. CP'2001 workshop. http://www.clip.dia.fi.upm.es/clip/papers/fuzzylpar02. ps.
32. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple general implementation using clp(r). In M. Baaz and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, number 2514 in LNAI, pages 450-463, Tbilisi, Georgia, October 2002. Springer-Verlag.
33. G. Wagner. A logical reconstruction of fuzzy inference in databases and logic programs. In Proc. of IFSA-97, Prague, 1997.
34. G. Wagner. Negation in fuzzy and possibilistic logic programs. In Logic programming and Soft Computing. Research Studies Press, 1998.
35. Ehud Y. and Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In IJCAI, pages 529-532, 1983.
36. L. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1(1):3-28, 1978.