Multi-lattices as a basis for generalized fuzzy logic programming

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

Volumn 3849 LNAI, Issue , 2006, Pages 61-70

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

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FRAMEWORK; FUZZY LOGIC PROGRAMMING; LOGIC PROGRAMS; MULTI-LATTICES;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

FUZZY CONTROL;

EID: 33745126249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11676935_8     Document Type: Conference Paper

References (13)

1. M. Benado. Les ensembles partiellement ordonnés et le théoréme de raffinement de Schreier, II. Théorie des multistructures. Czech. Math. J., 5(80):308-344, 1955.
2. P. Cordero, G. Gutiérrez, J. Martínez, and I. P. de Guzmán. A new algebraic tool for automatic theorem provers. Ann. Math. and Artif. Intelligence, 42(4):369-398, 2004.
3. C. Damásio, J. Medina, and M. Ojeda-Aciego. Sorted multi-adjoint logic programs: termination results and applications. Lect. Notes in Artificial Intelligence 3229:260-273, 2004.
4. C. Damásio and L. Pereira. Monotonic and residuated logic programs. Lecture Notes in Computer Science, 2143:748-759, 2001.
5. D. Hansen. An axiomatic characterization of multi-lattices. Discrete Mathematics, 1:99-101, 1981.
6. M.A. Khamsi and D. Misaine. Fixed point theorems in logic programming. Ann. Math. and Artif. Intelligence, 21:231-243, 1997.
7. L. Lakhsmanan and F. Sadri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming, 1(1):5-42, 2001.
8. J. Martínez, G. Gutiérrez, I.P. de Guzmán and P. Cordero. Generalizations of lattices looking at computation. Discrete Mathematics, 295:107-141, 2005.
9. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. Lect. Notes in Artificial Intelligence, 2173:351-364, 2001.
10. A. Ran and M. Reurings. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. of the AMS, 132(5): 1435-1443, 2003.
11. W. Rounds and G.-Q. Zhang. Clausal logic and logic programming in algebraic domains. Inform, and Computation, 171:183-200, 2001.
12. A. Stouti. A fuzzy version of Tarski's fixpoint theorem. Archivum mathematicum, 40:273-279, 2004.
13. P. Vojtáš. Fuzzy logic programming. Fuzzy sets and systems, 124(3):361-370, 2001.