Cтраница 3
Как отмечалось выше, эвристическая программа способна модифицировать свои действия, накапливая информацию о проблемной среде. [31]
Можно предполагать, что дальнейшее развитие решающих систем будет связано с обогащением языка представления модели проблемной среды и приближением его к естественному, а также с разработкой методов организации модели проблемной среды и алгоритмов решающей системы, всесторонне учитывающих широкое применение различных операций при учете смыслового содержания понятий, что, как указывается в работах, посвященных психолингвистическим проблемам мышления ( см., например, [6-8]), может считаться основным содержанием мыслительной деятельности человека. В результате построения субъектом мысленной модели мира каждое понятие, включенное в эту модель, получает свое смысловое содержание, определяемое его отношениями с другими понятиями. Постоянный анализ и преобразование этой семантической системы и составляет основное содержание человеческого мышления. Смысл в таком случае представляется результатом осуществления определенной группы поисковых и преобразующих операций в мысленной модели, причем развитие смысла осуществляется путем включения одного и того же элемента в разные системы взаимодействий. Механизм сокращения поиска определяется перебором только осмысленных связей, поиском только тех элементов, которые обладают нужными в данной ситуации свойствами. [32]
Наличие различных способов представления знаний вызвано в первую очередь стремлением с наибольшей эффективностью представить различные типы проблемных сред. Обычно способ представления знаний в ЭС характеризуют моделью представления знаний. [33]
К числу достоинств данного метода следует отнести широкое использование аппарата обобщения, позволяющее представлять модели даже сложных проблемных сред в компактном виде без потери существенной для решения задачи информации. [34]
Мики и Росс рассмотрели две возможности динамического контролирования и совершенствования эвристической программой собственных характеристик в процессе исследования проблемной среды, а именно: 1) оптимизацию параметров оценочной функции этой программы; 2) упорядочение операторов с целью облегчить выбор в первую очередь тех из них, чья полезность уже засвидетельствована. [35]
В соответствии с введенными выше параметрами классификации проблемных сред и ИС можно выделить следующие типы ИС, соответствующие типам проблемных сред. [36]
Система REVEAL представляет собой объемный программный продукт, доступный для продажи и предназначенный для использования методов инженерии знаний в проблемных средах, в которых необходимо, кроме того, обеспечить поддержку принятия решений. Она нацелена на применение в самых разнообразных приложениях и самыми разнообразными пользователями - от новичка до опытного системотехника. В системе REVEAL нашло воплощение существенное соображение о том, что имеется множество применений, где привнесение в существующую моделирующую программу некоторого небольшого объема знаний и использование их вместе с более привычными средствами может решительно повысить качество моделирования. [37]
Перечисленные стороны мыслительного процесса могут быть реализованы на ЦВМ при условии применения особой формы организации программного обеспечения, позволяющей отражать смысловое содержание элементов проблемной среды в ее мысленной модели, анализировать его и использовать результаты такого анализа для организации направленного поиска и преобразования модели. [38]
Для расширения возможностей оболочки по работе с глубинными знаниями комплекс ЭКО может быть дополнен компонентом К-ЭКО ( конкретизатором знаний), который позволяет описывать закономерности в проблемных средах в терминах общих ( абстрактных) объектов и правил. К-ЭКО используется на этапе приобретения знаний вместо диалогового редактора оболочки для преобразования общих описаний в конкретные сети вывода, допускающие эффективный вывод решений средствами оболочки ЭКО. Таким образом, использование конкретизатора обеспечивает возможность работы с проблемными средами типа 2 ( см. гл. [39]
Можно предполагать, что дальнейшее развитие решающих систем будет связано с обогащением языка представления модели проблемной среды и приближением его к естественному, а также с разработкой методов организации модели проблемной среды и алгоритмов решающей системы, всесторонне учитывающих широкое применение различных операций при учете смыслового содержания понятий, что, как указывается в работах, посвященных психолингвистическим проблемам мышления ( см., например, [6-8]), может считаться основным содержанием мыслительной деятельности человека. В результате построения субъектом мысленной модели мира каждое понятие, включенное в эту модель, получает свое смысловое содержание, определяемое его отношениями с другими понятиями. Постоянный анализ и преобразование этой семантической системы и составляет основное содержание человеческого мышления. Смысл в таком случае представляется результатом осуществления определенной группы поисковых и преобразующих операций в мысленной модели, причем развитие смысла осуществляется путем включения одного и того же элемента в разные системы взаимодействий. Механизм сокращения поиска определяется перебором только осмысленных связей, поиском только тех элементов, которые обладают нужными в данной ситуации свойствами. [40]
Система может накапливать опыт не только за счет фиксации новых знаний в модели проблемной среды, но и за счет адаптации работающих с моделью алгоритмов к определенным классам задач и к определенным типам проблемных сред. [41]
В отличие от обычных программ для ЭВМ, представляющих собой формализованную запись некоторой процедуры ( процедурального знания, как говорят специалисты в области искусственного интеллекта), интеллектуальные программы должны опираться на знания о проблемной среде, которые хранятся в памяти ЭВМ в виде декларативных знаний. Только такое разделение знаний на две составляющие способно обеспечить построение конкретных процедур с помощью метапроцедур, работающих над знаниями о той предметной области, которая доступна ЭВМ. [42]
Третий компонент комплекса - система ИЛИС, позволяющая создавать ЭС в статических проблемных средах за счет индуктивного обобщения данных ( примеров) и предназначенная для использования в тех приложениях, где отсутствие правил, отражающих закономерности в проблемной среде, возмещается обширным экспериментальным материалом. Система ИЛИС обеспечивает автоматическое формирование простейших конкретных правил и автономное решение задач на их основе; при этом используется жесткая схема диалога с пользователем. Поскольку при создании реальных приложений эксперты представляют, как правило, и знания о закономерностях в проблемной среде, и экспериментальный материал ( для решения частных подзадач), возникает необходимость в использовании правил, сформированных системой ИЛИС, в рамках более сложных средств представления знаний. Комплекс ЭКО обеспечивает автоматический перевод таких правил в формат оболочки ЭКО. В результате удается получить полное ( адекватное) представление реальной проблемной среды, кроме того, задать гибкое описание организации взаимодействия ЭС с конечным пользователем. [43]
Для того чтобы экспертная система могла управлять процессом поиска решения, была способна приобретать новые знания и объяснять свои действия, она должна уметь не только использовать свои знания, но и обладать способностью понимать и исследовать их, т.е. экспертная система должна иметь знания о том, как представлены ее знания о проблемной среде. Если знания о проблемной среде назвать знаниями нулевого уровня представления, то первый уровень представления содержит метазнания, т.е. знания о том, как представлены во внутреннем мире системы знания нулевого уровня. Первый уровень содержит знания о том, какие средства используются для представления знаний нулевого уровня. Знания первого уровня играют существенную роль при управлении процессом решения, при приобретении и объяснении действий системы. В связи с тем, что знания первогб уровня не содержат ссылок на знания нулевого уровня, знания первого уровня независимы от проблемной среды. [44]
База знаний ( БЗ) представляет собой совокупность нескольких моделей, каждая из которых описывает отдельное конкретное приложение или его компонент. Описание проблемной среды состоит из описаний атрибутов и правил вывода. [45]