Принятие решений в системах, основанных на знаниях. Коробова И.Л - 34 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

=
=
случаях,другихв,0
;при,1
)/(
j
j
AA
AAT
(41)
=
=
случаях.другихв,0
;при,1
)/(
j
j
BB
BBT
(42)
(В данном случае значения истинностей являются частным случаем значений истинности для нечетких
высказываний).
Согласно правилу MODUS PONENS из высказываний <если А
j
то В
j
> И <А> выводимо высказыва-
ние <В>.
Формально правило MODUS PONENS записывается в виде:
<если А
j
то В
j
>;
<А – истинно>; (43)
<В – истинно>;
Истинностью правила modus ponens для схемы вывода (43) называется величина
==
=
случаях.другихв,0
;иесли,1
),,(
)1(
jj
j
BBAA
BALT
(44)
(2) При задании экспертной информации системой высказываний L
(2)
-типа выбор решения основы-
вается на индуктивной схеме вывода. Согласно ей из высказываний <если А
j
то В
j
> И <А> следует
правдоподобность высказывания <В>. Формально такая схема запишется в виде:
<ЕСЛИ А
j
ТО В
j
>;
<А – истинно>; (45)
<В – более правдоподобно>.
Понятие истинности данной схемы вывода выводится аналогично схеме modus ponens (44).
Тогда, при выборе решений в четких условиях в случае, когда информация задана полной непроти-
воречивой системой первого типа, правило modus ponens соответствует выбору такого выходного вы-
сказывания, при котором истинность (44) схемы вывода (43) достигает своего наибольшего значения,
т.е. единицы. Для принятия решения используется алгоритм прямой цепочки рассуждений.
Аналогично, при задании экспертной информации системой четких высказываний второго типа ин-
дуктивная схема вывода соответствует выбору такого высказывания B, при котором истинность (44)
схемы вывода (45) также достигает своего максимума (= 1). В данном случае для принятия решения ис-
пользуется алгоритм обратной цепочки рассуждений.
4.1.1 Алгоритм прямой цепочки рассуждения
Прямой алгоритм, в ходе рассуждения движется от исходных данных, через систему правил к ре-
зультату. При этом из исходных данных поочередно выбираются все факты, последовательно сравни-
ваются с частью "если" всех: правил базы знаний. Прямая цепочка рассуждений позволяет пользовате-
лю экспертной системы получить всю информацию, сходящую из входных данных.
Базу знаний экспертной системы можно условно разбить на две части: Базу правил и Базу данных.
База правил включает в себя статические знания о предметной области и формируется на основе экс-
пертной информации. Процесс построения базы правил является наиболее трудоемким и трудно форма-
лизуемым этапом разработки экспертной системы. База данных – знания в виде фактов, которые, в свою
очередь, подразделяются на постоянные и временные факты. Временные факты описывают определен-
ную ситуацию, в процессе работы экспертной системы и зависят от входных данных. Постоянные фак-
ты определяют логические зависимости – между объектами, предметной области и не меняются в ходе
эксплуатации экспертной системы [2, 4].
Работу алгоритма рассмотрим на основе знаний, представленных в виде фактов и правил, являю-
щихся фрагментом базы знаний системы проектирования оборудования автоматизированной линии
гальванопокрытий.
База знаний содержит три факта:
1) кислота •= агрессивная жидкость;
2) азотная кислота = кислота;

Страницы