Интерфейсы экспертных систем

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ

Курсовая работа

по дисциплине «ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ»

на тему: «Интерфейсы экспертных систем»

2008 г.

Введение

Целью индивидуальной работы является рассмотрение интерфейсов экспертных систем.

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

§ Во первых рассмотрены понятие экспертной системы, требования предъявляемые к ним, области применения, важность применения ЭС, и структура ЭС (кратко описаны основные блоки, входящие в состав ЭС)

§ Во вторых рассмотрена модель гибкого интерфейса в ЭС: определение гибкого интерфейса, требования, структура (построение модели диалога для ввода данных и модель объяснения результатов ЭС)

§ В третьих была рассмотрен экспертные системы нового поколения, а именно описаны: определение, отличительные особенности в построении, основные преимущества предлагаемого подхода, а также рассмотрен интерфейс экспертной системы нового поколения

1. Экспертные системы. Требования и особенности экспертных систем

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

l Использование знаний, связанных с конкретной предметной областью;

l Приобретение знаний от эксперта;

l Определение реальной и достаточно сложной задачи;

l Наделение системы способностями эксперта.

Знания о предметной области, необходимые для работы ЭС, определенным образом формализованы и представлены в памяти ЭВМ в виде базы знаний, которая может изменяться и дополняться в процессе развития системы. Главное достоинство ЭС - возможность накапливать знания, сохранять их длительное время, обновлять и тем самым обеспечивать относительную независимость конкретной организации от наличия в ней квалифицированных специалистов. Накопление знаний позволяет повышать квалификацию специалистов, работающих на предприятии, используя наилучшие, проверенные решения. [1]

Важность экспертных систем состоит в следующем:

l технология экспертных систем существенно расширяет круг практически значимых задач, решаемых на компьютерах, решение которых приносит значительный экономический эффект;

l технология ЭС является важнейшим средством в решении глобальных проблем традиционного программирования: длительность и, следовательно, высокая стоимость разработки сложных приложений;

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

l объединение технологии ЭС с технологией традиционного программирования добавляет новые качества к программным продуктам за счет: обеспечения динамичной модификации приложений пользователем, а не программистом; большей «прозрачности» приложения (например, знания хранятся на ограниченном ЕЯ, что не требует комментариев к знаниям, упрощает обучение и сопровождение); лучшей графики; интерфейса и взаимодействия.

По мнению ведущих специалистов, в недалекой перспективе ЭС найдут следующее применение:

l ЭС будут играть ведущую роль во всех фазах проектирования, разработки, производства, распределения, продажи, поддержки и оказания услуг;

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

Области применения экспертных систем:

а) Медицинская диагностика.

б) Прогнозирование.

в) Планирование.

г) Интерпретация.

д) Контроль и управление.

е) Диагностика неисправностей в механических и электрических устройствах.

ж) Обучение.

Большинство ЭС включают знания, по содержанию которых их можно отнести одновременно к нескольким типам. Например, обучающая система может также обладать знаниями, позволяющими выполнять диагностику и планирование. Она определяет способности обучаемого по основным направлениям курса, а затем с учетом полученных данных составляет учебный план. Управляющая система может применяться для целей контроля, диагностики, прогнозирования и планирования. Система, обеспечивающая сохранность жилища, может следить за окружающей обстановкой, распознавать происходящие события (например, открылось окно), выдавать прогноз (вор-взломщик намеревается проникнуть в дом) и составлять план действий (вызвать полицию). [3]

2. Структура экспертной системы

Структура экспертной системы представлена следующими структурными элементами:

База знаний

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

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

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

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

Интерпретатор

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

Модуль создания системы

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

Для представления базы знаний специально разработаны языки Лисп и Пролог, хотя можно использовать и любой известный алгоритмический язык.

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

Интерфейс пользователя

Менеджер (специалист) использует интерфейс для ввода информации и команд в экспертную систему и получения выходной информации из нее. Команды включают в себя параметры, направляющие процесс обработки знаний. Информация обычно выдается в форме значений, присваиваемых определенным переменным.

Менеджер может использовать четыре метода ввода информации: меню, команды, естественный язык и собственный интерфейс.

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

l объяснения, выдаваемые по запросам. Пользователь в любой момент может потребовать от экспертной системы объяснения своих действий;

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

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

