Методы искусственного интеллекта для синтеза проектных решений. Подольский В.Е - 22 стр.

UptoLike

Рассмотренные понятия позволяют качественно оценить экспертную информацию. Естественным требованием к ней
является то, что система нечётких высказываний должна быть лингвистически полной невырожденной и непротиворечивой.
4. ПРИНЯТИЕ РЕШЕНИЙ В СИСТЕМАХ, ОСНОВАННЫХ НА ПРАВИЛАХ
4.1. ВЫБОР РЕШЕНИЙ НА ОСНОВЕ ЧЁТКОЙ ЭКСПЕРТНОЙ ИНФОРМАЦИИ
Использование моделей и алгоритмов принятия решений на основе экспертной информации связано с решением задачи
представления данной информации в виде, пригодном для использования.
При выборе решений в чётких условиях экспертная информация представила в виде системы условных высказываний,
устанавливающих взаимосвязь между чёткими значениями входных и выходных параметров процесса принятия решения.
Если в зависимости от возможных чётких значений входных параметров делается вывод о значениях выходного
параметра, то такая система называется системой
L
(1)
-типа. Данная система представляется в виде:
=
mmm
BТОAЕСЛИL
BТОAЕСЛИL
BТОAЕСЛИL
L
:
:
:
)1(
22
)1(
2
11
)1(
1
)1(
L
(39)
где
mчисло экспертных высказываний; Ajчёткое значение входного параметра; Bjчёткое значение выходного
параметра или некоторое конкретное действие процесса проектирования.
В случаях, когда в зависимости от возможных значений выходной ситуации (
Вj) экспертом делается предположение о
возможной входной ситуации (
Аj), система экспертных высказываний называется системой L
(2)
-типа и представляется в
виде:
=
mmm
AТОBЕСЛИL
AТОBЕСЛИL
AТОBЕСЛИL
L
:
:
:
)2(
22
)2(
2
11
)2(
1
)2(
L
(40)
Рассмотрим теперь механизм выбора решений в чётких условиях.
(1) При задании экспертной информации системой высказываний L
(1)
-типа выбор решения основывается на правиле modus
ponens.
Пусть
А и Впроизвольные чёткие высказывания. Правило ЕСЛИ Аj ТО Вjправило из системы L
(1)
. Обозначим
через
T(A/A
j
) – истинность высказывания A относительно A
j
; T(B/B
j
) – истинность высказывания B относительно B
j
:
=
=
.,0
;,1
)/(
случаяхдругихв
AAпри
AAT
j
j
(41)
=
=
.,0
;,1
)/(
случаяхдругихв
BBпри
BBT
j
j
(42)
(В данном случае значения истинностей являются частным случаем значений истинности для нечётких высказываний).
Согласно правилу modus ponens из высказываний
ЕСЛИ Аj ТО Вj И А выводимо высказывание В.
Формально правило modus ponens записывается в виде
ЕСЛИ Аj ТО Вj
Аистинно (43)
Вистинно.
Истинностью правила modus ponens для схемы вывода (43) называется величина
==
=
случаяхдругихв
BBиAAесли
BALT
jj
j
,0
,1
),,(
)1(
(44)
(2)
При задании экспертной информации системой высказываний L
(2)
-типа выбор решения основывается на индуктивной
схеме вывода. Согласно ей из высказываний
ЕСЛИ Аj ТО Вj И А следует правдоподобность высказывания В.
Формально такая схема запишется в виде
ЕСЛИ Аj ТО Вj;
Аистинно; (45)
Вболее правдоподобно.