Аннотация:
Представлены результаты исследования, касающиеся различных определений резольвенты в нечеткой логике. Определены условия, при выполнении которых резольвента Ли становится значимым логическим следствием в случае классического определения нечетких логических связок. Показано, что при использовании для их формализации треугольных норм и конорм логически значимую резольвенту Ли получить невозможно. Однако если треугольная конорма задается как операция максимума, то для произвольной треугольной нормы резольвента Ли существует. Определены условия, при выполнении которых для классических операций минимума и максимума резольвента Мукайдоно становится значимым логическим следствием. При использовании треугольных норм и конорм, отличных от классических, требуется дополнительное исследование. Приведен иллюстративный пример, демонстрирующий процесс построения резольвенты Мукайдоно.
Ключевые слова:резольвента, метод резолюций, треугольные нормы и конормы.