Технология построения обобщенного "И/ИЛИ" дерева решения задач

• Автор: Вовк, Алексей Андреевич
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Красноярск
• Количество страниц: 104 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ

1. ИИЛИДЕРЕВЬЯ РЕШЕНИЯ ЗАДАЧ.

1.1 Понятие задачи

1.1.1 Формулировка задачи. Неопределенности.

1.1.2 Представление задачи в пространстве состояний.

1.1.3 Представление задачи в пространстве задач.

1.2 ИШТИ деревья.

1.2.1 Определение дерева в теории графов

1.2.2 ИИЛИ дерево целей

1.2.3 Операции над графами

1.3 Получение знаний
1.3.1 Задачи формирования знаний
1.3.2 Классификация систем добычи данных
1.4. Выводы к главе 1.
2. ТЕХНОЛОГИЯ ПОСТРОЕНИЯ ОБОБЩЕННОГО ИИЛИ ДЕРЕВА
2.1 И и ИИЛИ деревья.
2.2 Совпадающие кластеры
2.3 Понятие полного и частичного совпадения И деревьев
2.4 Понятие полного и частичного совпадения ИИЛИ деревьев
2.5 Построение обобщенного ИИЛИ дерева.
2.6 Разделение пересекающихся кластеров.
2.7 Сходимость процесса построения обобщенного ИИЛИ дерева.
2.8 Выводы к главе 2
3. ЭКПЕРИМ ЕНГА ЛЬНЫ Е ИССЛЕДОВАНИЯ.
3.1 Цели и задачи экспериментального исследования.
3.2 Описание программно аппаратной системы для проведения эксперимента
3.3 Исходные данные.
3.4 Ход эксперимента
3.5 Выводы к главе 3
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Сукачёва СО РАН, а также в учебном процессе СФУ. Личный вклад автора. Автором лично получены основные выносимые на защиту результаты. В работах, опубликованных лично и в соавторстве, автором разработаны теоретические основы, проведены аналитические выкладки и получены экспериментальные результаты. Апробация работы. Материалы работы обсуждались: на семинаре кафедры «Системы искусственного интеллекта» Красноярского государственного технического университета (г. Институте леса им. В.Н. Сукачёва СО РАН (г. Публикации. По материалам исследований опубликовано пять статей, из которых: одна опубликована в сборниках, рекомендованных ВАК, две статьи депонированы. Структура и объем диссертации. Диссертационная работа включает: содержание, введение, три главы, и заключение. Работа содержит 4 страницы машинописного текста, рисунка и таблицу. Список литературы содержит 0 наименований. В первой главе проводится описание методов представления статической структуры оригинала в виде графоподобиых структур. Анализируется соответствие понятия «И/ИЛИ» дерева решения задач понятию дерева в теории графов. Проводится анализ применимости операций над графами теории графов к «И/ИЛИ» деревьям. Анализируются существующие подходы к формированию баз знаний решающих систем. Во второй главе вводится понятие совпадающих кластеров и определяется операция объединения совпадающих кластеров. Вводится понятие совпадающих «И/ИЛИ» деревьев решения задач. Определяется операция объединения «И» дерева с «И/ИЛИ» деревом, предлагается алгоритм объединения. Дается определение сходимости процесса построения обобщенного «И/ИЛИ» дерева для класса задач, формулируется и доказывается критерий сходимости. Формулируются теоретические оценки скорости сходимости такого процесса. И/ИЛИ» дерева и исследована сходимость этого процесса, описаны начальные данные и ход эксперимента. В заключении сформулированы основные научные и практические результаты данной работы. Кт - требуемая модель исследуемого объекта. Задача - это ситуация, в которой для некоторой предметной области заданы модели существующего и требуемого состояний оригинала. Система, реализующая решение задачи, называется решающей системой. Ка —^ К] —> К. К.Т. Последовательность действий решающей системы <с1, с1г,с! Если путь решения исходной задачи известен априори, то такая задача называется задачей первого рода [1]. Если же путь решения исходной задачи априори неизвестен, то задача называется задачей второго рода [2-5]. Соответственно, решающие системы, ориентированное на решение задач первого или второго рода называются решающими системами первого рода или решающими системами второго рода. Для решающих систем второго рода характерно, что методом решения задач для них всегда является некоторый метод поиска. Задача второго рода называется простой [6], если ее решение находится методом одношагового поиска. Задача второго рода называется сложной [6], если для нахождения ее решения требуется осуществить более одного шага поиска. Формулировка задачи. В общем случае задачи решающих систем второго рода возможно упорядочить на порядковой шкале от простых задач - до сложных. Это упорядочение зависит от характера неопределенности в формулировке задачи. Т.е. Параметрическая неопределенность. Данный вид неопределенности обозначает невозможность априорного задания параметров структуры оригинала. Примером параметрической неопределенности может служить выражение у =У(х, с(х))> характеризующее некоторый оригинал. Функционально-структурная неопределенность. Сущность этого вида неопределенности заключается в невозможности априорного задания /в выражении у = Дл:). Функциональная зависимость переменных оригинала, описываемого / зависит от целей исследования, которые определяются только при постановке текущей цели. Неопределенность по статической структуре. Выражается в невозможности априори задать структуру оригинала, поскольку она также зависит ог текущей цели. Неопределенность по границе оригинала. Каждый оригинал определяется целями текущей задачи.