Filters
What does Mathematical Fuzzy Logic Offer to Description Logic?
Continuous t-norm based fuzzy predicate logic is surveyed as a generalization of classical predicate logic; the kind of fuzzy description logic based on our fuzzy predicate
BA - Obecná matematika
- 2006 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Monadic Fuzzy Predicate Logic.
Two wariants of monadic fuzzy predicate logic are analeyed and compared with the fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tau...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Theories and Models in Fuzzy Predicate Logics
at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contri...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Fuzzy Relations Equations via Basic Predicate Fuzzy Logic
The paper presents solution of fuzzy relations equations in BL-fuzzy predicate logic using purely formal syntax...
BA - Obecná matematika
- 2002 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II
Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfable formulas, ...) are surveyed and some new results are proven....
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Introduction to Mathematical Fuzzy Logic. Chapter 1
fuzzy logic. Starting from the syntax and semantics of t-norm fuzzy logics, it systematically surveys the systems of propositional fuzzy logics known from the literature, theirgeneral and particu...
BA - Obecná matematika
- 2011 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Fuzzy Predicate Calculus and Fuzzy Rules.
The basic many-sorted fuzzy predicate calculus BLforall is presented and used to express and prove logical properties of 'fuzzy IF-THEN rules'....
BA - Obecná matematika
- 2000 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Fuzzy Predicate Logic Deductive System
Application provides interface and algorithms for deduction reasoning in fuzzy predicate logic. It is based on non-clausal resolution....
IN - Informatika
- 2009 •
- R
Rok uplatnění
R - Software
Triangular Norm Based Predicate Fuzzy Logics
The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics, standard (the set of truth values being the real interval [0, 1]) and general with abstract algebras of tr...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Function Symbols in Fuzzy Predicate Logic.
How to use function symbols in the basic fuzzy predicate logic and its extensions and presents a completeness theorem for the defined calculus.Other logical properties....
BA - Obecná matematika
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 14 273