Этап выборки

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

Рассмотрим следующие аспекты выборки:

- вид объекта выборки;

- тип выборки;

- способ задания выбираемых объектов;

- операция, выполняемая при выборке.

На этапе выборки осуществляется отбор объектов следующих видов: данных, правил, метаданных и метаправил. Осуществляя выбор данных, система фокусирует свое внимание на целях (гипотезах), а осуществляя выбор правил, - на способах обработки данных.

Выделяют два типа выборки: простую и иерархическую.

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

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

Рассмотрим пример иерархической системы правил. Здесь метаправила проверяют условия X,Y и на основании их значений выбирают соответствующее подмножество правил (класс). Знак Ø, стоящий перед некоторыми символами, означает утверждение об отсутствии этого символа в рабочей памяти.

Метаправила

P0: ØX,Y -> P2

ØX,ØY -> P3

X->P1

Правила

P1: C1,C2->A1

C2,C3->A2

P2: C3,C4->A3

C4,C5->A4

P3: C5,C6->A5

C6,C7->A6

Предполагается, что символы в условии правил связаны конъюнктивно.

Объекты, подлежащие выборке на текущем цикле, задаются либо по имени, либо по описанию свойств.

Операции, выполняемые на этапе выборки, характеризуются следующими аспектами:

- способом задания операции (явный, неявный);

- содержанием выполняемой операции.

Явно заданная операция - это, например, метаправило, заданное в явной форме и упорядочивающее соответствующий список правил. Примером неявно заданной операции является образование и модификация в рабочей памяти системы MYСIN контекста, соответствующего некоторому объекту.

На этапе выборки используются довольно простые операции: замена, добавление, устранение, упорядочивание множества активных объектов.

Дата добавления: 2014-01-07