К главе 15

Задача 15.1

Описанная система продукций для передвижения мебели не имеет продукций, которые обслуживали бы функцию MAKESPACE (ОСВОБОДИТЬ-МЕСТО) р системе манипулирования блоками. Введите эту функцию за счет добавления продукций, которые полностью освобождали бы целевой объект. Требуются весьма небольшие изменения.

Задача 15.2

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

Задача 15.3

Программа STUDENT Боброва переводит словесные задачи на язык алгебраических выражений в ходе двухшагового процесса: перевод сложных предложений в простые предложения и перевод простых предложений на Лисп. Первый перевод осуществляется путем поиска определенных ситуаций и соответствующих реакций:

Реализуйте это не на Лиспе, а в рамках некоторой системы продукций. Вы можете воспользоваться при желании модифицированной системой сопоставления для систем продукций. Предположите, что вся формулировка задачи, которую предстоит транслировать, хранится в кратковременной памяти, в том формате, который вам удобен. Результат должен быть записан также в кратковременную память.

Задача 15.4

Напишите компилятор для трансляции продукций в коды языка Лисп.

Задача 15.5

Напишите интерпретатор для смоделированной расширенной сети переходов. Эта задача может вам показаться более трудной, чем написание компилятора для расширенной сети переходов.

Задача 15.6

Дайте критику следующих утверждений: (а) Лингвистическая система могла бы быть написана на любом языке программирования, по мощности сравнимого с ПЛ/I, Фортраном, АПЛ, Коболом, или на любом хорошем языке ассемблера, (б) Вычислительные машины никогда не смогут стать разумными,, потому что они делают лишь то, что было запрограммировано.