Fuzzy logic programming via multilattices

We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in order to provide an ideal-based semantics; on the other hand, a restricted semantics, in which interpretations assign elements of a multilattice to each propositional symbol, is presented and analysed.

[1]  Abdelkader Stouti.  A FUZZY VERSION OF TARSKI'S FIXPOINT THEOREM , 2004 .

[2]  A. Ran,et al.  A fixed point theorem in partially ordered sets and some applications to matrix equations , 2003 .

[3]  Manuel Ojeda-Aciego,et al.  Sorted Multi-adjoint Logic Programs: Termination Results and Applications , 2004, JELIA.

[4]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[5]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[6]  Guo-Qiang Zhang,et al.  Clausal Logic and Logic Programming in Algebraic Domains , 2001, Inf. Comput..

[7]  Günter F. Steinke,et al.  A new dimension by means of separating sets , 1983 .

[8]  Umberto Straccia,et al.  Epistemic Foundation of the Well-Founded Semantics over Bilattices , 2004, MFCS.

[9]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[10]  D. J. Hansen.  An axiomatic characterization of multilattices , 1981, Discret. Math..

[11]  Jesús Medina,et al.  Multi-lattices as a Basis for Generalized Fuzzy Logic Programming , 2005, WILF.

[12]  Manuel Ojeda-Aciego,et al.  Multi-adjoint Logic Programming with Continuous Semantics , 2001, LPNMR.

[13]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[14]  Mihail Benado.  Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. II. Théorie des multistructures , 1954 .

[15]  Luís Moniz Pereira,et al.  Monotonic and Residuated Logic Programs , 2001, ECSQARU.

[16]  G. Grätzer.  General Lattice Theory , 1978 .

[17]  Ivor J. Johnston.  Some results involving multilattice ideals and distributivity , 1990, Discret. Math..

[18]  Laks V. S. Lakshmanan,et al.  On a theory of probabilistic deductive databases , 2001, Theory and Practice of Logic Programming.

[19]  Pablo Cordero,et al.  A New Algebraic Tool for Automatic Theorem Provers , 2004, Annals of Mathematics and Artificial Intelligence.

[20]  Mohamed A. Khamsi,et al.  Fixed point theorems in logic programming , 1997, Annals of Mathematics and Artificial Intelligence.

[21]  Pablo Cordero,et al.  Generalizations of lattices via non-deterministic operators , 2005, Discret. Math..