Сформулируем задачу обратных вычислений на дереве выво-
да следующим образом:
известны
а) дерево вывода главного заключения (гипотезы);
б) коэффициент определенности гипотезы, увеличенный
(уменьшенный) до требуемой величины ct(b)±Act(b);
в) реляционные выражения, функции принадлежности, фор-
мулы расчетов и база данных;
необходимо определить коэффициенты терминальных вершин,
обеспечивающие требуемый уровень достоверности главного за-
ключения.
Принципиальным отличием обратных вычислений от прямых
является то, что при прямых вычислениях коэффициент 0,24 (см.
рис.
4.9) получают исходя из значений показателей, находящих-
ся в базе данных: а = 10, b = 20, с = 15, при обратных значения
<2=10 + 2, 6 = 20-4, с = 15 + 1 получают исходя из задаваемого
пользователем желаемого коэффициента 0,7 (см. рис. 4.10).
В рамках рассматриваемого подхода повышение достоверно-
сти правил не представляется возможным. Объясняется это тем,
что всякое правило является аналогом функции, зависящей от
аргументов. Правило, как и функция, устанавливает связь между
исходными данными (условиями, посылками) и заключением.
Если же правило не устраивает ЛФР (низкий уровень достовер-
ности), то так же, как и в случае наличия какой-либо функции,
например детерминированной, его следует заменить. Модифи-
кация правила требует модификации дерева вывода.
Рассматриваемые далее целевые установки не столь разнооб-
разны, как в детерминированных зависимостях, так как типов
правил вывода всего четыре. Далее будем пользоваться той же
типизацией правил, что и в разд. 4.1.
Обратные вычисления для правил типа 1
1.
Целевая установка:
ct{b)^
=ct^(a)ct(np).
Задача запишется следующим образом:
ct(b)
+ Act(b) = (ct(a) + Act(a))
•
ct(np).
Так как есть лишь одна неизвестная величина, прирост ко-
эффициента определенности условия равен:
ct(b)-\-Act(b)
ct(a)-\-Act(a)
= -
ct(np)
125