Формальная запись задачи унификации, представление продукции и выражения в виде дерева. Преобразование выражения в префиксную форму и определение классов для реализации алгоритма. Операции проверки применимости продукций и замены свободных переменных.
24.01.2011 |
Проектирование интеллектуальных систем |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 69
