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.

• Type: Conference
• Year: 2007
• Where: MICAI
• Authors: Jesús Medina, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño
• Keywords: Artificial Intelligence, Inf-preserving Multi-valued Function, MICAI 2007, Minimal fixed Point, Sufficient Condition