ПОИСК Статьи Чертежи Таблицы Экспертные системы технической диагностики или системы экспертного анализа из "Системы экспертного анализа в задачах диагностики ГПА " В соответствии с терминологией, принятой в метрологии, измерительной технике и управлении качеством [3], понятие экспертной системы трактуется следующим образом. [c.19] В работе [8] К. Нейлор, поясняя понятие экспертная система и ее целевое назначение, отмечает, что цель большинства современных экспертных систем - осуществлять общую экспертизу в широкой области путем очерчивания различия между знаниями, которые они используют, и механизмами, манипулирующими этими знаниями . [c.19] Содержательные части определения 1 и приведенной выше сентенции хорошо дополняют друг друга и выражают общепринятый в настоящее время взгляд или ответ на общий вопрос, что же все-таки такое экспертная система. Однако выводы из этого общепринятого взгляда на существо вопроса при обсуждении возможностей экспертных систем делаются не совсем корректные, в том числе и в упомянутой выше работе. Кроме того, в ряде случаев, как, например, в работах [9] или [10], экспертные системы не только наделяются мифическими возможностями, но и нарушается соответствие между указанным выше определением понятия экспертная система и реальными системами, которые предлагаются в этих работах в качестве экспертных. [c.19] Рассмотрим этот вопрос по порядку. [c.19] Каждый из языков этих уровней имеет свой алфавит, словарь и грамматику. Правила, по каким язык пользователя делается доступным ВУ, и, наоборот, результаты расчетов, полученные на языке ВУ, становятся доступными пользователю, а также тот факт, что язык пользователя,вообще говоря,может изменяться, в данном обзоре рассматриваться не будут. Положим, что в каждый текущий момент времени оба эти языка точно определены. [c.20] Тогда совокупность алфавитов, слов и грамматик данных языков полностью обусловливает всю гамму вычислительных возможностей ВУ. [c.20] Поясним, что под вычислительной возможностью здесь понимается любое правильное с точки зрения используемых грамматик вьюказывание ВУ на множестве объединенных алфавитов и слов указанных выше языков двух уровней. [c.20] Другими словами, имеются ВУ, некоторый алфавит, словарь и грамматика, с помощью которых ВУ может предъявить пользователю любое грамматически правильно построенное высказывание. Как будет показано ниже, неважно, что множество таких вьюказываний может быть чрезвычайно большим, важно, чтобы это множество высказываний было всегда перечислимым. [c.20] Перейдем теперь от качественных представлений рассматриваемых проблем к некоторым формальным построениям. [c.20] Определение 2. Под алфавитом понимается конечный список элементарных, считающихся нечленимыми далее знаков, которые называются буквами этого алфавита. [c.20] Г А - множество слов в алфавите А. [c.20] Множество Г А есть множество допустимых слов в алфавите А, порождаемое принятой грамматикой. [c.20] Определение 4. Пара А, / называется фундаментальной парой. [c.21] Определение д. Произвольное множество В называется перечислимым, если оно либо пусто, либо каждому элементу этого множества можно однозначно сопоставить значение некоторой вычислимой функции определенной на натуральном ряду. [c.22] В принятой терминологии считают, что такая функция перечисляет множество В. [c.22] В 1931 г. одним из наиболее крупных математиков XX века Куртом Геделем была сформулирована и доказана теорема о формально неразрешимых предложениях в математике. [c.22] В современном изложении, на языке принятых выше определений, теорема Геделя может быть представлена, например, следующим образом [11]. [c.22] Вернуться к основной статье