151: Комп'ютерні науки
Permanent URI for this collection
Browse
Browsing 151: Комп'ютерні науки by Subject "algorithm of unification"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Використання генетичних алгоритмів для розв' язку задач уніфікації(2013) Жежерун, Олександр; Мельничук, ВасильЗадача уніфікації є однією з класичних задач штучного інтелекту, використовується в системах логічного виводу. Традиційний шлях її вирішення потребує великих обсягів обчислень, у загальному випадку - експоненційний. Тому задача пошуку уніфікатора нетрадиційним шляхом, який, можливо, скорочує цей шлях, для наведених класів задач виглядає актуальним. Використання генетичних алгоритмів дозволяє отримати додатковий спосіб у вирішенні проблеми уніфікації.