Microsoft Word Книга иис мггу 1 Print doc

пока 
не проверены все элементарные условия правила и не надо 
прервать проверку условия 
цикл
если 
элементарное условие истинно 
то
Перейти к следующему элементарному условию. 
иначе
Надо прервать проверку условия. 
конец_если конец_цикла
Выполнить заключение. 
если 
при формировании заключения появился целевой факт т
о
Считать, что Цель доказана. 
конец_если конец_цикла.
Метод прямого логического вывода можно применять тогда, когда 
факты появляются в базе данных не зависимо от того, какую задачу сейчас 
требуется решить (какой целевой факт доказать) и в разные моменты 
времени. В этом случае можно говорить о том, что факты управляют 
логическим выводом (решением задачи). Кроме того, этот метод 
целесообразно применять для формирования вторичных признаков (фактов) 
из первичных для подготовки решения задачи в дальнейшем с применением 
обратного логического вывода. 
В основу главы 11 положен материал учебного пособия [1], работы [6] 
и учебных курсов [7, 8]. 

---

105 
12. ЭТАПЫ ПРОЕКТИРОВАНИЯ ЭКСПЕРТНОЙ СИСТЕМЫ 
Методика разработки ЭС включает в себя следующие этапы 
[1]:
 
1.
 
Идентификация, 
2.
 
Концептуализация, 
3.
 
Формализация, 
4.
 
Выполнение, 
5.
 
Тестирование,
6.
 
Опытная эксплуатация. 
Последовательность этапов построения ЭС приведена на рисунке 12.1. 
Рисунок 12.1
 -
Этапы разработки ЭС 
12.1 Этап идентификации 
Этап идентификации связан, прежде всего, с осмыслением тех задач, 
которые предстоит решить будущей ЭС, и формированием требований к 
ней. Результатом данного этапа является ответ на вопрос, что надо сделать и 
какие 
ресурсы 
необходимо 
задействовать 
(идентификация 
задачи, 
определение участников процесса проектирования и их роли, выявление 
ресурсов и целей).