𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A qualitative fuzzy possibilistic logic

✍ Scribed by Petr Hájek; Dagmar Harmancová; Rineke Verbrugge

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
873 KB
Volume
12
Category
Article
ISSN
0888-613X

No coin nor oath required. For personal study only.

✦ Synopsis

A formal logical system dealing with both uncertainty (possibility) and vagueness (fuzziness) is investigated. It is many-valued and modal. The system is related to a many-valued tense logic. A completeness theorem is exhibited.

📜 SIMILAR VOLUMES

Incorporating qualitative knowledge in e
Incorporating qualitative knowledge in enzyme kinetic models using fuzzy logic
✍ Bogju Lee; John Yen; Linyu Yang; James C. Liao 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

Modeling of metabolic pathway dynamics requires detailed kinetic equations at the enzyme level. In particular, the kinetic equations must account for metabolite effectors that contribute significantly to the pathway regulation in vivo. Unfortunately, most kinetic rate laws available in the literatur

Towards an automated deduction system fo
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
✍ Teresa Alsinet; Lluís Godo 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (ϕ, α), in which ϕ is a first-order Horn clause or a query with fuzzy constants and regular predicates, and α ∈ [0