Multi-lattices as a Basis for Generalized Fuzzy Logic Programming

A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investigate the possibility of using multi-lattice-valued interpretations of logic programs and the theoretical problems that this generates with regard to its fixed point semantics.

• Type: Conference
• Year: 2005
• Where: WILF
• Authors: Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
• Keywords: Artificial Intelligence, Logic Programming, Prospective Study, WILF 2005, fixed Point Semantics