A similarity-based wam for bousi≃ prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5517 LNCS, Issue PART 1, 2009, Pages 245-252

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

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy logic programming; Fuzzy prolog; Unification by similarity; Warren abstract machine

Indexed keywords

ABSTRACT MACHINES; FUZZY PROLOG; FUZZY UNIFICATION; LOW LEVEL; OPERATIONAL SEMANTICS; SLD RESOLUTION; UNIFICATION BY SIMILARITY; WARREN ABSTRACT MACHINE;

ABSTRACTING; BACKPROPAGATION; COMPUTATIONAL LINGUISTICS; FUZZY SETS; LOGIC PROGRAMMING; NEURAL NETWORKS; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES;

FUZZY LOGIC;

EID: 68749118722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02478-8_31     Document Type: Conference Paper

References (11)

1. Aït-Kaci, H.: Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge (1991)
2. Fontana, F.A., Formato, F.: Likelog: A logic programming language for flexible data retrieval. In: Proc, of the ACM SAC, pp. 260-267 (1999)
3. Fontana, F., Formato, F.: A similarity-based resolution rule. Int. J. Intell. Syst. 17(9), 853-872 (2002)
4. Julián, P., Rubio, C., Gallardo, J.: Bousi~Prolog: a Prolog extension language for flexible query answering. In: ENTCS, p. 16. Elsevier, Amsterdam (in press, 2009)
5. Julián-Iranzo, P.: A procedure for the construction of a similarity relation. In: Málaga, U. (ed.) Proceedings of IPMU, pp. 489-496 (2008)
6. Julián, P., Rubio, C.: A WAM implementation for flexible query answering. In: Proc, of the 10th IASTED ASC, pp. 262-267. ACTA Press (2006)
7. Loia, V., Senatore, S., Sessa, M.: Similarity-based SLD resolution and its implementation in an extended prolog system. In: FUZZ-IEEE, pp. 650-653 (2001)
8. Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets and Systems 146(1), 43-62 (2004)
9. Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science 275(1-2), 389-426 (2002)
10. Shenoi, S., Melton, A.: Proximity relations in the fuzzy relational database model. Fuzzy Sets and Systems 100, 51-62 (1999)
11. Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical note 309, SRI International, Menlo Park, CA (October 1983)