Sciweavers

426 search results - page 23 / 86
» Fuzzy Description Logics and t-norm based fuzzy logics
Sort
View
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
A Fuzzy-Semiotic Framework for Modeling Imprecision in the Assessment of Depression
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
Mila Kwiatkowska, Krzysztof Kielan, Krzysztof Mich...
RSCTC
2000
Springer
146views Fuzzy Logic» more  RSCTC 2000»
14 years 5 days ago
Application of Discernibility Tables to Calculation of Approximate Frequency Based Reducts
Abstract. We provide the unified methodology for searching for approximate decision reducts based on rough membership distributions. Presented study generalizes well known relation...
Maciej Borkowski, Dominik Slezak
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
CIE
2008
Springer
13 years 10 months ago
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
Matthias Baaz, George Metcalfe
AML
2010
96views more  AML 2010»
13 years 8 months ago
Implicational (semilinear) logics I: a new hierarchy
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
Petr Cintula, Carles Noguera