Кроме того, во многих экспертных системах вводятся дополнительные блоки: база данных, блок расчета, блок ввода и корректировки данных. Блок расчета необходим в ситуациях, связанных с принятием управленческих решений. При этом важную роль играет база данных, где содержатся плановые, физические, расчетные, отчетные и другие постоянные или оперативные показатели. Блок ввода и корректировки данных используется для оперативного и своевременного отражения текущих изменений в базе данных. [4]

3. Модель гибкого интерфейса в экспертных системах

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

Сформулируем требования к разработке интерфейса.

Интерфейс должен обеспечивать «удобный ввод» данных в ЭС. Под «удобным вводом» подразумевается предоставление пользователю возможности выбора варианта данных, относящихся к выполняемой задаче, простых запросов об объектах и их характеристиках, если их набор конечен, либо возможности введения необходимой информации с предоставлением синтаксической формы для этой информации. Это требование вытекает из того, что основной интерес пользователя лежит в прикладной части системы, он является непрофессионалом в области использования программных систем, не имеет необходимого опыта работы с ними.

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

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

Обеспечение легкой модифицируемости интерфейса. При проектировании интерфейса необходимо учитывать, что не только на этапе разработки, но также и в процессе эксплуатации знания о предметной области, и, как следствие, знания об исходных данных могут изменяться. А это ведет к необходимости частой модификации интерфейса. «Легкая модифицируемость» интерфейса - понятие относящееся к так называемым «нечетким понятиям»: его невозможно точно определить или выразить количественно, но совершенно очевидно, что если модифицирование интерфейса требует внесение изменений в базу знаний или машину логического вывода, то его модифицирование представляет собой значительные трудности. Поэтому под «легкой модифицируемостью» интерфейса будем понимать модифицируемость интерфейса, не затрагивающую при этом «ядро» ЭС - базу знаний и машину логического вывода, а также внесение изменений в интерфейс, не требующих при этом модификации программ системы.

5. Объяснение в ЭС должно строиться в соответствии с потребностями пользователя. Интерфейс в ЭС должен иметь средства для построения объяснений, настраиваемых на конкретного пользователя в зависимости от его требований относительно содержания объяснения и в зависимости от этих требований формировать более или менее детальные объяснения, краткую или развернутую форму объяснения и т.д.

6. Обеспечение пользователя неинтерактивным объяснением в виде структурированного текста, в которых имеются также средства создания таблиц, отчетов и т.д. Задачей практических ЭС является получение цели: конечному пользователю необходимо получить цель и понять действия системы. Более того, при практическом использовании ЭС часто необходим протокол работы ЭС - печатный документ, отражающий результаты работы ЭС и их объяснение. При этом важно, чтобы структура и содержание такого объяснения имели вид, общепринятый в данной предметной области.

На основе сформулированных требований построим модель диалога для ввода данных и модель объяснения результатов ЭС.

Под моделью интерфейса для ввода исходных данных в ЭС будем понимать пару, состоящую из порождающей модели и регламента действий пользователя. Порождающая модель [7,8] состоит из языка формального задания исчислений этой модели (языка для записи правил исчислений) и универсального рецепта этой модели.

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

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

Определим язык формального задания правил исчисления порождающей модели интерфейса для ввода исходных данных как тройку <N, Ts, S>, где

N={n₁,…, n_m} - множество нетерминальных символов;

Ts=TF - терминальный словарь, состоящий из множества предопределенных терминальных символов T={t₁,…, t_k} и множества типов возможных значений F={cтрока, дата, время, координта, [l, t] I (единица измерения), [l, t] R (единица измерения)};

SN - выделенный символ языка (аксиома порождающей модели).

Каждое исчисление порождающей модели задается множеством записанных на этом языке порождающих правил Р вида , где N, а имеет вид:

При этом должны выполняться следующие условия:

- для любых ₁,₂ N, если правила ₁, ₂ входят в P, то ₁₂;

- для любого N, если встречается в правой части порождающего правила, то обязательно имеется правило вида ;

- в системе правил не существует таких правил, что * и *. Здесь означает, что в системе правил существует правило вида ₁|…||…|_n или правило вида ₁,…,,…,_n; *, если ₁…_n.

