|
98 механизм вывода ЭС будет учитывать указанное правило. Аналогичная ситуация возникает и в случае если элементы списка причинности связаны свойством «апостериорность», на основании которого можно судить о высокой степени достоверности выводимого заключения или решения в целом. 8. Терминальные концепты kt должны быть сопоставлены со знаниями, описывающими решения в области D. В результате успешного выполнения вышеуказанных этапов получается модель, которая может быть записана: Л/О)модель формализуемой области D Slt S2,..., Snмножество концептов, являющиеся решениями в области D; f(k^d\ к^\..., к^')^-местная функция отражающая логические отношения между концептами применительно к решению Si k^d\ k[d\ к^ концепты экземпляры уровня исходных данных К^; kj!\k^,... ,к^ концепты экземпляры уровня исследований 1 (с) 1 (С) , (С) к?. ,kt ,к0 концепты экземпляры уровня экспертных заключении к^ \ ...,kfS^концепты экземпляры уровня решений К®; После того как получено такое представление модели предметных знании можно считать этап формализации знаний законченным. Полученная модель подвергается специальному преобразованию в форматированную БЗ, которую можно будет интерпретировать методами реализованными в АСПЭС. Данному комплексу и технологии его использования посвящена третья глава настоящей работы. 2.7,Основные результаты по второй главе 1. Формализована концептуально-логическая четырехуровневая модель, позволяющая осуществлять декомпозицию знаний исследуемых про |
менты списка причинности связаны свойством «апостериорность», на основании которого можно судить о высокой степени достоверности выводимого заключения или решения в целом. 8. Терминальные концепты kt должны быть сопоставлены со знаниями описывающим решения в области D. В результате успешного выполнения вышеуказанных этапов получается модель, которая может быть записана: где M(D)модель формализуемой области D (S„ S2,..., S„) множество концептов, являющиеся решениями в области D; f(kbk2,..., kk) к местная функция отражающая логические отношения между концептами применительно к решению S;; k/d), k(d),..., km (d) концепты экземпляры уровня исходных данных K(d); (i) (i) (i).kj(l), ks'*',..., kn vv концепты экземпляры уровня исследований К'1'; k(C) k/C) k(C)-Kr 9 Kt ?•••> *4 НИЙ K(C); концепты экземпляры уровня экспертных заключе(S) (S) (S). kv (S), k„'%..., к/37 концепты экземпляры уровня решений Kw; После того как получено такое представление модели предметных знаний M(D) можно считать этап формализации знаний законченным. Полученная модель подвергается специальному преобразованию в форматированную БЗ, которую можно будет интерпретировать методами реализованными в АСПЭС. Данному комплексу и технологии его использования посвящена третья глава настоящей работы. 78 2.5. Результаты второй главы 1. Формализована концептуально-логическая четырехуровневая модель, позволяющая осуществлять декомпозицию знаний исследуемых проблемных областей на следующие уровни иерархии: исходных данных, подтверждающих данных, экспертных заключении, решении. 2. Предложена модель визуально-объектного представления знаний (МВОПЗ) представляющая собой инструмент для формализации предметных знаний. При разработке модели учтены такие актуальные свойства как гибкость, модульность, иерархичность, объектноориентированность, способствующие эффективности формализации экспертных знаний. Для решения указанной задачи в её состав включены следующие типы компонентов: классы, концепты, отношения между концептами, свойства концептов, значения свойств. Классам МВОПЗ сопоставлены категории знании полученные в результате проведенной декомпозиции. МВОПЗ описана формально в виде математических моделей, что делает её логически обоснованной и возможными для реализации средств её поддержки на ЭВМ. 3. Разработаны правила формализованного представления предметных областей на языке в форме МВОПЗ. Для этого в МВОПЗ отношения концептов выделены в следующие типы: корневые концепты, список показателей частности, список показателей причинности, терминальные концепты. 4. Разработана методика по извлечению предметных знаний и их репрезентации в терминах разработанной модели визуально-объектного представления знании, в которой описывается порядок действии пользователей в манипулировании компонентами МВОПЗ в процессе кодирования экспертных знаний в МПЗ. 79 |