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

Simple item page
dc.contributor.authorЖежерун, Олександр
dc.contributor.authorМельничук, Василь
dc.date.accessioned2014-03-20T12:46:19Z
dc.date.available2014-03-20T12:46:19Z
dc.date.issued2013
dc.description.abstractЗадача уніфікації є однією з класичних задач штучного інтелекту, використовується в системах логічного виводу. Традиційний шлях її вирішення потребує великих обсягів обчислень, у загальному випадку - експоненційний. Тому задача пошуку уніфікатора нетрадиційним шляхом, який, можливо, скорочує цей шлях, для наведених класів задач виглядає актуальним. Використання генетичних алгоритмів дозволяє отримати додатковий спосіб у вирішенні проблеми уніфікації.uk_UA
dc.description.abstractA task of unification is one of classic task of artificial intelligence, used in the inference systems. The traditional way needs the large volumes of calculations, in general case of exponent scale. Therefore task of searching of unificator by an unconventional way looks actual. The use of genetic algorithms allows to get an additional method in the decision of problem of unification.en_US
dc.identifier.citationЖежерун О. П. Використання генетичних алгоритмів для розв' язку задач уніфікації/ Жежерун О. П., Мельничук В. М. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 14-20.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/2891
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 14-20.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.subjectlogical programmingen_US
dc.subjectfirst-order theoryen_US
dc.subjectalgorithm of unificationen_US
dc.subjectgenetic algorithmen_US
dc.titleВикористання генетичних алгоритмів для розв' язку задач уніфікаціїuk_UA
dc.title.alternativeThe use of genetic algorithms for decision of unification tasksen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Zhezherun_Melnychuk_Vykorystanniahenetychnykh_alhorytmiv.pdf
Size:
383.96 KB
Format:
Adobe Portable Document Format
Description:
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
151: Комп'ютерні науки
Кафедра мультимедійних систем