Интеллектуальная система программирования FramIX для представления знаний в системах принятия решений

• Автор: Богданов, Кирилл Сергеевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2001
• Место защиты: Москва
• Количество страниц: 127 с.

Оглавление
Введение

1. Методы и системы представления знаний.

1.1. Методы представления знаний.

1.1.1. Продукционная модельИ

1.1.2. Логические модели

1.1.3. Семантические сети.

1.1.4. Фреймы.1

1.1.5. Преимущества гибридной модели представления знаний.

1.2. Системы представления знаний

1.2.1. .
1.2.2.
1.2.3. i.
1.2.4. , i
1.2.5. i
1.2.6.
1.2.7.
1.3. Постановка задачи.
1.4. Выводы
2. Гибридная модель представления знаний, основанная на сети фреймов. Логический вывод на сети фреймов.
2.1. Гибридная модель представления знаний.
2.1.1. Фрейм
2.1.2. Связи между фреймами. Типы связей.
2.2. Демоны.
2.3. Сообщения единый метод доступа и манипуляции данными в сети.
2.4. Логический вывод на сети фреймов
2.4.1. Понятие Процессора Логического Вывода П Л В.
2.4.2. Концепция множества различных методов логического
вывода над единой базой знаний
2.4.3. Формальное представление знаний. Синтаксис языка запросов
2.4.4. Семантика языка запросов. Метод резолюций на сети
фреймов.
2.4.5. Пример логического вывода.
2.5. Архитектура фреймовой системы представления
знаний РН.АМ1Х
2.6. Выводы
3. Реализация гибридной фреймовосетевой модели. Ядро системы П1АМ1Х. Алгоритмы и методы реализиции.
3.1. А рх итекту р а с и сте м ы Г И А м IX
3.2. Объектная модель ядра.
3.2.1. Базовые классы манипулирования данными
3.2.2. Подсистема управления демонами
3.2.3. Слот,
3.2.4. Фрейм.
3.2.5. Подсистема управления связями.
3.3. АР1 системы ГГ1АМ1Х.
3.3.1. Структура АР1 системы РЯАМ1Х
3.3.2. Функции управления структурой сети
3.3.3. Функции манипулирования данными.
3.3.4. Функции Зеп.1Меаде
3.4. Механизмы фиксации состояний сети фреймов
3.5. Пользовательский модуль. Структура типичного
РНАМ1Х приложения
3.6. Особенности реализации ядра системы РЛАМ1Х.
Оценка производительности
3.7. Выводы.
4. Экспертная система РВСБ, реализованная в системе программирования Ряам1Х.
4.1. Постановка задачи
4.1.1. Предварительные определения.
4.1.2. Исходная информация для классификации и обобщения, постановка задачи
4.2. Архитектура системы РВСЭ.
4.3. Реализация системы.
4.4. Выводы.
Заключение
Литература


Однако, в настоящее время эффективных гибридных моделей не предложено и задача представления знаний не имеет универсального решения. Построение программных систем, основанных па предложенных моделях, для решения задач поддержки принятия решений. Цель работы - Решение задачи отображения в гибридной системе достоинств логический систем. Известно, что при всех недостатках логических систем, это единственный подход, который в любом случае приводит к положительному результату, что не всегда достижимо в других системах. Поэтому, если теорию фреймов и соответствующее представление объектов в форме связанных друг с другом отношениями подчиненности, причинности и т. Методы исследования. При решении поставленной задачи был проведен анализ существующих методов представления знаний, систем, основанных на гибридных моделях. При разработке модели представления знаний использовался аппарат логики предикатов 1-го порядка. При разработке ядра системы применялось объектно ориентированное проектирование, алгоритмы эффективного хранения и поиска данных, формализм виртуальной машины. При решении практической задачи использовались статистические методы анализа рядов данных. Предложена новая гибридная модель представления знаний, основанная на формализмах фреймов и семантических сетей. Разработана активная фреймовая структура, сочетающая внутренние процедуры обработки и передачи информации внутри сети фреймов. Разработан механизм реализации множества различных методов логического вывода на единой базе знаний, представленной в виде сети фреймов. Продемонстрирована принципиальная возможность реализации логического вывода на примере метода резолюций логики предикатов 1-го порядка. Результаты исследований обсуждены на 7-й национальной конференции по искусственному интеллекту ''КИИ-"[5]. Результаты исследований внедрены в ЗАО м5М-Соп$иШгщм. Структура работы. Диссертационная работа состоит из введения, четырех глав, заключения и списка литературы общим объемом 7 страниц текста, включая рисунков. В первой главе приводится сравнительный анализ существующих методов представления знаний. Подробно рассматриваются особенности каждого формализма. Приводится обзор некоторых существующих систем представления знаний, основанных на гибридных моделях. Рассматриваются основные достоинства и недостатки этих систем. На основе анализа приводится постановка задачи. Во второй главе дается описание разработанной гибридной модели представления знаний, основанной на сети фреймов, которая лежит в основе системы П1АМ1Х. Предлагается подход для реализации множества логических выводов на единой базе знаний и рассматривается синтаксис и семантика единого языка для описания правил и запросов к базе знаний, представленной в виде сети фреймов. Па примере ПЛВ основанного на методе резолюций логики предикатов 1-го порядка показывается принципиальная возможность применения предлагаемого подхода для реализации логического вывода, на сети фреймов. Далее рассматриваются перспективы развития предложенной модели. В третьей главе описывается архитекура ядра (супервизора:) системы программирования Пим1Х. Далее подробно излагаются особенности реализации каждой подсистемы, приводится объектная модель системы. Детально излагаются механизм представления данных в системе и механизм передачи сообщений. Исследуются особенности эффективного управления памятью при решении данной задачи и ачгшоритмы поиска информации. Выполняется оценка производительности системы на примерах. В четвертой главе выполняется постановка практической задачи: создать экспертную систему для анализа и классификации результатов первичного прогнозирования биржевых котировок некоторых финансовых инструментов. Приводятся определения базовых понятий рассматриваемой предметной области и выполняется постановка прикладной задачи. Далее в главе рассматривается архитектура системы, структура базы знаний, затем рассматривается реализация системы. В заключении излагаются основные результаты работы и рассматриваются перспективы дальнейших исследований.