Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Основной цикл работы вв1 состоит из следующих операций.
Содержание книги
- Формирование пояснений в системах, производных от MYCIN
- Формирование пояснений на основе фреймов
- Суммирование и вывод результатов.
- Диагноз: обтурация воздухоносных путей астматического типа в серьезной форме. Консультация завершена.
- Использование мультимедийного интерфейса для формирования пояснений
- Автоматическое программирование в системе XPLAN
- Другим оператором, смысл которого более понятен при анализе текста программы: (if (атом X) then X else (car X)).
- Перспективы дальнейших исследований методов формирования пояснений
- Почему формирование пояснений в системах, основанных на порождающих правилах, упрощается, если разделить используемые правила на группы по назначению.
- По своему назначению и функциональным возможностям инструментальные программы, применяемые при проектировании экспертных систем, можно разделить на четыре достаточно больших категории.
- Языки описания порождающих правил
- Объектно-ориентированные языки
- Языки логического программирования экспертных систем
- Cups как многофункциональная среда программирования
- ЕСЛИ: сегодня рабочий день И
- Логический вывод в разных контекстах
- Выбор подходящего инструментария для разработки экспертной системы
- Выявление и устранение ошибок на стадии выполнения.
- Правила и процедуры в инструментальной среде М.4
- III) перечень дополнительных возможностей, которые, по-вашему, имеет смысл реализовать в этой среде разработки.
- Процесс прекращается (а эксперты расходятся по домам), когда проблема будет решена.
- Почему для HEARSAY-II выбрана такая архитектура
- Система HEARSAY-III— оболочка для создания систем с доской объявлений
- Инструментальные среды AGE и ОРМ
- Исполнение (выбранные для выполнения записи активизации источников знаний).
- Основной цикл работы вв1 состоит из следующих операций.
- Интеграция стратегий логического вывода
- Организация доски объявлений в системе GBB
- На уровне выполнения действий, предусмотренных записью активизации источника знаний.
- Что такое источник знаний в системе с доской объявлений?
- Система отслеживания истинности выполняет по отношению к базе данных четыре функции.
- Дуальная структура обоснований, предложенная дойлом, может быть использована для разделения допущений на три группы.
- Отслеживание истинности предположений, основанное на анализе допущений
- Предположим также, что в модели имеется обоснование
- Поскольку требуется знание только о корректном поведении объекта, потенциально метод должен сработать и при диагностировании неисправностей, которые ранее не возникали и незнакомы эксперту-человеку.
- Поясните отличие между монотонным и немонотонным пересмотром.
- Оптимизация производительности набора правил.
- Обе задачи относятся к классу методик, который мы назвали супервизорным обучением, поскольку в распоряжении программы Имеется и специально подготовленная обучающая выборка, и пространство атрибутов.
- Формирование и уточнение правил
- Построение дерева решений и порождающих правил
- Для какого-либо объекта, который нужно классифицировать, тестирующую процедуру можно рассматривать как источник сообщений об этом объекте.
- Квинлан применил следующую стратегию формирования множества правил из дерева решений.
- Эффективность набора правил в целом и достоверность получаемого результата.
- Суммирование выполняется по всем
- Применение теории Демпстера—Шефера к системе MYCIN
- Для классификации подходов к оценке степени доверия, не основанных на теории вероятностей, горвиц использует четыре категории:
- Таким образом, ясно просматривается тенденция к повышению уровня обоснованности как в теоретических работах, так и в практическом воплощении соответствующих методов в реальных системах.
- Глава 22. рассуждения, основанные на прецедентах
- В системах формирования суждений на основе прецедентов используются разные схемы извлечения прецедентов и их адаптации к новым проблемам.
- Обучение с помощью компьютера: система САТО
(1) Интерпретация действия, предусмотренного очередной записью активизации источника знаний.
(2) Обновление списка заявок — добавление в него новых записей, порожденных изменением данных, вызванных предыдущей операцией, — и сортировка всех записей в списке заявок в соответствии с текущим планом.
(3) Выбор записи с наибольшим рейтингом.
ACCORD — это язык для представления знаний, касающихся выполнения задач сборки многокомпонентных объектов с соблюдением заданных ограничений. Метод сборки компонентов не предусматривает какого-либо наперед заданного режима управления, но требует принятия множества решений при конструировании отдельных узлов. Основной механизм представления предполагает использование иерархии понятий — типов, представителей и экземпляров.
Типы определяют родовые понятия и их роли, в отличие от того, как это делается в семантических сетях с помощью связей типа IS-A (это есть). Представители — это конкретизированные типы, а экземпляры — объекты, созданные при означивании представителей в определенном контексте. Понятия могут иметь атрибуты и входить в определенные отношения с другими понятиями. Здесь имеется определенная аналогия со связями типа IS-A в семантических сетях.
Оболочка, таким образом, предоставляет в распоряжение пользователя скелетные ветви иерархической структуры объектов-компонентов, которые должны образовать единый ансамбль, контексты их компоновки и ограничения, в которые эта компоновка должна "вписываться". Например, ACCORD представляет следующие роли, независимые от предметной области: arrangement (сборка), partial-arrangement (узел) и included-object (компонент). Между ролями имеется отношение типа includes (включает). Среди ролей included-object важное место отводится роли anchor (якорь), представляющей объект, положение которого в общем ансамбле (сборке) должно быть фиксированно, и таким образом определяет локальный контекст для узла. Ролью anchoree представлен объект included-object, который имеет, как минимум, одно ограничение, связанное с его положением относительно объекта anchor.
Система PROTEAN
Система PROTEAN [Hayes-Roth et al., 1986] предназначалась для идентификации трехмерных структур протеинов. Комбинаторные свойства пространства решений не позволяют использовать методику исчерпывающего поиска, поэтому в программе реализована стратегия последовательного уточнения на основе определенного плана управления.
При формировании гипотез в системе PROTEAN локальные и глобальные ограничения используются в комбинации. Локальные ограничения дают информацию о близости атомов в молекуле, а глобальные — информацию о размерах молекулы и ее форме.
Вместо того чтобы пытаться применить все ограничения к анализируемой молекуле в целом, в системе PROTEAN успешно используется подход "разделяй и властвуй" при определении частных решений, которые могут включать разные подмножества элементов структуры протеина и разные подмножества ограничений.
Логический вывод в системе PROTEAN двунаправленный и базируется на использовании доски объявлений с четырьмя уровнями. Когда реализуется нисходящая стратегия (сверху вниз), система использует гипотезы на одном уровне для определения положения на другом, более низком; когда же реализуется восходящая стратегия (снизу вверх), гипотезы на одном уровне используются в качестве ограничений для другого, более верхнего.
Управляющие знания в системе PROTEAN также разделены на разные уровни абстракции. Самый верхний уровень определяет стратегию решения конкретной проблемы. На промежуточном уровне система фиксирует отдельные этапы, необходимые для реализации общей стратегии, а потому программа всегда может получить информацию о том, на какой стадии решения она находится. Нижний уровень управления отвечает за ранжирование записей активизации источников знаний.
Система PROTEAN представляет для нас особый интерес тем, что она демонстрирует, как в рамках архитектуры ВВ1 можно комбинировать независимые от предметной области механизмы логического вывода и зависимые от предметной области знания об ограничениях.
|
