ВУЗ:
Составители:
Рубрика:
2
Находим переменную "Материал футеровки" в списке логических выводов. В стек логических
выводов заносим номера правила и условия, содержащие вывод по материалу. Данный шаг алгоритма
рассуждений допускает некоторые модификации:
а) В стек заносятся в обратном порядке номера всех правил, содержащих в части "то" искомую пе-
ременную (табл. 15).
15 Стек логических выводов после первого обращения к базе знаний
6 1
7 1
Затем выбираем из стека верхнее правило и начинаем его обработку. Если правило доказать не уда-
лось, из стека выбираем следующее правило и т.д. В дальнейшем будем использовать данную модифи-
кацию алгоритма.
б) В стек заносится номер первого найденного правила, а на соответствующую строку в списке ло-
гических выводов установим указатель. Если правило недоказуемо, повторяем поиск в базе знаний, на-
чиная его с текущей позиции указателя (табл. 16).
16 Стек и список логических выводов после первого обращения к базе знаний
Стек
6 1
Список
Правила Переменная
6
Материал футе-
ровки
После этого система приступает к рассмотрению найденного правила. Из списка переменных усло-
вия определяем, что переменными условия в правиле 6 являются "Футеровка" и "Среда". Выбираем
первую переменную – "Футеровка" из расширенного списка переменных условия определяем, что
переменная не была проинициализирована. Переменная "Футеровка" есть в списке логических выво-
дов (правило 5). В этом случае система помещает номер правила в стек логических выводов (табл.
17).
Стек логических выводов (шаг 2)
7
5
1
6 1
Страницы
- « первая
- ‹ предыдущая
- …
- 38
- 39
- 40
- 41
- 42
- …
- следующая ›
- последняя »
