Operational semantics for a fuzzy logic programming system with defaults and constructive answers

2009 International Fuzzy Systems Association World Congress and 2009 European Society for Fuzzy Logic and Technology Conference, IFSA-EUSFLAT 2009 - Proceedings

Volumn , Issue , 2009, Pages 1827-1832

  Strass, Hannes ^a   Munoz Hernandez, Susana ^a   Ceruelo, Victor Pablos ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Logic programming application; Operational semantics

Indexed keywords

AGGREGATION OPERATOR; DEFAULT VALUES; MISSING INFORMATION; OPERATIONAL SEMANTICS; REAL NUMBER; TRUTH VALUES; UNIT INTERVALS;

COMPUTER PROGRAMMING LANGUAGES; FUZZY SYSTEMS; LOGIC PROGRAMMING;

FUZZY LOGIC;

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

References (15)

1. P. Vojtas. Fuzzy logic programming. Fuzzy Sets and Systems, 124(1):361-370, 2001.
2. R. C. T. Lee. Fuzzy Logic and the resolution principle. Journal of the Association for Computing Machinery, 19(1):119-129, 1972.
3. M. Ishizuka and N. Kanai. Prolog-ELF incorporating fuzzy Logic. In IJCAI, pages 701-703, 1985.
4. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. Fril: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, 1995.
5. D. Li and D. Liu. A Fuzzy Prolog Database System. John Wiley & Sons, New York, 1990.
6. Z. Shen, L. Ding, and M. Mukaidono. Fuzzy resolution principle. In Proc. of 18th International Symposium on Multiplevalued Logic, volume 5, 1989.
7. C. Vaucheret, S. Guadarrama, and S. Munoz-Hernandez. Fuzzy prolog: A simple general implementation using clp(r). In P.J. Stuckey, editor, Int. Conf. in Logic Programming, ICLP 2002, number 2401 in LNCS, page 469, Copenhagen, Denmark, July/August 2002. Springer-Verlag.
8. 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.
9. S. Munoz-Hernandez, C. Vaucheret, and S. Guadarrama. Combining crisp and fuzzy Logic in a prolog compiler. In J. J. Moreno-Navarro and J. Mariño, editors, Joint Conf. on Declarative Programming: APPIA-GULP-PRODE 2002, pages 23-38, Madrid, Spain, September 2002.
10. H. T. Nguyen and E. A. Walker. A first Course in Fuzzy Logic. Chapman & Hall/Crc, 2000.
11. J. Medina, M. Ojeda-Aciego, and P. Votjas. Multi-adjoint Logic Programming with continuous semantics. In LPNMR, volume 2173 of LNCS, pages 351-364, Boston, MA (USA), 2001. Springer-Verlag.
12. J. Medina, M. Ojeda-Aciego, and P. Votjas. A procedural semantics for multi-adjoint Logic Programming. In EPIA, volume 2258 of LNCS, pages 290-297, Boston, MA (USA), 2001. Springer-Verlag.
13. J. Medina, M. Ojeda-Aciego, and P. Votjas. A completeness theorem for multi-adjoint Logic Programming. In International Fuzzy Systems Conference, pages 1031-1034. IEEE, 2001.
14. P.J. Morcillo and G. Moreno. Floper, a fuzzy logic programming environment for research. In Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijn, Spain, 2008.
15. 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.