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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

6 В стеке логических выводов для правила 2 меняется указатель условия (табл. 21).
21 Изменения в стеке логических выводов
2 2
В этом случае система приступает к анализу второго условия прави-
ла 2. Анализ этого условия приводит к необходимости запросить пользователя о значении переменной
"Концентрация". Предположим, что на запрос был получен ответ:
Концентрация = более 70 %
При этом в расширенном списке переменных условия изменяется значение переменной "Концен-
трация" (табл. 22).
22 Изменения в расширенном списке (шаг 6)
Концентрация Определена более 70 %
Анализ значений переменной "Концентрация" в условной части второго правила и в расширенном
списке переменных условия и далее на группе фактов показывает, что условие 2, а следовательно, и все
правило 2 не выполняется. При этом из стека логических выводов исключается верхняя строка. Теперь
правилом, требующим дальнейшего рассмотрения, является правило 1 (согласно стеку).
7 Анализ правила 1 показывает, что оно выполняется. При этом значение переменной "Среда" в
расширенном списке переменных условия изменяется (табл. 23).
23 Изменения в расширенном списке (шаг 7)
Среда Определена
Концентрирован-
ная кислота
А в базу знаний добавляется временный факт:
Сернистая кислота = концентрированная кислота.
После этого исключаем из стека строку, содержащую правило
8 Продолжается рассмотрение первого условия правила 5. Анализ показывает, что оно выполняет-
ся (с помощью группы фактов устанавливается соответствие между "концентрированной кислотой"
из расширенного списка и "агрессивной жидкостью" из условной части правила). При этом в расши-
ренном списке переменных условия переменной "Футеровка" присваивается значение "Есть" (табл.
24).
24 Изменения в расширенном списке (шаг 8)
Футеровка Определена Есть
Правило 5 также исключается из стека к система переходит к анализу правила 6. Анализ этого пра-
вила показывает, что первое условие выполняется ("Футеровка" = "есть"); переменной условия 2 пра-
вила 6 является переменная "Среда". Также с помощью группы фактов устанавливается соответствие
между "концентрированной кислотой" из расширенного списка и "сернистой кислотой" из условной

Страницы