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:
“A picture whose pictorial form is logical form is called a logical picture.”
—Ludwig Wittgenstein (1889–1951)
“What do you think of us in fuzzy endeavor, you whose directions are sterling, whose lunge is straight?
Can you make a reason, how can you pardon us who memorize the rules and never score?”
—Gwendolyn Brooks (b. 1917)
“To try to control a nine-month-old’s clinginess by forcing him away is a mistake, because it counteracts a normal part of the child’s development. To think that the child is clinging to you because he is spoiled is nonsense. Clinginess is not a discipline issue, at least not in the sense of correcting a wrongdoing.”
—Lawrence Balter (20th century)