правила вывода и правила типа
получаем композиционный modus ponens
который может рассматриваться как классический modus ponens, когда F, G и H являются четкими и
Рассмотрим простой пример использования композиционного правила вывода [59]. Пусть
маленький»,
и Г приблизительно равны», где «маленький» и «приблизительно равны» определяются функциями принадлежности: «маленький»
«приблизительно равны»
.
В терминах этих множеств трансляции
и
выражаются в виде
и тогда из
и
можно вывести
где
Композиция «маленький» и «приблизительно равны» вычисляется с помощью вычисления maxmin — композиции матриц отношений этих нечетких подмножеств. Получаем
т. е.
и после обратной трансляции получаем лингвистическую аппроксимацию
«более или менее маленький»
Вышеприведенный пример иллюстрирует последовательность вычислений, необходимых при использовании композиционного правила вывода для конечных X и Y. Более подробное обсуждение практического применения композиционного правила вывода для построения нечетких логических регуляторов можно найти в [25—27, 34, 35, 37, 55], а также в гл. 8. Критический анализ приведенного подхода содержится, например, в [18].