НАУКА и ОБРАЗОВАНИЕ

Е.С. Кузин, д-р техн. наук проф., В.Н. Брыдь, вед. инж. АО "НИЦЭВТ"

Базовая система представления знаний о проблемной среде

В статье рассматривается система представления знаний о проблемной среде ФЕНИКС, реализующая язык описания декларативных знаний ЯОДЗ, предлагаемая как базовая для создания на ее основе различных прикладных, программных, систем

Одной из важнейших проблем создания информационных технологий, ориентированных на решение современных сложных задач, является разработка программного обеспечения, адаптируемого к изменениям проблемной среды (среды решения задачи) и способного к совершенствованию и развитию в течение всего его жизненного цикла. Нерешенность этой проблемы приводит к большим экономическим потерям, а во многих случаях — к невозможности создания программных систем, адекватных требованиям пользователя [1]—[3].

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

Высокая адаптивность системы к изменениям ПС, возможность ее постоянного развития и совершенствования достигаются в технологии БД достаточно полной реализацией в системах управления базами данных (СУБД) принципа разделения знаний о проблемной среде и знаний о том, КАК решать задачу (в дальнейшем называемых алгоритмическими знаниями).

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

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

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

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

В плане решения этой проблемы была разработана система ФЕНИКС, ориентированная на представление знаний о проблемной среде, инвариантна относительно широкого круга решаемых задач и различных предметных областей.

Целью разработки системы ФЕНИКС являлось создание базовой системы — центрального ядра — для разработки на ее основе различных ППС. В составе конкретной ППС система ФЕНИКС должна обеспечивать интеграцию результатов деятельности различных подпрограмм по решению отдельных подзадач в составе общей задачи, решаемой прикладной системой, т.е. выполнять роль, аналогичную роли БД в составе информационно-поисковой системы. Принципиальными моментами является то, что, во-первых, интегрирующая функция выполняется для программ, решающих самые различные задачи, во-вторых, обращение программ к системе (заполнение ее знаниями и их извлечение) осуществляется не только в статическом (в периоды между рещениями задач), но и в динамическом режимах (т.е. в процессе решения задачи), и, в-третьих, взаимосвязь программ реализуется только путем обмена результатами их деятельности через БЗПС.

Систему ФЕНИКС мржно также рассматривать как систему управления базой знании (СУБЗ), ориентированную на фиксирование, хранение и использование широкого круга различных знаний.

В основу концепций создания системы ФЕНИКС были положены следующие четыре утверждения.

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

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

    3. В системе должно обеспечиваться представление языковых конструкций ЯОДЗ в декларативных ин формационных структурах (ДИС) инструментального языка программирования. На этом языке представляются алгоритмические знания ППС, используемые в дальнейшем как формальные конструкции, правила оперирования с которыми программами данного инструментального языка не зависят от интерпретации этих структур.

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

Ниже описаны основные концепции отображения проблемной среды в ее знаковую модель, принятые в системе ФЕНИКС, и принципы построения языка описания декларативных знаний, используемого в системе.

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

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

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

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

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

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

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

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

В ЯОДЗ реализован механизм наследования свойств, учитывающий все описанные выше особенности принятой иерархии классов и включаемых в эту иерархию (на других основаниях) индивидных сущностей. Аналогичным образом в ЯОДЗ реализуется иерархия по отношениям "часть—целое".

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

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

Интеграция языковых единиц в языковые конструкции осуществляется в ЯОДЗ на основе использования двух механизмов: семантического объединения и предикации.

Конструкция семантического объединения (СО) имеет следующий вид:

L(T₁, T₂, ..., T_n),

где L - семантическая связка
       T₁ - термы

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

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

Элементарной единицей описания знаний в ЯОДЗ, как и в любом другом языке, является предложение, имеющее следующую конструкцию:

R(T₁, T₂, ..., T_n) , M₁m_i¹, M₂m_j²

где R - предикат
       T₁ - термы
       M_1,M₂ - типы модификаторов
       m₁¹ - значение модификатора типа 1

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

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

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

В роли термов предложения могут выступать либо имена сущностей, либо семантические объединения, либо другие предложения или их совокупности. В ЯОДЗ допускается любой уровень вложенности конструкций подобного типа. Подстановка в предложение на место терма вместо имени более сложной языковой конструкции превращает его в сложное предложение, для поддержки которого в ФЕНИКС разработаны специальные средства.

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

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

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

В ЯОДЗ возможно также использование служебных модификаторов, относящихся как к предложению в целом, так и к отдельным термам, дающих о них дополнительную информацию, используемую при управлении процессом решения задачи.

Комплексы предложений, образующие собой в совокупности единицу связного в каком-либо смысле описания, представляются в ЯОДЗ в виде единиц описания самого высокого уровня — фрагментов. Механизмы языка поддерживают эту связность.

В состав знаний, образующих БЗПС, входят:

    а) совокупность определений значений слов, используемых при описании знаний, образующая лексическую базу (ЛБ) языка. Можно сказать, что ЛБ содержит толковый словарь ЯОДЗ. В любых описаниях, составленных на ЯОДЗ, должны использоваться только слова, значения которых определены в ЛБ. Словарный состав ЯОДЗ, в отличие от его синтаксиса и реализуемых в нем семантических концепций, варьируется и зависит от предметной области, в которой решается задача. В процессе жизненного цикла системы состав ЛБ может расширяться и меняться;

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

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

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

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

Система ФЕНИКС реализована на компьютерах типа 1ВМ РС и функционирует в операционной системе ВО8 версии 5.0 и старше. Ядро системы занимает 250 Кбайт оперативной памяти при полном использовании ее функций и 1 Мбайт памяти на жестком диске. ДИС реализованы в виде классов объектно-ориентированного языка С++, что позволяет решать прикладную задачу на уровне понятий соответствующих конструкций ЯОДЗ. Язык С++ был выбран в качестве инструментального языка реализации системы, поскольку кроме объектно-ориентированного программирования он предоставляет возможность системного программирования, что необходимо при реализации функций хранения и манипулирования ДИС,

Система представляет собой комплекс программных модулей, обеспечивающих прикладную программу средствами хранения и манипулирования декларативными знаниями. Компоненты ДИС соответствуют компонентам ЯОДЗ. В соответствии со структурой ЯОДЗ в декларативных информационных структурах фиксируются и хранятся следующие элементарные компоненты: имена объектов, имена признаков, имена значений признаков (или генерирующие их процедуры), предикаты, квантификаторы, модификаторы. Также в соответствии с ЯОДЗ в ДИС фиксируются и хранятся сложные компоненты, построенные на базе элементарных компонентов в соответствии с синтаксисом ЯОДЗ: семантические объединения, простые предложения, сложные предложения, фрагменты. Семантические объединения и простые предложения представляют собой линейные структуры ЯОДЗ, сложные предложения и фрагменты (в общем случае) — нелинейные.

ФЕНИКС включает в себя следующие функциональные части:

    средства поддержки ДИС;
    средства хранения и манипулирования ДИС;
    средства поддержки семантики;
    вспомогательные средства;
    средства работы со знаниями

Средства поддержки ДИС обеспечивают функциональную полноту представления ДИС. Они включают:

    • средства формирования ДИС, реализующие различные способы создания ДИС;
    • средства, реализующие свойства ДИС (получение категории имени ДИС, получение внешнего и внутреннего идентификатора, манипулирование с модификаторами, автоматическая поддержка позиции в модели и т.д.);
    • средства синтаксического контроля правильности формирования ДИС;
    • средства транслирования выражений ЯОДЗ в ДИС и обратно.

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

При реализации средств поддержки ДИС использовалась библиотека контейнерных классов фирмы Borland — CLASSLIB, а также классы, реализующие потоки.