Текущее состояние порождающего процесса есть пара, состоящая из дерева D_i и активной вершины в этом дереве. Корнем дерева является вершина, помеченная выделенным символом описания исходных данных S, вершины помечены нетерминальными символами языка N. Листьями этого дерева или терминальными вершинами могут быть вершины, помеченные нетерминальными символами языка N, предопределенными терминальными символами языка из множества Т и порождениями символов из множества F.

Просмотр дерева исходных данных может быть двух видов: просмотр вперед и просмотр назад (см. ниже), под редактированием понимается удаление вершины или множества вершин дерева исходных данных.

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

1. _i= ₁,…,_k, в дереве исходных данных есть множество ребер, соединяющих активную вершину с допустимыми вершинами _i,…,_j и среди вершин _i,…,_j есть хотя бы одна вершина _n, имеющая метку _nN.

2. _i= ₁|…|_k, в дереве исходных данных есть ребро, соединяющее активную вершину с некоторой вершиной с меткой _i{₁,…,_k} и _iN.

Если способом выполнения правила является просмотр назад, совпадает с меткой активной вершины дерева и не является корнем дерева исходных данных, то применимым является любое правило вида `, такое что либо =, либо =<sub>1</sub>., ,…,<sub>k</sub>, либо = <sub>1</sub>|…||…|<sub>k</sub>, и в дереве исходных данных есть ребро, соединяющее вершину ` с меткой ` и активную вершину с меткой (все такие ` являются допустимыми вершинами в текущем состоянии).

Начальным состоянием q₀ порождающего процесса является дерево, состоящее из одного корня - вершины, помеченной выделенным символом S, и активной вершины , совпадающей с корнем этого дерева.

В результате применения некоторого правила формируется очередное состояние q_i+1 на основе предыдущего состояния q_i и примененного правила; q_i+1 зависит также от способа выполнения правила - генерации, просмотра или редактирования.

Если способом выполнения правила является генерация, применимое правило имеет вид , где F, то в очередном состоянии порождающего процесса образуется дерево исходных данных D_i+1 путем добавления к дереву D_i ребра, связывающего вершину, помеченную символом с новой вершиной , имеющей в качестве метки порождение символа . После этого становится нетерминальной вершиной дерева D_i+1, а - новой терминальной вершиной этого дерева, активной вершиной становится вершина с меткой . При этом порождение значений в дереве исходных данных зависит от . Так, если =строка, то порождается конечная последовательность символов некоторого алфавита, если =дата, то порождается значение типа дата и т.д. Если применяется правило , где ₁,…,_n, _кNT для всех к=1,…, n, то дерево исходных данных D_i+1 образуется путем добавления к дереву D_i ребер, связывающих вершину с меткой с любым непустым множеством вершин _f,…, _j. Вершины _f,…, _j имеют метки _f.,_j соответственно, причем {_f,…,_j} {₁,…,_n}, где 1f<jn. После этого вершина с меткой становится нетерминальной вершиной дерева D_i+1, _f,…,_j - новыми терминальными вершинами дерева с метками _f.,_j, активной вершиной становится вершина _s с меткой _s, f<=s<=j. Если среди правил языка выбрано правило , где ₁|…|_n, _кNT для всех к=1,…, n, то дерево исходных данных D_i+1 образуется путем добавления к дереву D_i ребра, связывающего вершину с меткой с новой вершиной , имеющей метку _j, при этом метка _j - некоторая метка из множества меток ₁,…,_n, т.е. _j {₁,…,_n}, где 1<=i<=n. После этого вершина с меткой становится нетерминальной вершиной дерева D_i+1, - новой терминальной вершиной дерева с меткой _j, активной вершиной становится вершина с меткой _j.

Если видом просмотра является просмотр вперед, применимое правило имеет вид , где =₁,…,_k, то при применении этого правила активной вершиной очередного состояния становится такая вершина _n{_i,…,_j}, что метка _n вершины _n является нетерминальным символом языка, т.е. _nN. Если применимое правило имеет вид , где =₁|…|_k, то при применении этого правила активной вершиной в очередном состоянии становится вершина . Областью видимости в каждом состоянии при просмотре вперед являются активная вершина с меткой и ее прямые потомки в дереве исходных данных. Если в качестве действия просмотра выбран просмотр назад, то при использовании применимого правила активной в следующем состоянии становится вершина ` с меткой `. Областью видимости при просмотре назад являются активная вершина с меткой и его прямые предки в дереве исходных данных.

