ПОЗНАВАТЕЛЬНОЕ

Оси и плоскости тела человека - Тело человека состоит из определенных топографических частей и участков, в которых расположены органы, мышцы, сосуды, нервы и т.д.

Отёска стен и прирубка косяков - Когда на доме не достаёт окон и дверей, красивое высокое крыльцо ещё только в воображении, приходится подниматься с улицы в дом по трапу.

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

Оболочка экспертной системы EXSYS RuleBook (справка по системе)

123

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

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

Инструменты программного обеспечения EXSYS используются для создания вероятностных, основанных на знаниях, экспертных систем. Компания EXSYS полагает, что наиболее эффективный путь построения экспертных систем состоит в том, чтобы обеспечить экспертов средствами, которые позволили бы им самим создавать эти системы.

Программное обеспечение EXSYS успешно работает в широком диапазоне реальных проблем, с более чем 11000 пользователей во всем мире. EXSYS-программы рассчитаны на то, что экспертные системы будут создаваться экспертами проблемной среды совместно с профессионалами в области построения инженерных знаний.

Описание системы RuleBook

При старте системы RuleBook выполняются следующие действия:

вводятся альтернативы (choices) — то есть цели, по выбору которых система будет принимать решение;
вводятся факторы (factors), которые будут использоваться, чтобы сделать выбор, они могут быть числовые или текстовые;
вводится диаграмма в виде дерева, которая описывает, как принять решение по выбору альтернативы, основанное на различных комбинациях факторов;·
система проверяется с помощью эксперта RuleBook. RuleBook будет автоматически проверять систему на наличие общих ошибок и поможет вам устранить их.

Альтернативы — цели, которые система будет выбирать в каждой развилке дерева решений. Количество альтернатив ограничено лишь параметрами ЭВМ, на которой создается эта экспертная система.

Факторы — блоки информации, которые система будет использовать, чтобы выбрать цель. Факторы могут быть числовые или текстовые. Числовые величины фактора могут быть проверены алгебраически. Текстовые факторы (качества) представлены в системе в виде списков вариантов.

В RuleBook логика принятия решений представлена в виде диаграммы дерева решений. Каждый блок дерева является одним из факторов.

Факторы могут быть числовые в определенном диапазоне, выражения или качества. Каждая из возможных величин фактора рассматривается в блоке.

Например, левый блок (Фактор 1) имеет три возможных величины. Когда узел добавлен к дереву, может быть определена группировка величин в ветви.

RuleBook будет генерировать ветвь для каждой возможной величины (или группы величин). В этом случае каждая — отдельная ветвь. Фактор 2 и Фактор 3 блока каждый имеют две величины. Иметь каждый Фактор на каждой отдельной ветви необязательно.
Каждая ветвь дерева имеет две части — часть «ЕСЛИ» и часть «ТО». Узлы «ЕСЛИ» — условные выражения. Узлы «ТО» — присваивание величины фактору или выбору. В примере боксы альтернатив — части «ТО». Все «ЕСЛИ» узлы будут иметь, по крайней мере, две возможных величины. Все «ТО» узлы будут иметь только единственную величину.

Узлы «ТО» могут также присвоить значение переменной или качеству. Ветви, которые устанавливают величины для факторов, используются в системах с обратным формированием цепочки ввода, чтобы получить данные от других информационных систем.

Каждая ветвь в дереве преобразуется в правило (rule). В RuleBook используются правила продукций вида «ЕСЛИ ...ТО».

Примеры правил в RuleBook

Rule 1: IF Factor 1: Value 1 and Factor 2: Value 1 THEN Choice 1	Rule 4: IF Factor 1: Value 2 and Factor 3: Value 2 THEN Choice 4
Rule 2: IF Factor 1: Value 1 and Factor 2: Value 2 THEN Choice 2	Rule 5: IF Factor 1: Value 3 THEN Choice 5
Rule 3: IF Factor 1: Value 2 and Factor 3: Value 1 THEN Choice 3

Эксперт (Expert)

Эксперт RuleBook проверяет систему на наличие логических ошибок при активизации Check System. Если эта кнопка имеет красную границу, правила не редактировались с момента последней проверки.

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

На экране появится другое окно с дополнительными деталями относительно ошибки. Некоторые ошибки позволяют получить данные, которые могут использоваться, чтобы автоматически повторно перезапустить правила.

Как только система была проверена, генерируется файл отчета. Этот файл носит название <системное имя>.err. Его можно просмотреть и отпечатать. Это можно сделать в RuleBook, щелкнув кнопкой Отчет (Report).

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

Сообщения об ошибках

При проверке система может выдать следующие ошибки:

Incomplete Branches — незавершенные ветви;
Text Factors Not Used — текстовые факторы не использованы;
Variables Not Used — переменные не использованы;
Text Factors Not Always Derived — фактор текста не всегда определен;
Variables Not Always Derived — переменные не всегда определены;
Multiple Factors Use — многократное использование фактора;
Input Produces No Output — вход не производит никакого вывода;
Variable Assigned a Value Out of Range — переменная вне диапазона;
Too Many Values for Text Factor — слишком большое количество величин;
Loop Error — ошибка замкнутого контура.

Степень уверенности

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

RuleBook поддерживает три способа определения степени уверенности:

ДА/НЕТ. Не используются сомнительные данные. Все альтернативы могут положительно отбираться или отклоняться. Величина выбора устанавливается в соответствии с первым правилом, которое назначает величина ДА (1) или НЕТ (0);
если 0, то точно НЕТ, если 10, то точно ДА. Величины от 1 до 9 усреднены, а величины 0 и 10 пороговые;
увеличение на 1/ уменьшение на 1.

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

123