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 possibl...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Fuzzy sets and systems Ročník 117; číslo 2; s. 215 - 230
Hlavní autor: Ebrahim, Rafee
Médium: Journal Article
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 2001
Elsevier
Témata:
Applied sciences
Approximate reasoning
Artificial intelligence
Computer science; control theory; systems
Exact sciences and technology
Expert systems
Fuzzy logic
Fuzzy logic programming
Fuzzy prolog
General logic
Logic and foundations
Logic programming
Mathematical logic, foundations, set theory
Mathematics
Programming theory
Sciences and techniques of general use
Set theory
SLD-resolution
Theoretical computing
Fuzzy logic
Approximate reasoning
Logic programming
Fuzzy logic programming
Fuzzy prolog
Artificial intelligence
Expert systems
SLD-resolution
Reasoning
Semantics
Model theory
Expert system
Herbrand interpretation
Logical programming
PROLOG
ISSN:0165-0114, 1872-6801
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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 μ-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.
ISSN:0165-0114
1872-6801
DOI:10.1016/S0165-0114(98)00300-5