Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Языки программирования систем искусственного интеллекта
Содержание книги
- III) перечень дополнительных возможностей, которые, по-вашему, имеет смысл реализовать в этой среде разработки.
- Процесс прекращается (а эксперты расходятся по домам), когда проблема будет решена.
- Почему для HEARSAY-II выбрана такая архитектура
- Система HEARSAY-III— оболочка для создания систем с доской объявлений
- Инструментальные среды AGE и ОРМ
- Исполнение (выбранные для выполнения записи активизации источников знаний).
- Основной цикл работы вв1 состоит из следующих операций.
- Интеграция стратегий логического вывода
- Организация доски объявлений в системе GBB
- На уровне выполнения действий, предусмотренных записью активизации источника знаний.
- Что такое источник знаний в системе с доской объявлений?
- Система отслеживания истинности выполняет по отношению к базе данных четыре функции.
- Дуальная структура обоснований, предложенная дойлом, может быть использована для разделения допущений на три группы.
- Отслеживание истинности предположений, основанное на анализе допущений
- Предположим также, что в модели имеется обоснование
- Поскольку требуется знание только о корректном поведении объекта, потенциально метод должен сработать и при диагностировании неисправностей, которые ранее не возникали и незнакомы эксперту-человеку.
- Поясните отличие между монотонным и немонотонным пересмотром.
- Оптимизация производительности набора правил.
- Обе задачи относятся к классу методик, который мы назвали супервизорным обучением, поскольку в распоряжении программы Имеется и специально подготовленная обучающая выборка, и пространство атрибутов.
- Формирование и уточнение правил
- Построение дерева решений и порождающих правил
- Для какого-либо объекта, который нужно классифицировать, тестирующую процедуру можно рассматривать как источник сообщений об этом объекте.
- Квинлан применил следующую стратегию формирования множества правил из дерева решений.
- Эффективность набора правил в целом и достоверность получаемого результата.
- Суммирование выполняется по всем
- Применение теории Демпстера—Шефера к системе MYCIN
- Для классификации подходов к оценке степени доверия, не основанных на теории вероятностей, горвиц использует четыре категории:
- Таким образом, ясно просматривается тенденция к повышению уровня обоснованности как в теоретических работах, так и в практическом воплощении соответствующих методов в реальных системах.
- Глава 22. рассуждения, основанные на прецедентах
- В системах формирования суждений на основе прецедентов используются разные схемы извлечения прецедентов и их адаптации к новым проблемам.
- Обучение с помощью компьютера: система САТО
- Обучение с помощью системы САТО
- Сравнение систем, основанных на правилах и прецедентах
- Flat(bottom, obj). concave(top, obj).
- Оболочка экспертной системы MINERVA
- Использование прецедентов для обработки исключений
- Такое правило должно быть связано в библиотеке с прецедентом, в котором упоминается 18-летний юноша, успешно прошедший тесты повышенной сложности и выплачивающий взнос по сниженному тарифу.
- В отношении систем искусственного интеллекта вообще и экспертных систем, в частности, иногда можно услышать следующие критические замечания.
- SCALIR — гибридная система для извлечения правовой информации
- Узел I может находиться в конце сети распространения активности, А следовательно, информация от пользователя (обратная связь) должна распространяться по сети в обратном направлении.
- В предыдущих главах мы акцентировали ваше внимание на тех концепциях искусственного интеллекта, которые положены в основание технологии проектирования экспертных систем. Ниже мы кратко перечислим их.
- Как выбрать подходящие методы решения частных проблем обработки данных, играющих, тем не менее, важную роль в достижении конечного результата, и как организовать управление процессом.
- Языки программирования систем искусственного интеллекта
- Решение практических проблем
- Архитектура экспертных систем
- Тем, кого интересуют определенные темы исследований, я рекомендую регулярно просматривать материалы конференций
- Cannon H. I. (1982). FLAVORS: a non-hierarchical approach to object-oriented programming. Unpublished paper.
- Forgy C. L. (1982). Rete: a fast algorithm for the many pattern/many object pattern match
- Linster M. and Musen M. A. (1992). Use of KADS to create a conceptual model of the
- Sandewall E. (1986). Nonmonotonic inference rules for multiple inheritance with exceptions. In
Правила логического вывода, теория ориентированных графов и математическая логика были изобретены задолго до появления такой области исследований, как искусственный интеллект. Но именно исследования в этой области позволили адаптировать формальный аппарат этих теорий к задачам представления знаний и отыскать высокоэффективные средства их реализации. Развитие современных продукционных, объектно-ориентированных систем и систем процедурной дедукции в значительной мере определяется такими приложениями искусственного интеллекта, как проблемы классификации и конструирования, описанные в ряде глав данной книги.
Хотя в ходе исследований искусственного интеллекта появилось множество самых различных языков представления, все они обладают рядом сходных свойств.
Во-первых, все такие языки являются декларативными в том смысле, что позволяют описывать знания, имеющие отношение к решению конкретной задачи, а не способ ее решения. В большинстве экспертных систем используется архитектура, в которой знания отделены от машины логического вывода. Это позволяет проводить эксперименты с использованием одних и тех же знаний в разных режимах обработки. Некоторые новые архитектурные решения, например использующие доску объявлений, позволяют представлять управляющие знания декларативно и обрабатывать их так же, как и другие виды знаний.
Во-вторых, все такие языки организованы по модульному принципу. Подобно тому, как сам язык скрывает от пользователя детали механизма реализации, отдельные модули знаний скрывают детали своей реализации друг от друга, общаясь через глобальную структуру данных (в продукционных системах и системах на основе доски объявлений) или посредством определенных протоколов (в объектно-ориентированных системах). Это позволяет наращивать объем базы знаний и использовать методику отработки проектируемой системы на прототипах.
В-третьих, механизм вызова процедур в таких языках основан на сопоставлении образцов в той или иной форме. Активизация правил в продукционных системах, включение источников знаний в системах с доской объявлений и резолюция фраз в дедуктивных системах в той или иной форме используют такое сопоставление. Это очень мощный и достаточно общий механизм, который способствует модульной организации компонентов системы, хотя и требует определенных вычислительных ресурсов.
Языки представления знаний обычно реализуются в виде системы логического вывода, управляемой сопоставлением образцов. Программа на любом из языков такого рода состоит из множества относительно независимых модулей (правил, структур или фраз), которые сопоставляются со входными данными и манипулируют имеющимися в памяти данными. В любой такой системе имеются три существенных компонента.
Набор модулей, каждый из которых может быть активизирован данными, поступающими на вход системы, если эти данные соответствуют образцу, определенному для этого модуля.
Одна или несколько динамических структур данных, которые могут анализироваться и модифицироваться активизированным модулем.
Интерпретатор, который циклически управляет выбором и активизацией модулей.
Исследования в этой области в последние годы концентрируются вокруг следующих задач:
поиск эффективных методов реализации интерпретаторов;
создание на основе "чистых формализмов" программных средств, пригодных для практического применения;
проведение экспериментов со "смешанными" формализмами, объединяющими разные парадигмы.
На сегодняшний день такие языки, как CLIPS, предоставляют в распоряжение пользователя множество разнообразных средств представления знаний и манипулирования ими, которые в руках специалистов позволяют создавать программы для решения широкого круга практических проблем.
|