Средства хранения и манипулирования ДИС обеспечивают сохранение и редактирование ДИС во внешней памяти. ДИС сохраняются во внешней памяти в виде реляционных таблиц Рагайох. Выбранный способ хранения:

    • обеспечивает хранение и редактирование дан ных во внешней памяти;
    • обеспечивает целостность хранимых данных;
    • имеет средства поиска необходимых данных;
    • обеспечивает работу с данными в сети;
    • имеет средства работы с ВШВ (большие массивы двоичных данных);
    • обладает удовлетворительными техническими характеристиками. Для хранения ДИС разработаны специальные классы (в смысле классов С++, а не классов сущностей ПС), выполняющие следующие функции:
    • поддержка функций СУБД Рагадох;
    • преобразование ДИС в записи реляционных таблиц;
    • поддержка взаимосвязей между различными составляющими ДИС;
    • преобразование записей реляционных таблиц в ДИС;
    • поиск ДИС.

Внешний интерфейс с этими классами обеспечивает сохранение, извлечение, редактирование и поиск ДИС.

ДИС могут содержать ссылки на сложные типы данных (например, программы, изображения, текстовую информацию и т.д.), которые также могут сохраняться в специально спроектированных таблицах Paradox.

Все классы, необходимые для хранения ДИС, объединены в один класс — модель (в смысле С++). Этот класс обеспечивает высокоуровневый интерфейс знаний на уровне синтаксиса. (Так, например, при удалении сложного предложения из модели автоматически удаляются все придаточные предложения и все связанные с используемыми ДИС модификаторы). Класс модели соответствует понятию модели и допускает следующие операции работы с ней:

    • создание новой модели;
    • удаление существующей модели;
    • переименование модели.

Для обеспечения интерфейса с таблицами Рагадох используется библиотека классов Borland Paradox Engine (Database Frame Work)

Средства поддержки семантики обеспечивают следующие функции системы ФЕНИКС:

    • сопоставление ДИС (сопоставление простых и сложных ДИС между собой, а также сопоставление ДИС с моделью);
    • работу с иерархиями (получение информации о принадлежности имени к иерархии, получение имени надкласса и имен подклассов заданного имени, определение взаимного положения двух имен в иерархии);
    • работу с шаблонами предикатов (получение шаблона заданного предиката). Вспомогательные средства обеспечивают функционирование основных средств. Они включают:
    • класс, обеспечивающий представление и манипулирование с флагами ДИС;
    • потоковый класс, обеспечивающий чтение лек сем языка ЯОДЗ из входного потока;
    • класс обеспечивающий буферизацию и обработку ошибок;
    • средства свопинга (временной выгрузки системы из памяти ВС во внешнюю память для выполнения других программ). Средства работы со знаниями предназначены для поддержки формирования и редактирования знаний. Включают в себя следующие программные модули:
    • транслятор ДИС, осуществляющий прямую и обратную трансляцию модели проблемной среды, выраженной на ЯОДЗ в ДИС;
    • диалоговую систему автоматизированного формирования и редактирования базы знании (находится в стадии разработки). Предназначена для создания и редактирования базы знаний о проблемной среде в диалоговом режиме. Позволяет пользователю формировать модель проблемной среды под управлением системы. Реализует систему семантического контроля вводимых знаний, позволяя вводить только семантически корректные знания.

Первая версия системы ФЕНИКС была использована для создания на ее основе системы диагностики сложных технических и биологических объектов и системы событийно-математического моделирования. В настоящее время на базе системы ФЕНИКС (одновременно с разработкой ее второй версии) создается система высокоуровневого доступа к базам данных, реализующая также функцию метаописания содержания баз данных с организацией на этой основе метапоиска нужной БД.

Список литературы

1. Буч Г. Объектно-ориентированное проектирование с приме рами применения: Пер. с англ. — Киев: Диалектика, 1992.

2. Кузин Е.С. Информационные технологии и проектирование прикладных программных систем. — "Информационные технологии и вычислительные системы", 1995, № 2.

3. Козлинский А. CASE-технология: индустриальная разработка систем обработки информации. — "Soft Review" (компьютерное обозрение)", 1993, октябрь.

4. Дейт К. Введение в системы баз данных: Пер. с англ. — М.: Наука, 1980.

5. Мартин Дж. Организация баз данных в вычислительных системах. — М.: Мир, 1980.

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, №6. 1996

ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