Модель онтологии пользователя

Модель онтологии пользователя состоит из двух моделей онтологий: модели онтологии системы понятий диалога и модели задач пользователя.

Модель онтологии системы понятий диалога. Модель онтологии системы понятий диалога (ОСПД) описывает структуру терминов системы понятий диалога и виды связей между ними, ОСПД=<ИмяСистемыПонятий, ГруппыТерминов>, где ИмяСистемыПонятий – имя системы понятий диалога, ГруппыТерминов - множество групп терминов, ГруппыТерми­нов={ГруппаТерминовi} .

Каждая группа терминов ГруппаТерминов_i характеризуется тройкой, ГруппаТерминов_i=<ИмяГруппы_i, ГруппыТерминов_i, Термины_i>, где ИмяГруппы_i – имя группы терминов (все имена групп терминов в модели онтологии должны быть различны), ГруппыТерминов_i – множество групп терминов внутри данной группы, ГруппыТерминов_i = ГруппыТерминов, Термины_i – множество терминов внутри данной группы, Термины_i={Термин_ij} . Группы терминов предназначены для объединения терминов в концептуально связанные группы.

Каждый термин Термин_ij характеризуется парой, Термин_ij=<ИмяТер­мина_ij, ТипЗначения_ij>, где ИмяТермина_ij – имя термина (все имена терминов в модели онтологии должны быть различны), ТипЗначения_ij – тип значения, который может быть составным (т.е. состоящим из множества вложенных терминов), количественным, качественным или строковым, ТипЗначения_ij Î ТипыЗначений, ТипыЗначений = {Составное, Количественное, Качественное, Строковое}, где Составное – составное значение, Количественное – количественное значение, Качественное – качественное значение, Строковое – строковое значение.

Составное значение описывает множество атрибутов, Составное = {Атрибут_i} . Каждый атрибут Атрибут_i описывается парой, Атрибут_i = <ИмяАтрибута_i, ТипЗначения_i>, где ИмяАтрибута_i – имя атрибута (в модели онтологии имена всех атрибутов принадлежащих одному и тому же терми­ну/атрибуту должны быть различны, при этом имена атрибутов принадле­жащих различным терминам/атрибутам могут совпадать), ТипЗначения_i – тип значения атрибута, ТипЗначения_i Î ТипыЗначений. Атрибуты предназ­начены для описания существенных, неотъемлемых свойств терминов.

Количественное значение может быть целым или вещественным, Количественное={ЦелоеЗначение, ВещественноеЗначение}. При описании целого значения ЦелоеЗначение указывается диапазон его возможных значений, а также единица измерения, т.е. ЦелоеЗначение = <ЦелоеМин, ЦелоеМакс, ЦелоеМера>, ЦелоеМин – целое число, описывающее минимум для данного значения, ЦелоеМакс – целое число, описывающее максимум для данного значения, ЦелоеМера – строка, описывающая единицу измерения. Аналогично описывается вещественное значение.

Качественное значение Качественное=<СпособВыбора, Качествен­ныеЗначения>, где СпособВыбора - способ выбора качественного значения из множества вариантов и КачественныеЗначения – множество вариантов качественного значения, КачественныеЗначения={КачественноеЗначе­ние_i} . Способ выбора качественного значения СпособВыбора Î {Сов­местный, Несовместный}, где Совместный – способ выбора, при котором из множества вариантов КачественныеЗначения может быть выбрано любое подмножество значений, Несовместный – способ выбора, при котором из множества вариантов КачественныеЗначения может быть выбрано только одно значение. Каждый вариант качественного значения КачественноеЗна­чение_i является строкой.

Для строкового значения указывается его максимально допустимая длина, Строковое = <СтроковоеЗначение, МаксимальнаяДлина>, где СтроковоеЗначение – это строка, длина которой не больше параметра МаксимальнаяДлина, МаксимальнаяДлина – целое число, описывающее максимально допустимую длину значения параметра СтроковоеЗначение.

Модель онтологии задач пользователя. Модель онтологии задач пользователя (ОЗП) описывает задачи, которые он может решить с помощью программного средства: ОЗП=<ИмяОбщейЗадачи, Задачи>, где ИмяОбщейЗадачи – имя общей задачи, Задачи – задачи пользователя, т.ч. Задачи =<ТипМножества,{Зада­ча_i} >, где ТипМножества – тип множества, Задача_i – задача пользователя.

Тип множества ТипМножества указывает на отношения между задачами, ТипМножества={«выбор», «объединение», «разрешение», «деактивация»}. Множество «выбор» означает, что может выполняться любая задача из множества {Задача_i} , независимо от выполняемых на текущем шаге задач и исхода их выполнения. Множество «объединение» означает, что может быть выполнена любая задача из множества {Задача_i} , но при этом выполнение некоторой задачи Задача_i может начаться только после окончания выполнения предыдущих задач из данного множества. Множество «разрешение» означает, что множество {Задача_i} является упорядоченным и только успешное выполнение задачи с именем Задача_i приводит к возможности выполнения задачи Задача_i+1 этого подмножества. Множество «деактивация» означает, что множество {Задача_i} является упорядоченным и начало выполнения задачи Задача_i приводит к прерыванию любой задачи из множества {Задача_i+1,…, Задача_{i +taskcount}}.

Каждая задача Задача_i характеризуется парой, Задача_i =<ИмяЗадачи_i, Задачи_i >, где ИмяЗадачи_i – имя задачи (все имена задач должны быть различны), Задачи_i – множество подзадач задачи с именем ИмяЗадачи_i, Задачи_i = Задачи.

Поиск по сайту: