58 search results - page 1 / 12 » Normal forms for fuzzy logics: a proof-theoretic approach |
AML
2007
13 years 5 months ago
2007
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
AGP
2010
IEEE
13 years 10 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
EUSFLAT
2009
13 years 2 months ago
2009
In this paper, the notion of a fuzzy vector of normalized weights is introduced, and its application in decision making models based on the weighted average operation is studied. T...
KI
2007
Springer
13 years 11 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
FUZZIEEE
2007
IEEE
13 years 6 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...