Треугольная таблица

Cтраница 1

Треугольные таблицы для иллюстрации алгоритма, а - полная таблица; б-подтаблица Л; в - подтаблица В. [1]

Полная треугольная таблица может быть подразделена на пару подтаблиц, как показано на фиг. [2]

Формат треугольной таблицы полезен тем, что четко демонстрирует структуру плана. Заметьте, что все предложения, необходимые для установления условий применимости оператора ОР, содержатся в строке i. [3]

Минимизация коммутирующих элементов. [4]

При заполнении цифрами треугольной таблицы следует пользоваться прямоугольной таблицей ( левой), в которой показано расположение КЭ. [5]

Построенную таким образом треугольную таблицу называют канонической. [6]

Форма операторов STRIPS в виде утверждений позволяет нам запоминать план в удобном формате треугольных таблиц. Эти таблицы показывают структуру плана в таком представлении, что при решении сходных задач легко выделять части плана. Трудно сказать, можно ли найти столь же удобное представление плана и при процедурном представлении операторов. Можно было бы предложить использовать операторы, представленные в форме утверждений, как грубую модель для операторов, определенных более точно посредством процедур. Тогда планирование на высшем уровне могло бы выполняться так, как это делается сейчас в системе STRIPS, а найденные планы затем могли бы проверяться с использованием более точного процедурного представления. [7]

Чтобы получить привычное треугольное расположение, нужна не одна инструкция печати, а столько, сколько строк в треугольной таблице. [8]

После того как STRIPS получает решение частной задачи, это решение обобщается и запоминается в специальном формате, называемом треугольной таблицей. В процессе обобщения специфические константы в полученном решении заменяются параметрами, в результате чего план, построенный системой STRIPS, оказывается применимым для целого семейства задач, включающего исходную задачу. Обобщенный план может быть использован как макрокомпонента в последующих планах. Такие макродействия называются MACROP ( макрооператор) и используются для управления выполнением плана. Грубо говоря, наше устройство управления исполнением PLANEX обладает следующей полезной способностью: если найденный для конкретной цели частный случай решения по какой-либо причине не удается выполнить, находится новый частный случай общего макрооператора. [9]

В частном случае, важном для приложений, которые мы имеем в виду, система допускает 2v исключительных комбинаций в области ( D), причем эти комбинации могут быть расположены в две треугольные таблицы. [10]

Мы предположим также, что две комбинации, расположенные на одной и той же горизон-талыюй линии, не тождественны с точностью до постоянного множителя, При этих условиях мы говорим, что система ( /) допускает 2v исключительных комбинаций, образующих две различные треугольные таблицы. В дальнейшем мы будем писать комбинации этих таблиц, употребляя коэфициент единица для функции, последней в каждой комбинации. [11]

Цифры в этой таблице над ( EF), ( BG) и ( AD) указывают число диодов, блокирующих Е от F, В от G и А от D. Пользуясь полученной матрицей ( треугольная таблица и табл. 15), определяют новый набор функций CI ( GB) и ( EF) / ( AD), дающий экономию четырех диодов. [12]

Приведенный пример объясняет необходимость использования в программе PLANEX определенного алгоритма. Алгоритм основан на понятии ядра треугольной таблицы. По определению, i - м ядром является единственная прямоугольная таблица, которая включает нижнюю клетку крайнего левого столбца и ряд i. В своей простейшей форме алгоритм PLANEX вызывает для выполнения оператор ОР - только в том случае, если ядро i является ядром с наибольшим номером, в котором все помеченные предложения истинны. Читатель может при желании проверить, что этот алгоритм действительно позволяет избежать упомянутых выше трудностей. [13]

Детальное описание процессов обучения и выполнения планов в нашей системе будет опубликовано в другой работе. Здесь же мы дадим краткое объяснение функции треугольных таблиц, поскольку обсуждение, представленное в разд. Читатель может, если пожелает, пока пропустить остальную часть данного раздела и вернуться к ней позднее. Пример треугольной таблицы представлен на фиг. Клетки, расположенные непосредственно под операторами, содержат предложения, добавляемые этим оператором в модель. [14]

Предыдущие результаты позволяют различные расширения. Ясно, что всякое обстоятельство, позволяющее утверждать существование для алгеброида двух различных треугольных таблиц, образованных исключительными комбинациями из коэфициентов уравнения, которое определяет этот алгеброид, приводит к высказываниям того же типа, что в предыдущем параграфе. [15]

Страницы: 1 2