Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Обе задачи относятся к классу методик, который мы назвали супервизорным обучением, поскольку в распоряжении программы Имеется и специально подготовленная обучающая выборка, и пространство атрибутов.
Содержание книги
- Языки логического программирования экспертных систем
- Cups как многофункциональная среда программирования
- ЕСЛИ: сегодня рабочий день И
- Логический вывод в разных контекстах
- Выбор подходящего инструментария для разработки экспертной системы
- Выявление и устранение ошибок на стадии выполнения.
- Правила и процедуры в инструментальной среде М.4
- III) перечень дополнительных возможностей, которые, по-вашему, имеет смысл реализовать в этой среде разработки.
- Процесс прекращается (а эксперты расходятся по домам), когда проблема будет решена.
- Почему для HEARSAY-II выбрана такая архитектура
- Система HEARSAY-III— оболочка для создания систем с доской объявлений
- Инструментальные среды AGE и ОРМ
- Исполнение (выбранные для выполнения записи активизации источников знаний).
- Основной цикл работы вв1 состоит из следующих операций.
- Интеграция стратегий логического вывода
- Организация доски объявлений в системе GBB
- На уровне выполнения действий, предусмотренных записью активизации источника знаний.
- Что такое источник знаний в системе с доской объявлений?
- Система отслеживания истинности выполняет по отношению к базе данных четыре функции.
- Дуальная структура обоснований, предложенная дойлом, может быть использована для разделения допущений на три группы.
- Отслеживание истинности предположений, основанное на анализе допущений
- Предположим также, что в модели имеется обоснование
- Поскольку требуется знание только о корректном поведении объекта, потенциально метод должен сработать и при диагностировании неисправностей, которые ранее не возникали и незнакомы эксперту-человеку.
- Поясните отличие между монотонным и немонотонным пересмотром.
- Оптимизация производительности набора правил.
- Обе задачи относятся к классу методик, который мы назвали супервизорным обучением, поскольку в распоряжении программы Имеется и специально подготовленная обучающая выборка, и пространство атрибутов.
- Формирование и уточнение правил
- Построение дерева решений и порождающих правил
- Для какого-либо объекта, который нужно классифицировать, тестирующую процедуру можно рассматривать как источник сообщений об этом объекте.
- Квинлан применил следующую стратегию формирования множества правил из дерева решений.
- Эффективность набора правил в целом и достоверность получаемого результата.
- Суммирование выполняется по всем
- Применение теории Демпстера—Шефера к системе MYCIN
- Для классификации подходов к оценке степени доверия, не основанных на теории вероятностей, горвиц использует четыре категории:
- Таким образом, ясно просматривается тенденция к повышению уровня обоснованности как в теоретических работах, так и в практическом воплощении соответствующих методов в реальных системах.
- Глава 22. рассуждения, основанные на прецедентах
- В системах формирования суждений на основе прецедентов используются разные схемы извлечения прецедентов и их адаптации к новым проблемам.
- Обучение с помощью компьютера: система САТО
- Обучение с помощью системы САТО
- Сравнение систем, основанных на правилах и прецедентах
- Flat(bottom, obj). concave(top, obj).
- Оболочка экспертной системы MINERVA
- Использование прецедентов для обработки исключений
- Такое правило должно быть связано в библиотеке с прецедентом, в котором упоминается 18-летний юноша, успешно прошедший тесты повышенной сложности и выплачивающий взнос по сниженному тарифу.
- В отношении систем искусственного интеллекта вообще и экспертных систем, в частности, иногда можно услышать следующие критические замечания.
- SCALIR — гибридная система для извлечения правовой информации
- Узел I может находиться в конце сети распространения активности, А следовательно, информация от пользователя (обратная связь) должна распространяться по сети в обратном направлении.
- В предыдущих главах мы акцентировали ваше внимание на тех концепциях искусственного интеллекта, которые положены в основание технологии проектирования экспертных систем. Ниже мы кратко перечислим их.
- Как выбрать подходящие методы решения частных проблем обработки данных, играющих, тем не менее, важную роль в достижении конечного результата, и как организовать управление процессом.
- Языки программирования систем искусственного интеллекта
В следующем разделе мы рассмотрим две программы обучения, которые разработаны в связи с созданием экспертной системы DENDRAL. Первый вариант реализации программы обучения нельзя отнести ни к одной из перечисленных выше категорий, но второй вариант использовал методику, которую мы сейчас можем отнести к категории "индуктивное обучение". В оригинальном описании программы авторы назвали ее version space (пространство версий). Постановка задачи очень напоминает обучение концептам, поскольку предусматривает включение в обучающую выборку позитивных и негативных экземпляров концепта.
Интересно сравнить оба варианта системы и выяснить, как знания, специфичные для определенной предметной области (в данном случае, химии), могут быть использованы алгоритмом обучения, независящим от предметной области.
В разделе 20.3 описана современная программа индуктивного обучения, на примере которой будет продемонстрировано, как формируются правила для экспертных систем. В разделе 20.4 мы затронем вопрос настройки отдельных правил и набора связанных правил.
Система Meta-DENDRAL
В рамках проекта DENDRAL, который был начат в Станфордском университете в 1965 году, была разработана первая система, продемонстрировавшая, что программа может успешно конкурировать с человеком-экспертом в определенной предметной области. Перед экспертной системой стояла задача определения молекулярной структуры неизвестного органического соединения. В экспертной системе использовался слегка модифицированный вариант метода порождения и проверки. Исходной информацией были показания масс-спектрометра, который бомбардировал образец соединения потоком электронов. В результате происходила перестройка структуры соединения и его компонентов. Перемещение отдельных атомов в структуре соединения соответствует отсоединению узла от одного подграфа и присоединению его к другому. Изменение структуры молекул соединения и улавливалось масс-спектрометром.
Проблема состояла в том, что для любой сложной молекулы существует множество вариантов разделения на фрагменты, поскольку в результате бомбардировки могут разрываться разные связи в молекуле, а соответственно и перемещаться могут разные фрагменты молекулы. В этом смысле теория масс-спектрометрии являетсл неполной— мы можем говорить только о вероятности разрыва определенной связи, но никогда не можем точно предсказать, как разделится молекула на фрагменты.
В рамках проекта DENDRAL была разработана программа CONGEN, которая формировала описание полной химической структуры, манипулируя символами, представляющими атомы и молекулы. В качестве входной информации эта программа получала формулу молекулы и набор ограничений, накладываемых на возможные взаимные связи между атомами. Результатом выполнения программы является список всех возможных комбинаций атомов в структуре молекулы с учетом заданных ограничений.
В состав DENDRAL входят также программы, которые помогают пользователю отбрасывать одни гипотезы и ранжировать другие, используя знания о связях показаний масс-спектрометра со структурой молекул соединения. Например, программа MSPRUNE отсеивает те гипотезы-кандидаты, которые предполагают варианты фрагментации, не совпадающие с полученными от масс-спектрометра данными. Программа MSRANK ранжирует оставшиеся гипотезы-кандидаты в соответствии с тем, какая часть пиков масс-спектрограммы, предсказанных этой гипотезой, была действительно обнаружена в полученных экспериментально данных. Таким образом, в экспертной системе DENDRAL фактически реализована стратегия "формирование гипотез и их последующая проверка". Исходные данные служат для формирования некоторого пространства гипотез, которые предсказывают наличие и отсутствие определенных свойств масс-спектрограммы, а затем эти гипотезы сопоставляются с результатами экспериментов.
|
