Логико-лингвистические методы описания систем основаны на том, что поведение исследуемой системы описывается на естественном (или близком к естественному) языке в терминах лингвистических переменных.
Входные и выходные параметры системы рассматриваются как лингвистические переменные, а качественное описание процесса задается совокупностью высказываний следующего вида:
L1: если < A 1 > то < B 1 >,
L2: если < A 2 > то < B 2 >,
....................
L k: если < Ak > то < Bk >,
где < Ai >, i =1,2,.., k - составные нечеткие высказывания, определенные на значениях входных лингвистических переменных, а < Bi >, i = 1,2,.., k - высказывания, определенные на значениях выходных лингвистических переменных.
С помощью правил преобразования дизъюнктивной и конъюнктивной формы описание системы можно привести к виду:
L1: если <A1 > то <B1 >,
L2: если <A2 > то <B2 >,
....................
L k: если <A k > то <B k >,
где A1,A2,..,A k - нечеткие множества, заданные на декартовом произведении X универсальных множеств входных лингвистических переменных, а B1, B2,.., B k - нечеткие множества, заданные на декартовом произведении Y универсальных множеств выходных лингвистических переменных.
Совокупность импликаций {L1, L2,..., L k } отражает функциональную взаимосвязь входных и выходных переменных и является основой построения нечеткого отношения XRY, заданного на произведении X´Y универсальных множеств входных и выходных переменных. Если на множестве X задано нечеткое множество A, то композиционное правило вывода B = A·R определяет на Y нечеткое множество B с функцией принадлежности
mB(y) = 
(mA(x) LmR(x,y))
Таким образом, композиционное правило вывода в этом случае задает закон функционирования нечеткой модели системы.
Рассмотрим широко цитируемый пример решения задачи нечеткого логического управления: построение модели управления паровым котлом.
