Эта книга — первое российское издание, в котором нечеткая логика представлена с позиций формального дедуктивного исчисления. Специфика нечеткости отражена в выборе решеточной структуры истинностных значений, обогащенной алгебраическими операциями. Возникающая при этом логическая алгебра, называемая резидуальной решеткой, обобщает булеву алгебру. Процесс вывода в нечеткой логике сопровождается вычислением оценки истинности заключения, которая может быть выражена словесно («истинно», «более или менее истинно» и т. п.) или числом в интервале [0,1].
Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений. В качестве нетрадиционного приложения рассмотрены методы приближенного представления функций обобщенными нормальными формами.
Для студентов, аспирантов и научных сотрудников университетов, технических вузов, научных учреждений.
