Sciweavers

Share
MICAI
2007
Springer

On Reachability of Minimal Models of Multilattice-Based Logic Programs

10 years 5 months ago
On Reachability of Minimal Models of Multilattice-Based Logic Programs
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preserving multi-valued function is introduced, and shown to be a sufficient condition for the existence of minimal fixed point; then, we identify a sufficient condition granting that the immediate consequence operator for multilattice-based fuzzy logic programs is sup-preserving and, hence, computes minimal models in at most ω iterations.
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MICAI
Authors Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
Comments (0)
books