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

Simple item page
dc.contributor.authorБолгар, Ю.
dc.contributor.authorЖежерун, Олександр
dc.date.accessioned2014-11-27T08:21:38Z
dc.date.available2014-11-27T08:21:38Z
dc.date.issued2014
dc.descriptionSecond-order unification problem is undecidable in general case, but the decidability has been proven for lambda-algebra of second-order terms with unary functional symbols. The standard algorithm of second-order unification has an exponential complexity, while genetic algorithm with the use of special metrics as fitness function is an alternative and effective way of finding a unificator.en_US
dc.description.abstractЗадача уніфікації другого порядку у загальному випадку є нерозв’язною, хоча для окремої лямбда-алгебри термів другого порядку із одномісними функціональними символами її розв’язність доведено. Стандартний алгоритм уніфікації термів другого порядку має експоненційну складність, а генетичний алгоритм із використанням спеціальних метрик як функцій пристосованості є альтернативним способом ефективного знаходження уніфікатора.uk_UA
dc.identifier.citationБолгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Болгар Ю. О., Жежерун О. П. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 19-24.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/3401
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 19-24.uk_UA
dc.statuspublished earlieruk_UA
dc.subjectлямбда-алгебраuk_UA
dc.subjectуніфікація другого порядкуuk_UA
dc.subjectгенетичний алгоритмuk_UA
dc.subjectвідстань Дамерау-Левенштейнаuk_UA
dc.subjectвідстань Джаро-Уінклераuk_UA
dc.subjectстаттяuk_UA
dc.subjectlambda-algebraen_US
dc.subjectsecond-order unificationen_US
dc.subjectgenetic algorithmen_US
dc.subjectDamarau-Levenshtein distanceen_US
dc.subjectJaro-Winkler distanceen_US
dc.titleЗастосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символамиuk_UA
dc.title.alternativeThe application of genetic algorithms for unification of second-order terms with unary functional symbolsen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Bolhar_Zastosuvannia_henetychnykh_alhorytmiv .pdf
Size:
283.48 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
163: Комп'ютерні науки