При попытке формализовать человеческие знания возникла проблема, затруднявшая использование традиционного математического аппарата для их описания. Существует класс описаний, использующих каченственные характеристики объектов (много, мало, сильно, слабо, очень сисльно и т. п.). Эти характеристики обычно размыты и их нельзя интерпетировать однозначно. В то же время они содержат важную информацию, например, "Одним из возможных признаков неисправности двигателя является низкое давление масла".
С другой стороны, в системах искусственного интеллекта часто пользуются неточными знаниями, которые нельзя интепретировать как полностью истинные или полностью ложные. Существуют знания, достоверность которых выражается некоторым коэффициентом, например, 0,5.
Для формального представления таких знаний с учетом свойств их размытости и неточности американским ученым Лотфи Заде был предложен математический аппарат нечеткой алгебры и нечеткой логики. Это направление получило широкое распространение, положив начало одной из ветвей теории искуственного интеллекта, именуемой мягкими вычислениями.
Одним из важнейших понятий нечеткой логики является понятие лингвистической переменной, представляющей собой переменную, значение которой определеяется набором вербальных (словесных) характеристик некоторого свойства. Например, лингвистическая переменная "давление" определяется через набор {очень низкое, низкое, среднее, высокое, очень высокое}.
