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:

    It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.
    René Descartes (1596–1650)

    Unaware of the absurdity of it, we introduce our own petty household rules into the economy of the universe for which the life of generations, peoples, of entire planets, has no importance in relation to the general development.
    Alexander Herzen (1812–1870)

    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)

    seizing the swift logic of a woman,
    Curse God and die.
    Edwin Arlington Robinson (1869–1935)