Если способом выполнения правила является редактирование, метка активной вершины есть , и применяемое правило имеет вид , где = или _i= ₁|…|_k, то в этом случае под удалением будем понимать удаление вершины , являющейся прямым потомком активной вершины , ребра, соединяющего и , а также всего поддерева, корнем которого является . Формирование очередного состояния процесса редактирования (удаления) происходит следующим образом: из дерева исходных данных удаляется поддерево с корнем и ребро, соединяющее вершину с предком этой вершины - вершиной . В этом случае активная вершина становится листом дерева. Если в текущем состоянии метка активной вершины есть и применимое правило имеет вид , где = ₁,…,_k, то под удалением будем понимать удаление всех вершин _f,…,_j, являющихся прямыми потомками активной вершины . Формирование очередного состояния процесса редактирования происходит следующим образом: из дерева исходных данных удаляется множество всех поддеревьев, с корнями _f,…,_j и множество ребер, соединяющих вершины _f,…,_j с предком этих вершин - вершиной . Активная вершина становится листом дерева.

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

В модели диалога пользователь может выбрать способ выполнения правила - генерацию, просмотр или редактирование.

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

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

2. Если в некотором состоянии применяется правило вида , N, где ₁|…|_n, причем _jNTF, то в этом случае неоднозначно определяется посылка _i {₁,…,_n}, где 1<=i<=n. Пользователь в процессе порождения имеет возможность выбрать любую посылку в пределах указанных ограничений.

3. Если в некотором состоянии применяется правило вида , N, где ₁,…,_n, причем _jNTF, то в этом случае неоднозначно определяется посылка, являющаяся подмножеством {_i,…,_j} {₁,…,_n}, где i<>j, 1<=i<=n, 1<=j<=n. Пользователь в процессе порождения имеет возможность выбрать любую посылку в пределах указанных ограничений, а также активную вершину.

4. Если в некотором состоянии применяется правило вида , N, F, то пользователь в процессе порождения выбирает возможное значение, которое принадлежит типу .

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

1. Выбирать вид просмотра, т.е. определять в каком направлении просматривать дерево исходных данных. В зависимости от своих потребностей и условий применимости правил в данном состоянии пользователь может выбрать просмотр вперед или просмотр назад.

2. Определять в каком состоянии завершить просмотр исходных данных.

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

Рассмотрим вторую составляющую интерфейса - объяснение результатов ЭС. Под моделью объяснения будем понимать вычислительную модель[7], универсальный рецепт которой на основе формального задания объяснения и результатов ЭС формирует текст объяснения.

Будем считать, что текст объяснения T состоит из последовательности элементов объяснения t₁,…, t_n, а результаты ЭС представлены в виде конечной совокупности отношений, причем каждое отношение P - это конечное множество кортежей P = {<a₁,…, a_n>}, где a₁,…, a_n - элементы кортежей. Будем также считать, что формальное задание объяснения W - есть составной оператор. Под составным оператором будем понимать последовательность элементов описания объяснения w₁,…, w_n. Каждый элемент описания w_i - текстовая конструкция, которая определяет содержание текста объяснения в зависимости от результатов работы ЭС. Текстовыми конструкциями в модели объяснения являются конструкции строка, выводимое множество, цикл и альтернатива. Конструкции цикл и альтернатива в свою очередь содержат составной оператор в качестве компоненты.

Каждой конструкция w_i составного оператора может быть присвоен свой позиционный номер i. Позиционные номера определяют лексикографический порядок конструкций в формальном задании объяснения.

Cледует отметить, что, с одной стороны, одно и то же формальное задание объяснения W может соответствовать различным результатам ЭС - , но с другой стороны, формальное задание W должно быть согласовано с результатами ЭС . Текст объяснения T, создаваемый на основе W получается различным, в зависимости от .

Рассмотрим текстовые конструкции формального задания объяснения и дадим их содержательную трактовку.

Текстовая конструкция строка - это последовательность символов заданного алфавита. Как правило, текст объяснения содержит фиксированные (не зависящие от результатов ЭС) фразы, принятые в данной предметной области. Это могут быть заголовки, пояснения каких-либо заключений ЭС, вводные фразы и др. Текстовая конструкция строка в формальном задании объяснения предназначена для представления таких фиксированных фраз. Примером таких текстовых конструкций могут быть: «Фамилия, имя, отчество», «диагноз при поступлении», «лечащий врач» и т.д.

