- •Содержание
- •Модели и методы реализации интеллектуальной технологии построения интегрированных экспертных систем
- •1.1.1 Модель интеллектуальной среды поддержки разработки интегрированных экспертных систем и ее особенности
- •1.1.2 Методы реализации интеллектуальной среды поддержки разработки интегрированных экспертных систем
- •1.1.3 Алгоритм синтеза макета архитектуры интегрированных экспертных систем
- •1.1.4 Использование типовых проектных процедур и повторно-используемых компонентов при интеллектуальной поддержке разработки интегрированных экспертных систем
- •1.1.5 Планирование действий инженера по знаниям в процессе разработки интегрированных экспертных систем
- •1.2 Анализ архитектуры и функциональных возможностей базовой версии интеллектуального планировщика, функционирующего в составе комплекса ат-технология, с целью разработки требований на его модификацию
- •1.2.1 Общая архитектура интеллектуального планировщика
- •1.2.2 Архитектура ядра интеллектуального планировщика.
- •1.2.3 Блок выбора плана для адаптации
- •1.2.4Блок анализа действий разработчика
- •1.2.5 Описание процесса инициализации компонентов инструментального комплекса ат-технология при запуске комплекса
- •1.2.6 Описание процесса активации пользователем/разработчиком интерактивной задачи плана.
- •Анализ современных методов интеллектуального планирования и подходов к реализации интеллектуальных планировщиков
- •1.3.1 Основные термины и понятия интеллектуального планирования
- •1.3.2 Подходы к планированию
- •1.3.3 Методы оценивания планировщиков
- •1.3.4 Классификация методов планирования.
- •1.3.5 Стратегии поиска
- •1.3.6 Концептуальная модель планирования
- •1.3.6.1 Планировщики
- •1.3.6.2 Контроллеры
- •1.3.6.3 Виды планировщиков
- •1.3.6.3.1 Доменно-независимое планирование
- •1.3.6.3.2 Проблемно-настраиваемое планирование
- •1.3.7 Сравнение различных подходов к планированию
- •2 Разработка алгоритмов синтеза обобщенных планов разработки прототипов интегрированных экспертных систем
- •3 Структура интеллектуального планировщика.
- •Список литературы.
1.3.5 Стратегии поиска
Прямой поиск
Стратегия начинает поиск из начального состояния, и стремится придти в целевое. Пространство поиска огрномно, но существуют эффективные способы для отсечения безперспективных веток поиска, за счет небольших изменений в алгоритме. Это оптимальный алгоритм, кроме случаев, когда оптимальное решение является частью отсеченных веток. Алгоритм должен максимально эффективно отсекать ненужные ветки, т.к. такие ветвления слишком быстро увеличивают пространство поиска.
Обратный поиск
Данная стратегия представляет собой алгоритм, который пытается найти подходящее решение, начиная свой поиск из целевого состояния, чтобы найти подцели. Стратегия полна, т.к. гарантирует, что решение для проблемы будет достигнуто (если оно конечно существует).
Неинформированный поиск
В отличии от эвристического поиска, неинформированный поиск (также называется слепым поискаом) не обладает никакой информацией о проблеме кроме как знанение начального состояние. Домен поиска полностью неизвестен.
Эвристический поиск
Информированный или эвристический поиск связан с поиском, который использет информаицю из задачи о том, в какой области искать подходящее решение. Он использует эвристическую функцию для выбора наилучшего пути при углублении в каждое новое состояние. В общем виде, для каждой вершины поиска существует значение эвристики, которое оценивает следующую вершину для перехода в нее алгоритма. Фактически, эвристика оценивает расстояние от данной вершины до целевой.
1.3.6 Концептуальная модель планирования
Концептуальная модель является простым теоретическим устройством для описания главных элементов проблемы. Она может и не решить некоторых практических деталей, но все еще может быть очень полезена для получения базовых знаний о проблеме. Концептуальную модель планирования включает в себя три основные части, которые описываются ниже: состояние перехода системы, которая является формальной моделью реальной системы, для которой мы хотим создать планы; контроллер, который выполняет действия, которые изменяют состояние системы, и планировщик, который производит планы или возможности, которые управляют контроллером.
1.3.6.1 Планировщики
На вход планировщику подается специальным образом сформулированная проблема, которая включает описание системы Σ, исходную ситуацию и некоторые цели. На выходе планировщика получается план или путь (policy), которые решают задачу планирования. План представляет собой последовательность действий, таких как htake,move1,load,move2i. Путь - это частичная функция от состояния в действии, такая как {(s0,take),(s1,move1),(s3,load),(s4,move2)}. Вышеупомянутый план и путь оба решают проблему планирования P. Любой из них, если начинает выполняется с начального состояния s0, будет Σ через последовательность состояний hs1,s2,s3,s4,s5i.
В общем случае, планировщик будет производить действия, которые описаны на абстрактном уровне. Таким образом, может оказаться невозможным выполнить эти действия без предварительного решения некоторых ньюансов. Во многих задачах планирования, эти ньюансы заключаются в определении какие ресурсы можно использовать и в какое время, чтобы выполнить определенное действие.
Какие ресурсы использовать. Что имеется в виду под ресурсами зависит от того, как поставлена проблема. Например, если Σ содержит более одного робота, то один подход должен потребовать имя робота как часть действия (например, move1 (робот) и move1 (робот 2)), и другой подход должен был бы рассмотреть робота в качестве ресурса, личность которого будет определена позднее.
В какое время приступить к действиям. Например, для погрузки контейнера на робота, мы могли бы начать движение крана, прежде чем робот приходит в положение 1, но мы не можем завершить операцию погрузки, если робот не достиг положения 1 и остановился. В таких случаях у одного подхода должна быть отдельная программа, которая называется проектировщиком, которая находится между планировщиком и контроллером, целью которого является определить эти детали. Другой подход заключается в интеграции функции планирования непосредственно в планировщик. Последний подход может существенно увеличить сложность планировщика, но на сложных проблемах это может быть намного более эффективно, чем наличие отдельного проектировщика.