Построение структуры предметной области на основе анализа концептуальной схемы Текст научной статьи по специальности «Компьютерные и информационные науки»

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

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

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

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

Литература

1. Елагин В. Кластеры против катастроф // Открытые системы. 2002. № 6. С. 29-36.

2. Ковалев И.В., Царев Р.Ю. Программная система поддержки принятия решений при проектировании кластерной инфраструктуры «Cluster Analyzer v1.0». М.: ВНТИЦ, 2008. N° 50200400611 (Свид. об отрасл. регистр. разраб. N° 3613).

3. Kovalev I.V., Engel E.A., Tsarev R.Ju. Programmatic support of the analysis of cluster structures of failure-resistant information systems // Automatic Documentation and Mathematical Linguistics. 2007. Vol. 41. No. 3, pp. 89-92.

УДК 681.3-002.51.6

ПОСТРОЕНИЕ СТРУКТУРЫ ПРЕДМЕТНОЙ ОБЛАСТИ НА ОСНОВЕ АНАЛИЗА КОНЦЕПТУАЛЬНОЙ СХЕМЫ

В.В. Извозчикова, к.т.н.

(Оренбургский государственный университет, viza-8.11@ma^l■ru)i И.В. Матвейкин, к.т.н. (Оренбургский государственный аграрный университет, [email protected])

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

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

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

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

ного объекта, если таковой не был создан ранее в процессе декомпозиции постановок задач на постановки подзадач.

Такой объект называется типом по отношению к объектам, входящим во множество.

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

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

Для определения типов объектов используется метод минимального контекста, или метод триад, который предусматривает, что объекты, имеющие хотя бы по одному атрибуту с одинаковыми именами, представляются группами по три. Три является наименьшим числом, которое может указывать на различие или идентичность свойств объектов [2]. Экспертов просят определить, в чем заключается сходство свойств двух объектов и чем они отличаются от третьего по выбранному свойству. В результате определяются объекты, имеющие идентичные свойства. Если среди выделенных объектов предметной области имеется объект, который обладает свойствами группы объектов, он является типом для выделенной группы объектов по выбранному свойству.

Если такого объекта в предметной области нет, то он должен быть создан. Имя определяется экспертами, а множество его атрибутов состоит из имени атрибута, которым описывается общее свойство.

Пусть величина © представляет собой фиксированное множество типов. Так как в каждый момент t двум типам ^ и ^ соответствуют два

множества объектов Т * и Т2 * , между этими

множествами существуют определенные теоретико-множественные отношения, которые отражают устойчивые закономерности предметной области. Эти закономерности должны быть сформулированы экспертами как априорные аксиомы, выражающие часть знаний о предметной области. Чтобы отразить эти закономерности в БЗ, множество снабжается отношением частичного порядка 18—А. Это отношение интерпретируется следующим образом: если Т1 К-А Т2, то в любой момент t каждый объект о типа Т1 является объектом типа

Т2, то есть VI Т, ' с Т, ' ,Т. К-А Т..

1 оЪ ¿ оЪ 1 ¿

Множество типов © можно изобразить в виде ориентированного графа, вершины которого помечены именами типов, а дуги соединяют вершины, находящиеся в отношении 18—А. С помощью отношения К-А моделируются родовидовые отношения между объектами предметной области. С этой целью во множество атрибутов каждого объекта включается атрибут с именем К-А и для постановки задачи (о, К-А) повторяется процедура декомпозиции.

В исследованиях последних лет была продемонстрирована полезность введения общего типа для всех объектов предметной области [3]. Этот тип в дальнейшем будем называть ОБЪЕКТ и предполагать его включенным в предметную область. Тогда любой объект предметной области получает хотя бы один тип, при этом устраняются изолированные вершины и структуре предметной области придается целостность.

В предметной области одни объекты можно выделить как более сложные, а другие - как более простые. Свойства объектов во многом определяются их составом. Чтобы раскрыть структуру объектов, необходимо ввести дополнительное отношение, моделирующее отношение принадлежности, или отношение «часть-целое».

Для этого с каждым типом Т свяжем одноместный предикат Р(Т) на множестве объектов, который в каждый момент выделяет конечное множество объектов типа Т.

Множество объектов снабжается отношением INSTANCE-OF, которое показывает, что одни объекты являются множествами, включающими другие объекты. Например, предприятие состоит из отделов, отделы из групп и т.д.

