Logical Interpretation of Fuzzy Control
In spite of the appearance there are several difficulties to give a rigorous logical interpretation of the IF-THEN rules. As an example, interpret a rule as IF (temperature is "cold") THEN (heater is "high") by the first order formula Cold(x)→High(y) and assume that r is an input such that Cold(r) is false. Then the formula Cold(r)→High(t) is true for any t and therefore any t gives a correct control given r. A rigorous logical justification of fuzzy control is given in Hájek's book (see Chapter 7) where fuzzy control is represented as a theory of Hájek's basic logic. Also in Gerla 2005 a logical approach to fuzzy control is proposed based on fuzzy logic programming. Indeed, denote by f the fuzzy function arising of a IF-THEN systems of rules. Then we can translate this system into fuzzy program in such a way that f is the interpretation of a vague predicate Good(x,y) in the least fuzzy Herbrand model of this program. This gives further useful tools to fuzzy control.
Read more about this topic: Fuzzy Control System
Famous quotes containing the words logical, fuzzy and/or control:
“The truth is, that common-sense, or thought as it first emerges above the level of the narrowly practical, is deeply imbued with that bad logical quality to which the epithet metaphysical is commonly applied; and nothing can clear it up but a severe course of logic.”
—Charles Sanders Peirce (1839–1914)
“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)
“I have not ceased being fearful, but I have ceased to let fear control me. I have accepted fear as a part of life, specifically the fear of change, the fear of the unknown, and I have gone ahead despite the pounding in the heart that says: turn back, turn back, you’ll die if you venture too far.”
—Erica Jong, U.S. author. In an essay in The Writer on Her Work, ch. 13 (1980)