Исследование задач и методы их решения для одного класса систем логических соотношений

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

ОГЛАВЛЕНИЕ
Введение
Глава 1 Проблема повторного использования методов решения задач при создании систем, основанных на знаниях обзор литературы
1.1 Задачи

1.2 Метод решения задачи и его повторное использование

1.3 Библиотеки .методов решения задач

1.4 Современный подход к разработке методов решения прикладных задач

1.5 ч Методологии и инструментальные средства, ориентированные на повторное использование

1.6 Постановка задачи исследования

Глава 2 Постановка и исследование различных задач для одного класса систем логических соотношений

2.1 Модель онтологии предметной области решаемых задач

2.2 Формальные постановки задач
2.3 Исследование задач
2.3.1 Исследование задач первой группы
2.3.2 Исследование задач второй группы
2.3.3 Исследование задач третьей группы
2.3.4 Исследование задач четвертой группы
Глава 3 Разработка и исследование методов решения задач
3.1 Методы решения задач первой группы
Введение
Актуальность


В работе [] авторы указывают на следующие: во-первых, не существует различий между понятиями “задача” и “метод решения”; во-вторых, различные Generic Tasks методы имеют различную сложность, поскольку остается неясным, какой уровень детализации описания метода следует считать приемлемым. Для решения этих проблем в работе [] было предложено использовать структуру задач (Task Structures). Структура задач позволяет явно разделить задачу и методы ее решения. Каждая задача в структуре связана с альтернативными методами сс решения (для задачи диагностики - это Stasdsdcal Classification. Heuristic Classification и Decision Tree). Каждый метод связан с подзадачами, которые в этом методе необходимо решить (в -рассмотренном ранее методе Heuristic Classification - это абстрагирование, сопоставление и уточнение). Каждая подзадача в свою очередь связана с различными методами ее решения. И так далее, пока решение всех подзадач не будет очевидным. Как будет показано далее, подобная иерархическая структура представления задач и методов их решений широко используется в современных методологиях инженерии знаний в виде так называемой декомпозиционной структуры "задача-метод " [, , , , 0). Рис. Пример декомпозиционной структуры “задача-метод” для задачи диагностики (прямоугольники обозначают методы решения задач, прямоугольники с округленными углами - задачи и подзадачи) [2|. Одним из очевидных результатов исследования методов решения задач является разработка библиотеки методов, пригодных для повторного использования в процессе создания СОЗ. Далее рассмотрим свойства, современных библиотек методов решения задач, а также принципы организации компонентов внутри библиотек. В работе (2] выделено несколько свойств библиотек методов решения задач. К таким свойствам отнесены универсальность и формальность содержащихся в библиотеках методов решения задач, а также раздробленность и размер самих библиотек. Универсальность. По универсальности библиотеки методов решения задач могут быть разделены на задаче-ориентированные и задаченезависимые. В первом случае библиотека содержит методы, предназначенные для решения специфических задач и описываемые с использованием терминологии этих задач. Примеры специализированных библиотек приведены в работах [, ] для решения задач дизайна, [4] для решения задач оценки, [] для решения задач, относящихся к диагностики, [] для решения задач планирования. Библиотека СоттопКАОБ [] представляет собой расширенный набор задачс-ориснтированных методов решения задач. Задаче-независимые методы, напротив, описываются либо в терминах существующей парадигмы решения задачи, как это было сделано в работах [], либо в терминах эпистемологических свойств базы знаний предметной области []. Оба стиля описания методов решения задач в библиотеке имеют свои недостатки и достоинства. Методы, описанные независимо от конкретной постановки задачи, с большей вероятностью могут быть использованы повторно, чем методы, ориентированные на решение конкретных задач (хотя, как показало задачс-независимая переформулировка метода Ргоро$е-ап<1-Кечзе, проведенная в работе [], использование строгой, зада неориентированной терминологии не всегда означает специализацию метода к решению конкретной задачи: в некоторых случаях задаче-ориентированная терминология означает, что авторы просто не предпринимали попыток обобщения). С другой стороны, методы, описанные независимо от конкретной постановки задачи, требуют больших усилий на их адаптацию к решению поставленной задачи. Кроме этого отмечается, что задаче-незавнеимый стиль описания методов не поддерживает процесс приобретения знаний, а задачеориентированная терминология делает метод трудным в понимании []. Для преодоления компромисса между удобством и возможностью повторного использования методов решения задач (этот феномен подробно рассматривался в работе []) было предложено использовать специальные средства адаптации (адаптеры) задачс-нсзависимого описания методов решения задач в задаче-ориентированное [] и средства полуавтоматического построения отображения между задаче-независимым описанием метода и знаниями предметной области [].