С этой целью во множество атрибутов каждого объекта включается атрибут с именем "INSTANCE-OF", и для постановки задачи <о, "INSTANCE-OF"> повторяется процедура декомпозиции.

Отношения К-А и INSTANCE-OF обладают следующими свойствами: Т-тип

TIS-AT

Tt IS A Т2 Т2 IS A Т3

Tj IS-А Т2 Tt IS-A Т2 Т2 IS-A Т,

T =T

"l 2

(2)

(3)

(4)

(5)

Tj IS-A T2 T2 INSTANGE-OF Т3 Tj INSTANGE-OF T3

Tj INSTANGE-OF T2 ,...,T , INSTANGE-OFTn неверно, что Tn INSTANGE-OF Tt

Правила (1-3) в точности выражают тот факт, что IS-A - частичный порядок. Правило (4) описывает взаимодействие IS-A и INSTANCE-OF, а правило (5) гарантирует, что в графе отношения INSTANCE-OF нет циклов.

Эти свойства должны быть представлены в БЗ.

В структуре предметной области выделим две составные части - структуру объектов предметной области и структуру отношений между атрибутами объектов. Тогда структура предметной области может быть представлена парой <Sob, Rd>, где Sob - структуры объектов; Rd - отношение «зависеть от».

Структурой объекта 8оЬ будем называть отношение 8оЬ1 ={о1,{а]}11}, п=1,к0 , при условии,

что V оеО, аеА , где {aj} - множе-

ство атрибутов объекта 01; Яа - отношение, интерпретируемое как «иметь атрибут»; Ко - количество объектов предметной области.

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

У«о„а|>еК.,<ок,а|>йК,Хо|=ок).

То есть из множества Яа необходимо выбрать все элементы правых частей, для которых левые части совпадают. Они образуют множество атрибутов объекта 01.

Структура объекта представляется в виде связного ациклического ориентированного графа, имеющего два типа вершин - вершину, соответствующую имени объекта, и вершины, соответствующие именам атрибутов. Дуги в таком графе направлены из вершины первого типа в вершины второго типа.

Структура предметной области отражает структурную иерархию знаний экспертов по прогнозированию. Такие знания называются поверхностными.

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

Докажем существование предтерминальных вершин в графе структуры предметной области.

Представим граф структуры предметной области в виде О=(Б, Б), где В - множество вершин; Б - множество дуг. Поскольку граф ацикличен, то существует множество В'сВ концевых вершин.

Доказательство построим от обратного.

Поскольку граф С связный, пусть для всех вершин, смежных с вершинами В', существует путь Ь к нетерминальным вершинам. Удалим из графа С все вершины В'. Новыми терминальными вершинами могут быть только вершины,

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

Для выделения предтерминальных вершин достаточно из множества Яа удалить все элементы, соответствующие терминальным вершинам.

При удалении из графа структуры предметной области вершин В' все предтерминальные вершины становятся терминальными.

Повторяя эту процедуру, пока Яа не равно 0, и выделяя каждый раз предтерминальные вершины, можно построить упорядоченное семейство множеств ¡=1,...,К(. предтерминальных вершин, выделенных на каждом шаге, где К - количество шагов выделения предтерминальных вершин.

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

Элементы семейства Г2 образуют причинно -следственную иерархию системы, позволяющую построить модель поведения системы.

Знание элементов множеств семейства Г2 позволяет упростить процесс создания модели предметной области, так как появляется возможность упорядочения процесса построения решающих правил.

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

Литература

1. Цаленко Н.Ш. Моделирование семантики в базах данных. М.: Наука, 1989.

2. Таунсед К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. М.: Финансы и статистика, 1990. 320 с.

3. Поспелов Д.А. Искусственный интеллект: Кн. 1. Системы общения и экспертные системы. М.: Радио и связь, 1990.

КОМПЬЮТЕРЫ В ЗАЩИЩЕННОМ ИСПОЛНЕНИИ

• Готовые решения для организации электронного документооборота в целях защиты государственной тайны и конфиденциальной информации.

• Поставка оборудования и комплекс мероприятий по аттестации.

• Контроллеры защиты информации.

ООО «ЦИТ ЦПС»: 170024, г. Тверь, пр. 50 лет Октября, д. 3а, тел. (4822) 39-91-33