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

UptoLike

8. Изменения в расширенном списке
среда определена концентрированная кислота
В части
ТО правила содержится переменная условия. Она должна быть помещена в очередь переменных логического
вывода. В данном случае этого не происходит, так как переменнаясредауже есть в очереди. Кроме того, в базу знаний
добавляется новый факт: сернистая кислота = концентрированная кислота. Этот факт является временным. Он необходим
только для работы: при конкретных исходных данных и удаляется из базы знаний при завершении работы системы.
Временные факты формируют логическую цепочку, на основе которой система в дальнейшем выясняет причины
возникшего несоответствия значений переменных.
Далее система проверяет, имеется ли ещё какое-либо правило, в условной части которого содержится переменная
среда”. Если такого правила не существует, то переменная удаляется из очереди. В противном случае, указатель
устанавливается на первое условие найденного правила (в данном случае правило 2). Анализ найденного правила
выполняется системой аналогично схеме, рассмотренной выше. Такой анализ показывает, что правило 2 не выполняется.
Рассмотрим теперь правило 3. Око считается выполненным. Согласно части
ТО этого правила переменнойматериал ванны
присваивается значениехромоникелевая сталь”. Эта переменная не содержится в списке переменных условия,
следовательно она является выводом.
Переменные вывода помещаются в список переменных вывода, который при завершении работы система определяет
результат её работы.
После анализа правила 3 состояние структур данных в базе знаний следующее:
очередь не изменилась;
расширенный список переменных условия не изменился;
список переменных вывода содержит одну строку;
число фактов в базе знаний – 4;
указатель переменных условия (табл. 9).
9. Указатель переменных условия (правило 3)
3 1
Дальнейший анализ показывает, что правило 4 не выполняется из-за несоответствия значения переменнойсреда
(“разбавленная кислота” – “концентрированная кислота”). Выполняем рассмотрение следующего правила, содержащего
переменную условиясреда” (правило 5). Это правило выполняется. В структуре данных возникли изменения:
в очередь переменных логического вывода добавляетсяфутеровка”;
изменяется значение переменной в расширенном списке переменных условия (табл. 10);
указатель переменных условия.
10. Изменения в расширенном списке
футеровка Определена Есть
в список переменных вывода добавляется переменнаяматериал футеровкисо значениемсвинец”;
очередь не изменилась;
списки переменных условия не изменились;
указатель переменных условия (табл. 11).
11. Указатель переменных условия (правило 6)
6 2
Правило 7 не выполняется.
После этого система не находит больше правила, содержащего переменнуюсреда”. Эта переменная исключается из
очереди. Первой в очереди становится переменнаяконцентрация”. Для неё должны быть выполнены все предыдущие шаги.
В нашем примере правила, содержащие в условной части переменнуюконцентрация”, уже были проверены (правила 1 и 2),
действия, предусмотренные частью
ТО были выполнены, поэтому переменная условияконцентрацияисключается из
очереди.
Теперь первая в очереди переменнаятемпература”. Анализ правил, содержащих переменнуютемператураприводит
к следующему состоянию структур данных:
очередь пустая (после рассмотрения переменнойтемпература в очереди остаётся переменная условия
футеровка”, которая исключается аналогично переменнойконцентрация”);
списки переменных условия не изменились;
указатель (табл. 12);
к списку переменных вывода добавилитип обогрева”, равнуюпароводяная рубашка”.