Из вышеприведённых определений следует, что
Из вышеприведённых определений следует, что наиболее целесообразно оформить данные о предприятиях в виде фактов (декларативных знаний), так как понятие декларативных знаний наиболее полно соответствует требованиям, предъявляемым к программному продукту в техническом задании. Декларативный тип знаний позволяет достичь независимости знаний от применяемого в экспертной системе механизма логического вывода, тем самым не ограничивая разработчика механизма логического вывода в выборе методов реализации поставленной перед ним задачи.
II. КОНСТРУКТОРСКАЯ ЧАСТЬ
В системах, основанных на знаниях, правила (или эвристики), по которым решаются проблемы в конкретной предметной области, хранятся в базе знаний /1/. Проблемы ставятся перед системой в виде совокупности фактов, описывающих некоторую ситуацию, и система с помощью базы знаний пытается вывести заключение из этих фактов. Эвристики представляют собой правила вывода, которые позволяют находить решения по известным фактам. Обобщенная схема функционирования системы, основанной на знаниях, представлена на рис. 2.
Рис. 2. Обобщенная схема функционирования системы, основанной на знаниях.
В общем случае знания в такой системе разделяются на три типа:
1) Декларативные знания (факты).
Этот вид знаний представляет собой факты конкретных ситуаций. Такие факты могут быть описаны заранее и включены в базу знаний на этапе создания экспертной системы (ЭС). К декларативным знаниям можно отнести факты, которые собираются в процессе диалога с пользователем непосредственно во время работы ЭС. Структура представления данного вида информации, а также способы ее обработки (считывание, модификация и т.п.) имеют большое значение для организации всех модулей ЭС.
2) Процедурные знания (правила).
Обычно эти знания собираются заранее путем опроса экспертов в конкретной предметной области и составляют ядро базы знаний. На их основе строится механизм логического вывода. Процедурные знания непосредственно связаны с декларативными, позволяют обрабатывать имеющиеся в базе знаний факты, а при необходимости генерировать новые факты.
3) Управляющие знания.
В ЭС должен быть предусмотрен некоторый набор стратегий, чтобы можно было рассматривать альтернативные возможности получения вывода во время работы, т.е. переходить при неудаче от одной стратегии к другой. Управляющие знания определяют, какие из процедурных правил следует использовать для получения вывода. По существу данные знания составляют основу механизма логического вывода.
