
- •Основные этапы развития научной области ии.
- •Тест Тьюринга. Основные особенности интеллектуальной программы.
- •Характеристика первых экспертных систем Mycin и Dendral.
- •Современные достижения в области ии.
- •Классификация иис.
- •Данные и знания. Основные понятия.
- •Особенности знаний и их отличие от данных. Декларативные и процедурные знания.
- •Трансформация знаний и данных при их обработке на эвм.
- •Структура экспертной системы.
- •Классификация экспертных систем.
- •Технология и этапы проектирования экспертной системы.
- •Синтаксис и семантика логической программы.
- •Логический вывод в системе логического программирования Пролог.
- •Структура данных - списки. Построение дерева поиска решений логической программы.
- •Правила продукций. Продукционные экспертные системы.
- •Прямой логический вывод в продукционных эс.
- •18. Обратный логический вывод в продукционных эс.
- •Семантические сети. Основные типы отношений в семантических сетях.
- •Правила построения семантических сетей.
- •Вывод в семантических сетях. Механизм наследования.
- •Теория фреймов. Структура фрейма. Слоты и присоединенные процедуры.
- •Теория фреймов. Механизм вывода на фреймах.
- •Теория фреймов. Системы фреймов.
- •Механизм вероятностного вывода на основе правила Байеса и коэффициентов уверенности.
- •Основные понятия теории нечетких множеств. Операции над нечеткими множествами.
- •Понятия нечеткой и лингвистической переменной.
- •Основные понятия нечеткой логики. Нечеткие высказывания и предикаты. Нечеткие логические операции.
- •Нечеткие продукционные системы. Синтаксис т семантика.
- •Прямой и обратный вывод в нечетких продукционных системах.
-
Правила продукций. Продукционные экспертные системы.
В продукционной модели основной единицей знаний служит правило в виде: "если <посылка>, то <заключение>", с помощью которого могут быть выражены пространственно-временные, причинно-следственные, функционально-поведенческие (ситуация - действие) отношения объектов.
Правилами могут быть описаны и сами объекты: "объект - свойство" или "набор свойств - объект. Продукционная модель предназначена для описания последовательности различных ситуаций или действий и в меньшей степени для структурированного описания объектов.
Продукции наряду с фреймами являются наиболее популярными средствами представления знаний в ИС. Продукции, с одной стороны, близки к логическим моделям, что позволяет организовывать на них эффективные процедуры вывода, а с другой стороны, более наглядно отражают знания, чем классические логические модели.
Отсутствуют жесткие ограничения, характерные для логических исчислений, что дает возможность изменять интерпретацию элементов продукции.
В общем виде под продукцией понимается выражение следующего вида:
(i); Q; Р; А=>В; N.
i — имя продукции, с помощью которого данная продукция выделяется из всего множества продукций.
Элемент Q характеризует сферу применения продукции.
Основным элементом продукции является ее ядро: А=>В. Интерпретация ядра продукции может быть различной и зависит от того, что стоит слева и справа от знака секвенции =>.
Обычное прочтение ядра продукции выглядит так: ЕСЛИ А, ТО В, более сложные конструкции ядра допускают в правой части альтернативный выбор, например, ЕСЛИ А, ТО В1, ИНАЧЕ В2. Секвенция может истолковываться в обычном логическом смысле как знак логического следования В из истинного А (если А не является истинным выражением, то о В ничего сказать нельзя). Возможны и другие интерпретации ядра продукции, например А описывает некоторое условие, необходимое для того, чтобы можно было совершить действие В.
Элемент Р есть условие применимости ядра продукции. Обычно Р представляет собой логическое выражение (как правило, предикат). Когда Р принимает значение «истина», ядро продукции активизируется. Если Р ложно, то ядро продукции не может быть использовано. Например, если в продукции «НАЛИЧИЕ ДЕНЕГ; ЕСЛИ ХОЧЕШЬ КУПИТЬ ВЕЩЬ X, ТО ЗАПЛАТИ В КАССУ ЕЕ СТОИМОСТЬ И ОТДАЙ ЧЕК ПРОДАВЦУ» условие применимости ядра продукции ложно, т. е. денег нет, то применить ядро продукции невозможно.
Элемент N описывает постусловия продукции. Они актуализируются только в том случае, если ядро продукции реализовалось. Постусловия продукции описывают действия и процедуры, которые необходимо выполнить после реализации В.
Если в памяти системы хранится некоторый набор продукций, то они образуют систему продукций. В системе продукций должны быть заданы специальные процедуры управления продукциями, с помощью которых происходит актуализация продукций и выбор для выполнения той или иной продукции из числа актуализированных.
В ряде ИС используются комбинации сетевых и продукционных моделей представления знаний. В таких моделях декларативные знания описываются в сетевом компоненте модели, а процедурные знания — в продукционном. В этом случае говорят о работе продукционной системы над семантической сетью.