Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами

Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.