Fuzzy logic programming via multilattices

Fuzzy Sets and Systems

Volumn 158, Issue 6, 2007, Pages 674-688

  Medina, Jesús ^a   Ojeda Aciego, Manuel ^a   Ruiz Calviño, Jorge ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Fixed point semantics; Fuzzy logic programming; Multilattices

Indexed keywords

CODES (SYMBOLS); LOGIC PROGRAMMING; SEMANTICS;

FIXED POINT SEMANTICS; MULTILATTICES;

FUZZY SETS;

EID: 33846569355     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.11.006     Document Type: Article

References (21)

1. Benado M. Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier, II. Théorie des multistructures. Czechoslovak Math. J. 5 80 (1955) 308-344
2. Birkhoff G. Lattice Theory (1973), American Mathematical Society, Providence, RI
3. Cordero P., Gutiérrez G., Martínez J., and de Guzmán I.P. A new algebraic tool for automatic theorem provers. Ann. Math. Artificial Intelligence 42 4 (2004) 369-398
4. P. Cordero, J. Martínez, G. Gutiérrez, I. de Guzmán, Generalizations of lattices via non-deterministic operators. Discrete Math 295 (1-3) (2005) 107-141.
5. C. Damásio, J. Medina, M. Ojeda-Aciego, Sorted multi-adjoint logic programs: termination results and applications, in: Logics in Artificial Intelligence, JELIA'04, Lecture Notes in Artificial Intelligence, Vol. 3229, 2004, pp. 260-273.
6. C. Damásio, L. Pereira, Monotonic and residuated logic programs, Lecture Notes in Computer Science, Vol. 2143, 2001, pp. 748-759.
7. Fitting M. Bilattices and the semantics of logic programming. J. Logic Programming 11 (1991) 91-116
8. Grätzer G. General Lattice Theory (1998), Birkhäuser Verlag, Basal
9. Hansen D. An axiomatic characterization of multilattices. Discrete Math. 1 (1981) 99-101
10. Johnston I. Some results involving multilattice ideals and distributivity. Discrete Math. 83 1 (1990) 27-35
11. Khamsi M.A., and Misane D. Fixed point theorems in logic programming. Ann. Math. Artificial Intelligence 21 (1997) 231-243
12. Kifer M., and Subrahmanian V. Theory of generalized annotated logic programming and its applications. J. Logic Programming 12 (1992) 335-367
13. Lakhsmanan L., and Sadri F. On a theory of probabilistic deductive databases. Theory Practice Logic Programming 1 1 (2001) 5-42
14. Y. Loyer, U. Straccia. Epistemic foundation of the well-founded semantics over bilattices, in: J. Fiala, V. Koubek, J. Kratochvíl (Eds.), MFCS, Lecture Notes in Computer Science, Vol. 3153, Springer, Berlin, 2004, pp. 513-524.
15. J. Medina, M. Ojeda-Aciego, J. Ruiz-Calviño, Multi-lattices as a basis for generalized fuzzy logic programming, in: Proc. of WILF, Lecture Notes in Artificial Intelligence, Vol. 3849, 2006, pp. 61-70.
16. J. Medina, M. Ojeda-Aciego, P. Vojtáš, Multi-adjoint logic programming with continuous semantics, in: Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR'01, Lecture Notes in Artificial Intelligence, Vol. 2173, Springer, Berlin, 2001, pp. 351-364.
17. Rachünek J. 0-Idéaux des ensembles ordonnés. Acta Univ. Palack. Olomuc. Fac. Rer. Natur. 45 Math. 14 (1974) 77-81
18. A.C.M. Ran, M.C.B. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, in: Proc. of the American Mathematical Society, Vol. 132(5), 2003, pp. 1435-1443.
19. Rounds W., and Zhang G.-Q. Clausal logic and logic programming in algebraic domains. Inform. Comput. 171 (2001) 183-200
20. Stouti A. A fuzzy version of Tarski's fixpoint theorem. Arch. Math. 40 (2004) 273-279
21. Vojtáš P. Fuzzy logic programming. Fuzzy Sets and Systems 124 3 (2001) 361-370