𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fuzzy logic programming

✍ Scribed by Rafee Ebrahim

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
151 KB
Volume
117
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.

✦ Synopsis

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, ΓΏxpoint and procedural semantics for fuzzy logic programs is proven through the series of the following theorems. The ΓΏnal result is the soundness and completeness of the system: 1. The existence of an Herbrand -model for a set of fuzzy clauses having a -model. 2. -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.

πŸ“œ SIMILAR VOLUMES

Annotated fuzzy logic programs
Annotated fuzzy logic programs
✍ Tru H. Cao πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 189 KB

Several fuzzy logic programming systems that deal with fuzzy sets as data in programs have been developed, but they lack the fundamentals of a theorem prover, whence the soundness and the completeness cannot be proved. Annotated logic programs have been developed as an extension of classical logic p