Fuzzy control as a fuzzy deduction system (Q5947554)

The author gives a new and interesting translation strategy for linguistic control rules of the form: \textit{if} \(x\) is \(A\) \textit{then} \(y\) is \(B\). He reads them as: \( A(x) \land B(y) \to\text{ good} (x,y) \) with a new predicate \textit{good} expressing globally the control quality. This approach allows the author to transform a list of linguistic control rules into a fuzzy theory in a suitable (formalized) fuzzy logic, and this fuzzy theory is even a Horn theory. Therefore the control function can be determined via the least fuzzy Herbrand model.