Реферат: Полная параллельная поддержка для систем планирования, основанных на случаях

<span Courier New"; mso-bidi-font-family:«Times New Roman»">Московский Государственный институтрадиотехники, электроники и автоматики

<span Courier New"; mso-bidi-font-family:«Times New Roman»">(Технический университет)

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">кафедра: ИТС

<span Courier New";mso-bidi-font-family: «Times New Roman»">Факультет: Кибернетики

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">КУРСОВАЯ РАБОТА

<span Courier New"; mso-bidi-font-family:«Times New Roman»">по курсу: Интеллектуальные системыуправления

<span Courier New"; mso-bidi-font-family:«Times New Roman»">тема: Полная параллельная поддержка длясистем планирования, основанных на случаях

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">студент: Частухин Виталий

<span Courier New";mso-bidi-font-family: «Times New Roman»">группа: АИ-1-93

<span Courier New";mso-bidi-font-family: «Times New Roman»">руководитель: Захаров

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New";mso-bidi-font-family: «Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New"; mso-bidi-font-family:«Times New Roman»">МОСКВА 1996

<span Courier New";mso-bidi-font-family:«Times New Roman»">Полная параллельнаяподдержка для систем планирования, основанных на случаях

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Описание

<span Courier New"; mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Типичная системапланирования, основанная на случаях решает новые задачи путем поиска подобныхслучаев в памяти и выбора одного или нескольких, наиболее подходящих кпоставленной задаче. Система подгоняет выбранные случаи к новому плану, которыйвычисляется для текущей задачи. После отработки ошибочных случаев в новомплане, система сохраняет его как новый случай для возможного повторногоиспользования (и отключается от его выполнения).

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Система планирования,основанная на случаях отличается от систем генерирования планов, таких какНонлин (от англ. “Nonlinear” — нелинейный), которые строят плохо подобранныйплан путем поиска подходящего фрагмента плана, расширения этого фрагмента путемдобавления в него действий и затем проверки расширенного фрагмента плана на“вредность” и “полезность” взаимодействий между внедренными действиями. Этодорогой процесс.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Системы планирования,основанные на случаях действуют иначе (т.е. не начинают с постройки плохоподобранного плана). Планировщик пытается найти наиболее полно подходящий план,в котором все “вредные” взаимодействия уже изъяты.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Большая часть системпланирования, основанных на  случаяхиспользует последовательные процедуры для выборки случаев. Они формируютподбираемый образец, который сравнивает свойства поставленной задачи со своимисвойсвами, содержащимися в случае. Однако последовательное сравнение образца скаждым из случаев в настоящей базе случаев, состоящей из сотен или тысячэлементов недопустимо дорого. В результате, эти системы обращаются к памяти редко,зачастую только при восстановлении единичного случая, чтобы приспособиться ковсем целям решаемой задачи. Такие системы могут вести поиск случаев болееэффективно, используя индексацию дляограничения свойств в поисковом образце (посредством этого ограничиваетсяобласть поиска в базе случаев, но такой подход порождает некоторые другиепроблемы).

<span Courier New";mso-bidi-font-family:«Times New Roman»">Система Капер (Системапланирования, основанная на случаях) разработана для непосредственнойпереадресации некоторых задач последовательной выборки на индексированную базуслучаев.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Капер использует полныйпараллелизм Машины Связи (вычислителя) для быстрой выборки случаев и планов изобширной неиндексированной памяти. Система может выбирать случаи и планы,основанные на нескольких свойствах целевой задачи, включающих абстракциицелевых свойств. Контролируя, какое из свойств является свойством образца, атакже его уровень абстракции, таким образом может быть исследован весь диапазонзапросов.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">В отличие отпоследовательных планировщиков, Капер может преподнести к выборке сразунесколько планов (или надпланов) для достижения различных частей решаемой задачии далее объединить их в один композитный план, который решает все (или большуючасть) поставленных задач с наибольшей достоверностью.

<span Courier New";mso-bidi-font-family:«Times New Roman»">Рассмотрим также организациюбазы знаний и подбор плана:

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">а)Организация базы знаний

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">База знаний организуетсякак семантическая сеть, содержащая представления эпизодических и концептуальныхзнаний. Концепция включает объекты, которые могут иметь физические свойства,действия, которые могут задаваться правилами, начальные условия и следствия.Концепция организуется отношениями is-a (принадлежности), part/whole(частичного порядка) и другими. Представление (концепция) может также содержатьвключения или индивидуальные имена типов, которые представляют часть объектов.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Эпизодические знанияописываются накопленным опытом системы (или опытами, которые были ей сообщенызаранее). Каждому эпизоду ставится в соответствие определенные дата, время,место и другие свойства.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Эпизоды включают случаи(первичная задача планирования), е-планы (первично выполняемые планы),е-действия (первично выполняемые простейшие действия).

<span Courier New";mso-bidi-font-family:«Times New Roman»">Случай состоит из задачипланирования (начальная ситуация — требуемое решение), е-планы генерируются дляее решения и возвращения после их выполнения на начальный уровень. Е-планысостоят из иерархически организованных е-планов (надпланов), каждый из которыхрешает задачи/надзадачи.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">В конце иерархии плановимеются е-действия, которые строго индивидуальны (случаи концепции действия).

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">В Капере узлысемантической сети представляют концепции, имена типов и эпизоды.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Память Капераосуществлена с использованием полной параллельной, основанной на фреймах, системыпредставления знаний, названной Парка.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Капер использует СтруктурныйКонструктор для выборки эпизодов из памяти. Структурный Конструкторрассматривает базу знаний как граф с вершинами, представляющими собой фреймы игранями, представляющими собой слоты (которые связывают собой два фрейма).

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">б)Подбор плана

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Капер-планировщиккомбинирует исходные планы в единый новый план, а Плановый Адаптер исполняетего часть для обнаружения и использования взаимодействий между комбинированнымипланами.

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">

<span Courier New";mso-bidi-font-family:«Times New Roman»">Авторы и названиеоригинала переведенной статьи:

<span Courier New";mso-bidi-font-family:«Times New Roman»">“Massively ParallelSupport for Case-Based Planning”,

<span Courier New";mso-bidi-font-family:«Times New Roman»">Brian P. Kettler, JamesA. Hendler, William A.Anderson, and Matthew P. Evett

еще рефераты
Еще работы по программированию, базе данных