3.4.4. Объектно-структурный подход (ОСП)

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

Основные постулаты этой парадигмы заимствованы из ООП и расширены.

1. Системность (взаимосвязь между понятиями).

2. Абстрагирование (выявление существенных характеристик понятия, которые отличают его от других).

3. Иерархия (ранжирование на упорядоченные системы абстракций).

4. Типизация (выделение классов понятий с частичным наследованием свойств в подклассах).

5. Модульность (разбиение задачи на подзадачи или «возможные миры»).

6. Наглядность и простота нотации.

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

Шестой постулат внесен в список последним, но не по значимости. В инженерии знаний формирование традиционно является критической точкой [Гаврилова, Червинская, Яшин, 1988; Гаврилова, Червинская, 1992], так как создаваемая неформальная модель предметной области должна быть предельно ясной и лаконичной. Традиционно языком инженерии знаний были диаграммы, таблицы и другие графические элементы, способствующие наглядности представлений. Именно поэтому предлагаемый в данной работе подход к языку связан с возможной визуализацией процесса проектирования.

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

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

Стратификация знаний

Основы ОСА были предложены автором еще в работах [Гаврилова, 1989; Гаврилова, Красовская, 1990] и успешно применялись при разработке ЭС МИКРО-ЛЮШЕР [Гаврилова, Тишкин, Золотарев, 1989] и АВЭКС [Гаврилова, Минкова, Карапетян, 1992].

ОСА подразумевает дезагрегацию ПО, как правило, на восемь страт или слоев (табл. 3.1 и 3.2).

Таблица 3.1. (см. скан) Стратификация знаний предметной области

Объектно-структурный анализ подразумевает разработку и использование матрицы ОСА (см. табл. 3.2), которая позволяет всю собранную информацию дезагрегировать последовательно по слоям-стратам (вертикальный анализ), а затем

по уровням — от уровня проблемы до уровня подзадачи (горизонтальный анализ). Или наоборот — сначала по уровням, а потом по стратам.

Таблица 3.2. (см. скан) Матрица объектно-структурного анализа

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

где — номер уровня, — номер страты, а принадлежит множеству К всех концептов (понятий) предметной области.

Матрица (1) является матрицей над К. Пусть — совокупность всех матриц над К. Тогда можно определить клеточную матрицу Е, в которой

где — целые положительные числа. , и ее можно представить в виде:

где

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

Предлагаемый подход предполагает реализацию концепции последовательного генезиса ОСП через ОСА к объектно-структурной разработке (ОСР).

Алгоритм ОСА

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

• А_I. Глобальный (вертикальный) анализ, включающий разбиение ПО на методологические страты (чтео-знания, как-знания и т. д.) на уровне всей ПО. В результате заполняется первый столбец матрицы (2).

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

Первый уровень соответствует уровню всей ПО (уровень области). Второй — уровню проблемы, выделенной для решения. Третий — уровню конкретной решаемой задачи. Дальнейшие уровни соответствуют подзадачам, если имеет смысл их выделять.

При этом возможно как последовательное применение восходящей (bottom-up) и нисходящей концепций (toprdown), так и их одновременное применение.

Глобальный анализ

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

• — формирование концептуальной структуры ;

• — формирование функциональной структуры ;

• — формирование подсистемы объяснений

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

Алгоритм глобального анализа-может быть кратко сформулирован следующим образом:

• А_1_1. Собрать все материалы по идентификации задачи и по результатам извлечения знаний.

• А_1_2. Выбрать набор страт подлежащих формированию .

• А_1_3. Отобрать всю информацию по первой выбранной страте где — номер из выбранного набора страт N).

• А_1_4. Повторить шаг для для Всех выбранных страт до

Если часть информации останется неиспользованной, увеличить число страт и повторить для новых страт шаг иначе перейти к последовательной реализации алгоритмов горизонтального анализа страт

Анализ страт

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

Ниже предлагается алгоритм ОСА для одной из обязательных страт (ЧТО-анализ), результатом которого является формирование концептуальной структуры предметной области .

• А_2_3_1. Из группы информации, соответствующей ЧТО-страте, выбрать все значимые понятия и сформулировать соответствующие концепты.

• А_2_3_2. Выявить имеющиеся иерархии и зафиксировать их графически в виде структуры.

• А_2_3_3. Детализировать концепты, пользуясь нисходящей концепцией (top-down).

• А_2_3_4. Образовать метапонятия по концепции bottom-up).

• А_2_3_5. Исключить повторы, избыточность и синонимию.

• А_2_3_6. Обсудить понятия, не вошедшие в структуру с экспертом и перенести их в другие страты или исключить.

• А_2_3_7. Полученный граф или набор графов разделить на уровни и обозначить — согласно матрице ОСА (1).

Аналогичные алгоритмы разработаны для всех страт и апробированы при разработке экспертных систем ПРОГОР и АВЭКС.