Fuzzy logic programming
We develop Fuzzy Logic Programming with the goal to provide a theoretical background for fuzzy expert systems. With the system of fuzzy logic programming that we present the researcher and the practitioner have the theoretical results that the system produces only correct answers and all the possible correct answers. A new notion of Fuzzy logical consequence is introduced. A fuzzy minimal model is proposed. The equivalence between the declarative, minimal model, fixpoint and procedural semantics for fuzzy logic programs is proven through the series of the following theorems. The final result is the soundness and completeness of the system: 1. The existence of an Herbrand mu -model for a set of fuzzy clauses having a mu -model. 2. mu -Model Intersection Property. 3. The relationship between the fuzzy minimal model and the fuzzy Herbrand base. 4. Fixpoint Characterization of the Least Fuzzy Herbrand Model. 5. The Soundness of the Fuzzy Logic Programming System - any answer produced by the system is correct. 6. The Completeness of the Fuzzy Logic Programming System - the system produces all correct answers. (C) 2001 Elsevier Science B.V. All rights reserved.
fuzzy logic fuzzy logic programming logic programming expert systems approximate reasoning artificial intelligence sld-resolution fuzzy prolog