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

Описание

Типичная система планирования, основанная на случаях решает новые задачи путем поиска подобных случаев в памяти и выбора одного или нескольких, наиболее подходящих к поставленной задаче. Система подгоняет выбранные случаи к новому плану, который вычисляется для текущей задачи. После отработки ошибочных случаев в новом плане, система сохраняет его как новый случай для возможного повторного использования (и отключается от его выполнения).

Система планирования, основанная на случаях отличается от систем генерирования планов, таких как Нонлин (от англ. «Nonlinear» — нелинейный), которые строят плохо подобранный план путем поиска подходящего фрагмента плана, расширения этого фрагмента путем добавления в него действий и затем проверки расширенного фрагмента плана на «вредность» и «полезность» взаимодействий между внедренными действиями. Это дорогой процесс.

Системы планирования, основанные на случаях действуют иначе (т.е. не начинают с постройки плохо подобранного плана). Планировщик пытается найти наиболее полно подходящий план, в котором все «вредные» взаимодействия уже изъяты.

Большая часть систем планирования, основанных на случаях использует последовательные процедуры для выборки случаев. Они формируют подбираемый образец, который сравнивает свойства поставленной задачи со своими свойствами, содержащимися в случае. Однако последовательное сравнение образца с каждым из случаев в настоящей базе случаев, состоящей из сотен или тысяч элементов недопустимо дорого. В результате, эти системы обращаются к памяти редко, зачастую только при восстановлении единичного случая, чтобы приспособиться ко всем целям решаемой задачи. Такие системы могут вести поиск случаев более эффективно, используя индексацию для ограничения свойств в поисковом образце (посредством этого ограничивается область поиска в базе случаев, но такой подход порождает некоторые другие проблемы).

Система Капер (Система планирования, основанная на случаях) разработана для непосредственной переадресации некоторых задач последовательной выборки на индексированную базу случаев.

Капер использует полный параллелизм Машины Связи (вычислителя) для быстрой выборки случаев и планов из обширной неиндексированной памяти. Система может выбирать случаи и планы, основанные на нескольких свойствах целевой задачи, включающих абстракции целевых свойств. Контролируя, какое из свойств является свойством образца, а также его уровень абстракции, таким образом, может быть исследован весь диапазон запросов.

В отличие от последовательных планировщиков, Капер может преподнести к выборке сразу несколько планов (или надпланов) для достижения различных частей решаемой задачи и далее объединить их в один композитный план, который решает все (или большую часть) поставленных задач с наибольшей достоверностью.

Рассмотрим также организацию базы знаний и подбор плана: а) Организация базы знаний База знаний организуется как семантическая сеть, содержащая представления эпизодических и концептуальных знаний. Концепция включает объекты, которые могут иметь физические свойства, действия, которые могут задаваться правилами, начальные условия и следствия. Концепция организуется отношениями is-a (принадлежности), part/whole (частичного порядка) и другими. Представление (концепция) может также содержать включения или индивидуальные имена типов, которые представляют часть объектов.