Преобразование классов семантических сетей

• Автор: Тимченко, Вадим Андреевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Владивосток
• Количество страниц: 256 с. : ил.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ

ГЛАВА 1. ПРЕОБРАЗОВАНИЯ СЕМАНТИЧЕСКИХ СЕТЕЙ. ОБЗОР ЛИТЕРАТУРЫ.

1.1. Основные понятия

1.2. Представление информации семантическими сетями

1.3. Задачи преобразования семантических сетей.

1.4. Модели преобразования семантических сетей.

1.5. Средства преобразования семантических сетей.

1.6. Выводы из обзора литературы.

ГЛАВА 2. КОНЦЕПЦИЯ ПРЕОБРАЗОВАНИЯ ИНФОРМАЦИИ,

ПРЕДСТАВЛЕННОЙ СЕМАНТИЧЕСКИМИ СЕТЯМИ

2.1. Основные понятия и определения.
2.2. Требования к средству преобразования информации, представленной семантическими сетями
2.3. Концептуальная схема преобразования информации, представленной семантическими сетями
2.4. Выводы.
ГЛАВА 3. МОДЕЛИ И МЕТОД ПРЕОБРАЗОВАНИЯ КЛАССОВ СЕМАНТИЧЕСКИХ СЕТЕЙ
3.1. Модель описания классов семантических сетей
3.2. Модель описания структурных проекций.
3.3. Язык описания проекций.
3.3.1. Абстрактный синтаксис языка описания проекций.
3.4. Метод преобразования классов семантических сетей на основе описания ,
структурной проекции
3.4.1. Метод преобразования текст семантическая сеть.
3.4.2. Метод преобразования семантическая есть текст.
3.4.3. Метод преобразования семантическая сеть семантическая сеть
3.5. Выводы.
ГЛАВА 4. МЕТОДЫ РЕАЛИЗАЦИИ СРЕДСТВА ПРЕОБРАЗОВАНИЯ КЛАССОВ СЕМАНТИЧЕСКИХ СЕТЕЙ НА ОСНОВЕ ОПИСАНИЯ СТРУКТУРНЫХ ПРОЕКЦИЙ.
4.1. Назначение и функции программного средства.
4.2. Архитектура средства преобразования классов семантических сетей на основе описания сгруктурных проскщш.
4.3. Методы реализации средства преобразования классов семантических сетей на основе описания структурных проекций.
4.3.1. Кл нетсерверная реализация.
4.3.2. Методы реализации средств редактирования
4.3.3. Мегоды реализации преобразователя классов семантических сетей.
4.4. Технические характеристики.
4.5. Выводы.
ГЛАВА 5. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ ПРЕОБРАЗОВАНИЯ ИНФОРМАЦИИ С ПОМОЩЬЮ РАЗРАБОТАННЫХ ПРОГРАММНЫХ СРЕДСТВ
И ПРИМЕРЫ ЕЕ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ.
5.1. Технология решения задач преобразования информации с помощью разработанных программных средств.
5.2. Примеры описаний проекций семантических сетей в разных технологических пространствах.
5.2.1. Преобразование базы знаний
5.2.2. Преобразование диаграмм классов на языке ЫМЬ в представление на
языке X.
5.2.3. Задача разработки языковых конвертеров.
5.2.4. Задача построения модели структурных программ
5.3. Выводы. 8
ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ 9
ЛИТЕРАТУРА


Алгебраический подход (Single PushOut (SPO), Double PushOut (DPO), Pullback) [], [], [] основан на обобщении порождающих строковых грамматик Хомского таким образом, что в нем роль цепочек символов (строк) выполняют графы. Основной целью было обобщить конкатенацию строк до склеивания (gluing) графовых конструкций. Идея pushout подхода была позаимствована из теории категорий. Подход назван алгебраическим, потому что графы рассматриваются как специальный вид алгебры, а склеивание графов определяется алгебраическими конструкциями, названными pushouts. Однако способы упорядочивания правил ограничены только их последовательным и параллельным выполнением. Отсутствуют высокоуровневые конструкции управления порядком выполнения правил, такие как условный переход, цикл, рекурсия. Программируемые системы, трансформации. Наиболее широко применяемый на практике подход это программируемые системы трансформации. Пожалуй, лидирующая роль среди таких систем принадлежит PROGRES (PROgrammed GRaph REplacement System) [9]. Главной особенностью системы считается то, что в ней в равной степени делается акцент, как на самих продукциях, так и на задании порядка их применения. Так, в системе есть язык трансформации графов (graph replacement language), „ на котором описываются продукции, а также программные конструкции, задающие порядок применения этих продукций. Система PROGRES состоит из двух частей - из описания продукций языка для преобразования графа и набора программных конструкций, таких как рекурсия, недетерминированное применение продукций, условия и циклы. Кроме того, в системе можно также задавать статические ограничения целостности на графах. Для этого предназначены специальные PROGRES-схемы, которые задают множество типов на графе (graph domain). Однако среди недостатков PROGRESS отмечаются следующие []. Во-первых, можно выполнять только эндогенные преобразования (в рамках одной PROGRES-схемы). Самыми популярными языками для описания преобразований графов являются ОРТІіМІХ [] и GXL/GTXL [9], [1]. Трехкомпонентные грамматики. Трехкомпонентные грамматики (triple graph grammars, TGG)'впервые предложены в работе [0] как средство описания соответствия между двумя различными типами моделей (графов) в декларативном виде. Идея использования данного формализма для поддержки экзогенных преобразований состоит в том, что преобразуемый граф может быть разбит на три согласованных подграфа. При этом каждый подграф должен соответствовать своей собственной схеме графа. Два из трех подграфов трансформируются одновременно, в то время как третий граф 4‘отслеживает” соответствия между двумя другими. Таким образом, два подграфа представляют соответственно исходную модель (граф) и целевую модель (граф), а третий подграф - модель (граф) соответствия, содержащая связующие вершины и дуги. Преобразование одного объединенного графа выполняется с использованием техники DPO подхода. Однако общепринятая реализация таких декларативных спецификаций отсутствует. Существуют частные реализации в программных средствах* ориентированных на специфичную область применения []. Преобразование программ. Наиболее широко распространенной и перспективной техникой для выполнения эндогенных преобразований является преобразование термов (term rewriting) на ДАС [], [4], основанное на описании правил преобразования и стратегии, управляющей применением этих правил. Данная техника основана на том, что ДАС рассматривается как алгебраическая структура. Среди известных языков и формализмов, в основу которых заложена техника преобразования термов, можно отметить следующие. Stratego/XT. Язык Stratego [7] нетипизированный язык преобразования термов, используемый для описания правил преобразования над ДАС. Синтаксический анализ текстов программ и формирование ДАС выполняется вспомогательным инструментарием XT []. Stratego поддерживает отделение стратегий применения преобразований от самих правил преобразования, разрешая, таким образом, гибкий контроль над применением этих правил. Среди примитивов стратегии язык содержит несколько базовых операторов обхода ДАС. Компилятор Stratego транслирует описание спецификации в код на языке С. Обрабатываемое ДАС должно быть представлено в формате ATerm (ATerm Format) [2].