Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
GOSv1_3.docx
Скачиваний:
55
Добавлен:
30.03.2015
Размер:
1.9 Mб
Скачать

Таблица интегралов

Таблица производных

когда  и  определены, 

Правило дифф. умножения

Правило дифф. деления

Правило дифференцирования сложной функции

тервер

выборка

Без повторов

С повторами

С упорядочиванием

Без упорядочивания

Специальная часть

  1. Основные методы представления знаний в экспертных системах. Этапы (прототипы) разработки экспертной системы. Коллектив разработчиков экспертной системы.

ЭС – интеллектуальная компьютерная программа, в которой используются знания, а также процедура логического вывода для решения задач достаточно сложных, чтобы требовать привлечения знаний эксперта.

ЭС – программа, моделирующая мыслительный процесс человека – эксперта при решении поставленных задач.

ЭС = БЗ + МЛВ

БЗ – специальным образом организованное хранилище знаний, записанных в соответствии с некоторой моделью представления знаний (МПЗ)

БЗ – хранилище знаний, на основе которых ЭС будет решать поставленную задачу.

МЛВ – совокупность программных средств эмулирующих процесс рассуждения человека-эксперта, направленный на достижение определенной цели, основываясь на имеющейся БЗ. (алгоритм реализующий МЛВ зависит от МПЗ)

Продукции. Прямой и обратный вывод.

Продукция - логическое выражение относительно значений некоторых переменных. Она имеет вид: If<посылка>then<заключение>.

Обратный вывод.

  1. ЭС выбирает все правила, в результате которых происходит изменение цели

  2. Из множества выбранных правил берется одно в соответствии с некоторой стратегией.

Стратегии выбора правил:

  • В порядке расположения

  • По приоритету

  • По минимальной стоимости

  • По минимальному количеству неизвестных переменных

  • По максимальному значению фактора уверенности текущей целевой переменной

  • В случайном порядке

  1. Анализируется посылка выбранного правила.

  • Если все значения переменных известны, просто проверяем выполнение условия. Если выполняется, получаем значение цели, если нет - берем следующее правило.

  • Если встречается неизвестная переменная: спрашиваем у пользователя (запрашиваемая) либо берем новую промежуточную цель консультации (выводимая) и идем к п. 1. Выводимо-запрашиваемые переменные система сначала пытается вывести, а в случае неудачи спрашивает у пользователя.

Существует несколько стратегий оценки посылки:

  • Строгая: определяются значения всех переменных в посылке правила. Если хотя бы одну из них нельзя определить, то поиск следующих переменных не выполняется

  • Терпеливая: определяются все значения переменных, но если одно значение определить нельзя, проверка правила не прекращается, и если найденных значений достаточно для определения истинности/ложности, то правило срабатывает

  • Эталонная: истинность посылки проверяется сразу. Если не удалось, начинаем искать значения. После нахождения значения каждой переменной, выполняется проверка.

Прямой вывод.

  1. Всегда выбираем из всех правил в соответствии со стратегией.

  2. Если необходимо, получаем значения переменных (только запрашиваемых). Если переменная выводимая, правило не срабатывает и не включается в рабочую память. Если мы позже узнаем значение переменной, правило срабатывает позже.

  3. Остановка: либо закончились все правила, либо временное ограничение, либо набор несработавших правил не меняется несколько итераций.

Для обоих механизмов вывода важен порядок правил.

Фреймовая модель.

Была предложена Марвином Мински, 60-е гг. В ней знания представляются в виде сети фреймов. С помощью фрейма может быть описано некоторое явление, сущность, событие. Чтобы отличить одну сущность от другой, необходимо проверить соответствие некоторым условиям.

Слоты содержат условия. Слоты могут быть представлены логическим выражением, содержать продукции (продукционные слоты), могут быть означены через другие фреймы (связь фрейм-субфрейм).

Связи:

  1. «isare» (конкретно-абстрактной). Если родительский фрейм обладает какими-либо слотами или связями, то все слоты наследуются частными фреймами.

  2. «isfault» указывает фрейм, который должен быть означен в случае, если не означен данный фрейм, т.е. необходимо проверить следующим после неудачной проверки данного фрейма.

  3. «frame sub frame»

Цель - означить один из целевых фреймов. (Означить необходимо все слоты. Если один из слотов не означен, то фрейм не означен.)

Байесовские сети

Байесовская сеть – направленный ацикличный граф, в котором вершины являются некоторыми случайными переменными, описывающие события. Каждому событию приписывается априорная вероятность (оценка уверенности наступления события).

Если события независимы – берется априорная вероятность, события зависимые – строится байесовская сеть.

Семантические сети

Знания представляются в виде графа, вершины которого  соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними (тип связи). 

Типы связи:

  1. Иерархия наследования (класс/подкласс)

  2. Часть-целое «apartof» (рука – тело, что входит как часть)

  3. Ассоциации

  4. Синонимия

  5. Причинно-следственные

  6. Экземпляры объектов

Типы семантических сетей:

На основе падежных рамок:

«Вася дал Маше книгу»

«Агент» – производит действие

«Реципиент» - кому?

«Объект» - что?

«Инструментарии» - чем производится действие

«Локатив» - место

Этапы (прототипы) разработки экспертной системы.

  1. Идентификация (постановка задачи). Устанавливаются задачи, которые подлежат решению, выявляются цели разработки, требования к ЭС, ресурсы, используемые понятия и их взаимосвязи, определяются методы решения задач.

  2. Концептуализация. Проводится содержательный анализ проблемной области, выявляются используемые понятия и их взаимосвязи, определяются методы решения задач.

  3. Формализация. Определяются способы представления всех видов знаний, формализуются основные понятия, определяются способы интерпретации знаний, оценивается адекватность целям системы зафиксированных понятий, методов решения, средств представления и манипулирования знаниями.

  4. Выполнение. Осуществляется наполнение экспертом базы знаний – это извлечение знаний из эксперта, организация знаний, представление знаний в понятном виде для ЭС.

  5. Тестирование. Проверка компетентности системы экспертом и инженером по знаниям. Процесс тестирования длится до тех пор, пока эксперт не посчитает, что ЭС достигла требуемого уровня компетентности

  6. Опытная эксплуатация. Проверяется пригодность ЭС для конечных пользователей. В результате этого этапа, может потребоваться модификация ЭС.

  7. Модификация. Переформулирование понятий и требований, переконструирование представления знаний.

Коллектив разработчиков экспертной системы.

В коллектив разработчиков ЭС входят как минимум четыре специалиста (группы специалистов):

  • Эксперт

  • Инженер-когнитолог (Руководитель создания ЭС, извлекает и формализует знания эксперта, передает их программисту)

  • Программист (Кодирует и перемещает знания в БЗ ЭС)

  • Пользователь

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]