Нечеткие множества: основы теории и приложения к моделированию решений

115 Этапы вычисления функции принадлежности лингвистиче - ской истинности для составного высказывания полностью повто - ряют случай для простых высказываний ( см . пример 6.1): в оцени - ваемом высказывании набору (1; 30) соответствует 0,2; находим в базовом высказывании такой же набор (1; 30), которому соответ - ствует 0,1. Отношение 0,2/0,1 является первым элементом нечетко - го числа 1 s T . Аналогично , для набора (3; 30) получаем отношение 1,0/1,0. В результате имеем лингвистическое значение истинности 1 s T = } { 0, 2 0,1;1,0 1,0 = вполне истинно . Таким образом , оценено высказывание 1 s ɶ ≡ ” доход большой и производительность труда высокая ” как вполне истинное вы - сказывание . Тем самым , мы здесь построили новое нечеткое вы - сказывание : “( p и h ) есть 1 s T ”. Замечание . По предложенному алгоритму строятся лингвис - тические значения истинности для модифицированных простых и составных высказываний . 6.4. Выбор решения в нечетких условиях . Нечеткое правило modus ponens Основным правилом вывода в классической логике является дедуктивное правило modus ponens, согласно которому можно су - дить об истинности высказывания “ Y есть B 1 ” по истинности выска - зывания “ X есть A 1 ” и импликации “ Если ( X есть A 1 ), то ( Y есть B 1 )”. Формально эта схема вывода записывается так : L 1 : если ( X есть A 1 ), то ( Y есть B 1 ) или коротко L 1 : A 1 → B 1 : X есть A 1 – истинно A 1 – истинно Y есть B 1 – истинно B 1 – истинно Пример 6.14. В этом примере A 1 , B 1 – четкие высказывания . L 1 : если ( X есть 5) то ( Y есть 20).