Прежде, чем перейти к рассмотрению других конструкций языка, введем вспомогательную конструкцию описание переменной. Конструкция описание переменной необходима для того, чтобы задать имя переменной и связать его с именем отношения P из и номером j его аргумента. Описание переменной имеет вид: P (c₁,…, c_j^*,…, c_n), где P - имя отношения, представляющего результаты ЭС, c₁,… с_j-1, c_j+1,…, c_n - имена вспомогательных переменных, c_j^*- имя описываемой переменной. Под значением c_j^* переменнной будем понимать множество всех j-ых элементов кортежей отношения P из . Значениями вспомогательных переменных c₁,… с_j-1, c_j+1,…, c_n является множество кортежей с номерами 1,…, j-1, j+1,… n соответственно.

Текстовая конструкция выводимое множество указывает, что в тексте объяснения необходимо перечислить в определенном (в соответствии с условием) порядке все значения некоторой переменной. Данная конструкция имеет вид <:усл >, где - описание переменной, усл - условие, которое накладывается на ее значения (условие может отсутствовать). Условие определяет, в каком порядке значения переменной должны быть помещены в текст объяснения, - либо алфавитном порядке, либо в порядке, который определен в этом условии.

Часто текст объяснения должен содержать повторяющиеся части, и при каждом повторении эти части несколько отличаются друг от друга, причем эти отличия должны определяться результатами ЭС. Текстовая конструкция цикл служит для представления таких повторяющихся частей и имеет вид: <:усл,>. Здесь - описание переменной, усл - условие, которое накладывается на ее значения (условие может отсутствовать), - тело цикла. Описание переменной необходимо для того, чтобы задать условия выполнения тела цикла: количество повторений тела цикла в объяснении, а также содержание изменяемых частей в теле цикла. Тело цикла - составной оператор. Содержание изменяемой информации при каждом выполнении тела цикла зависит от значений параметра цикла и вспомогательных переменных. При каждом выполнении тела цикла параметру цикла соответствует некоторое новое значение из множества ее значений, определяемое результатами ЭС и условием усл, которое накладывается на значения переменной. Каждому значению переменной соответствуют подмножества значений вспомогательных переменных.

Текстовая конструкция альтернатива имеет вид: <, {₁,…,_m}>. Здесь -описание переменной, {₁,…,_m} - описания альтернатив. Описание каждой альтернативы состоит из двух частей - множества условий выбора _k и варианта _k, т.е. _k=<_k,_k>, 1<=k<=m. Множество условий выбора _k задает либо некоторое число, обозначающее возможное число значений переменной, либо значение (или множество значений), которое может получить переменная по результатам работы ЭС, либо некоторую метку. Вариант _k - это составной оператор, который будет выполняться, если значения переменной удовлетворяют условию выбора _k. Переменная из описания удовлетворяет условию выбора _k, если число ее значений совпадает с числом в условии выбора, либо значение переменной (или подмножество ее значений) совпадает со значением (или подмножеством значений) в условии выбора. Выполнение определенной альтернативы состоит в выполнении варианта (составного оператора) первого по порядку описания альтернативы, для которого переменная из описания удовлетворяет условию выбора. Если переменная из описания не удовлетворяет ни одному из условий выбора, то выполняется альтернатива, условием выбора которой является метка.

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

Состояние вычислительного процесса хранит информацию о позиционном номере выполняемого элемента объяснения, значениях основных и вспомогательных переменных, отношениях, с которыми они связаны, некоторую дополнительную информацию о состоянии выполнения цикла и альтернативы, а также сформированный на данном шаге текст объяснения. Информация об основных компонентах состояния (за исключением текста объяснения) заносится при выполнении конструкций цикл и альтернатива и необходима для выполнения всех конструкций формального задания объяснения, за исключением строки. Например, если конструкция выводимое множество является составляющей тела цикла, то по описанию переменной в выводимом множестве и информации о значениях основных и вспомогательных переменных будут определены ее значения и помещены в текст объяснения. По окончании выполнения элементов формального задания объяснения состояние вычислительного процесса содержит сформированный текст объяснения. [5]

Заключение

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