𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Continuous fuzzy Horn logic

✍ Scribed by Vilém Vychodil

Publisher
John Wiley and Sons
Year
2006
Tongue
English
Weight
220 KB
Volume
52
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w. r. t. semantics over the unit interval [0, 1] with (residuated lattices given by) left-continuous t-norm and a residuated implication, provided that only certain fuzzy sets of formulas are considered. The model classes of fuzzy structures of FHL are characterized by closure properties. We also give comments on related topics proposed by N. Weaver.

📜 SIMILAR VOLUMES

Non-Horn clause logic programming
Non-Horn clause logic programming
✍ Xumin Nie 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 1014 KB

There has been active work to extend the Prolog style Horn clause logic programming to non-Horn clauses. In this paper, we analyze and compare several such extensions using an analytical approach. All the extensions discussed behave exactly like Prolog when only Horn clauses are involved. The purpos

Fuzzy values in fuzzy logic
Fuzzy values in fuzzy logic
✍ L. Godo; J. Jacas; L. Valverde 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

One of the main features of Fuzzy Logic is its capability to deal with the concept of compatibility between two propositions, in such a way that the inference process modeled through the Compositional Rule of Inference is independent from the particular possibility distributions involved. It is in t

Fuzzy conditional logic
Fuzzy conditional logic
✍ D. Dumitrescu 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 362 KB