Many-valued Logic - Relation To Fuzzy Logic

Relation To Fuzzy Logic

Multi-valued logic is closely related to fuzzy set theory and fuzzy logic. The notion of fuzzy subset was introduced by Lotfi Zadeh as a formalization of vagueness; i.e., the phenomenon that a predicate may apply to an object not absolutely, but to a certain degree, and that there may be borderline cases. Indeed, as in multi-valued logic, fuzzy logic admits truth values different from "true" and "false". As an example, usually the set of possible truth values is the whole interval . Nevertheless, the main difference between fuzzy logic and multi-valued logic is in the aims. In fact, in spite of its philosophical interest (it can be used to deal with the Sorites paradox), fuzzy logic is devoted mainly to the applications. More precisely, there are two approaches to fuzzy logic. The first one is very closely linked with multi-valued logic tradition (Hajek school). So a set of designed values is fixed and this enables us to define an entailment relation. The deduction apparatus is defined by a suitable set of logical axioms and suitable inference rules. Another approach (Goguen, Pavelka and others) is devoted to defining a deduction apparatus in which approximate reasonings are admitted. Such an apparatus is defined by a suitable fuzzy subset of logical axioms and by a suitable set of fuzzy inference rules. In the first case the logical consequence operator gives the set of logical consequence of a given set of axioms. In the latter the logical consequence operator gives the fuzzy subset of logical consequence of a given fuzzy subset of hypotheses.

Read more about this topic:  Many-valued Logic

Famous quotes containing the words relation to, relation, fuzzy and/or logic:

    To be a good enough parent one must be able to feel secure in one’s parenthood, and one’s relation to one’s child...The security of the parent about being a parent will eventually become the source of the child’s feeling secure about himself.
    Bruno Bettelheim (20th century)

    You see, I am alive, I am alive
    I stand in good relation to the earth
    I stand in good relation to the gods
    I stand in good relation to all that is beautiful
    I stand in good relation to the daughter of Tsen-tainte
    You see, I am alive, I am alive
    N. Scott Momaday (b. 1934)

    Even their song is not a sure thing.
    It is not a language;
    it is a kind of breathing.
    They are two asthmatics
    whose breath sobs in and out
    through a small fuzzy pipe.
    Anne Sexton (1928–1974)

    It is the logic of our times,
    No subject for immortal verse—
    That we who lived by honest dreams
    Defend the bad against the worse.
    Cecil Day Lewis (1904–1972)