ABSTRACT
Fuzzy logic is based on the central idea that in fuzzy sets each element in the set can assume
a value from 0 to 1, not just 0 or 1, as in classic set theory. Thus, qualitative characteristics
and numerically scaled measures can exhibit gradations in the extent to which they belong to
the relevant sets for evaluation. This degree of membership of each element is a measure of
the elements "belonging" to the set, and thus of the precision with which it explains the
phenomenon being evaluated. Fuzzy sets can be combined to produce meaningful
conclusions, and inferences can be made, given a specified fuzzy input function. The article
demonstrates the application of fuzzy logic to an income-producing property, with a resulting
fuzzy set output.
As an example, if S is the set of natural numbers and P is the property odd, then the set {x
S : x is an odd number} is defined. Now, there are properties that are vague and
therefore not well defined. This since they can be satisfied with several different degrees. For
instance, short, big, near, are vague properties. Then, the question arises whether
these properties isolate some type of subset and therefore whether we can give a precise
meaning to intuitive notions as the set of short men, the set of big numbers, the set of
shops near to the station, and so on.
We present several classes of non-classical logics (ranging from many valued and fuzzy
logics to modal and description logics) which can be translated into tractable and relatively
simple fragments of classical logic. We show that, in many cases, such translations can be
obtained using representation theorems for the algebraic models of the logic under
consideration. In this context, we show that refinements of resolution can often be used
successfully for automated theorem proving, and in many cases yield optimal decision
procedures.