Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата

Предполагается провести анализ способов модельного представления объектов проектирования, которые дают довольно строгую формализацию описания различных предметных областей. При этом сделан акцент на проблему адекватного описания.

ОБЩИЕ СВЕДЕНИЯ

Наиболее распространенным определением экспертной системы является утверждение о том, что это вычислительная система, оперирующая знаниями специалистов в определенной предметной области и способная принимать решения на уровне этих специалистов.

В этом определении остается неясным, что следует понимать под термином" знания" и что означает способность принимать решения вычислительной системой. Эта неясность возникает, если достаточно строго отнестись к термину "вычислительная система".

Если понимать ее как особым способом организованную совокупность программно-аппаратных средств, то способность ЭВМ принимать решения представляется спорной.

Экспертная система, как всякая вычислительная система, ни в какой момент времени ее создания и функционирования неотделима от пользователя и разработчика.

Первый существенный признак, позволяющий рассматривать экспертную систему как самостоятельный класс вычислительных систем, заключается в том, что она не должна морально устаревать.

Большинство работ, посвященных экспертным системам, свидетельствует о том, что основу их архитектуры составляет запас знаний о конкретной предметной области. При этом знания понимаются как совокупность правил, определяющих характер обработки данных, в результате применения которых может формироваться новая совокупность правил.

В приведенных определениях используются понятия данные и знания. а) ДАННЫЕ в вычислительных системах - закодированные образы объектов реального мира, имеющих количественную меру. Наличие количественной меры говорит о возможности сопоставления объектов.

В соответствии с принятым определением в дальнейшем термин "данные" и производные от него ("база данных", "управление базой данных" и др.) будет использоваться для обозначения любых констант (включая логические, строковые), переменных и функций, а также множеств, их объединяющих. б) Опираясь на определение данных, можно сформулировать определение термина " знания ".

Необходимо отметь, что речь идет о знаниях в вычислительных системах, а не о знаниях вообще.

Если измеримость объектов реального мира вытекает из возможности их сопоставления, т.е. установления отношений между ними, то среди этих отношений всегда можно выделить подмножество, которое объединяет закономерности. Такая возможность позволяет в дальнейшем оперировать термином "знания" в смысле образов отношений между измеримыми объектами реального мира.

Если соотнести теперь определения данных и знаний, то становится ясным, что данные являются частным случаем знаний. В самом деле, измеримость объекта, т.е. существования данных об объекте предполагает его сопоставимость с каким-либо другим. Он условно принят за эталон. Это сопоставление позволяет установить отношения между объектами (например, равно, больше, одинаково по смыслу и т.п.).

Отношение, в свою очередь, может быть закодировано и представлено в вычислительной системе. Если результат этого сопоставления кодируется константами, переменными либо функциями, то речь идет о представлении данных.

Если же в вычислительной системе представляют (кодируют) способ и результат сопоставления и сущностью этой информации является отношение между данными, которое также может кодироваться константами, переменными и функциями, то такого рода данные в дальнейшем следует называть ЗНАНИЯМИ.

Наиболее распространенными формами представления знаний являются логические, семантические и продукционные модели. Проведем анализ этих форм в сопоставлении с неформальным описанием знаний, составляющих основу инженерной деятельности. При этом будем различать формализуемые и эвристические способы построения моделей.

В инженерной деятельности используют формализованное описание объектов проектирования и проектных процедур. С появлением САПР - это используется во множестве формализованных проектных процедур и моделей объектов проектирования.

Объекты проектирования в сочетании со строгими методами оптимизации образуют жесткую структуру, изменения которой осуществляются разработчиками или специальными лицами, администрирующими информационную компоненту и сопровождающими систему автоматизированного проектирования. Они не являются специалистами в данной предметной области.

ЛОГИЧЕСКИЕ МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

Предварительно остановимся на изложении некоторых понятий формальной теории.
Формальная теория задана, если определены четыре множества B, F, A, R : S =
{B, F, A, R}, где

B - счетное множество базовых символов (алфавит) теории S ;

F - подмножество выражений теории S (формулы теории );

A - выделенное множество формул, образующее аксиомы теории S
(множество априорно истинных формул);

R - конечное множество отношений между формулами ( правила вывода).

Формальная теория S называется РАЗРЕШИМОЙ, если найдется единая процедура, которая позволяет узнать для любой данной формулы, существует ли ее вывод в S.

Рекомендуем скачать другие рефераты по теме: доклад по географии, правильный реферат.





Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата