151: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
- ItemВикористання генетичних алгоритмів для розв' язку задач уніфікації(2013) Жежерун, Олександр; Мельничук, ВасильЗадача уніфікації є однією з класичних задач штучного інтелекту, використовується в системах логічного виводу. Традиційний шлях її вирішення потребує великих обсягів обчислень, у загальному випадку - експоненційний. Тому задача пошуку уніфікатора нетрадиційним шляхом, який, можливо, скорочує цей шлях, для наведених класів задач виглядає актуальним. Використання генетичних алгоритмів дозволяє отримати додатковий спосіб у вирішенні проблеми уніфікації.
- ItemМеметичний алгоритм для евклідової задачі Штейнера(2013) Євтушенко, ОльгаЗапропоновано евристику для евклідової задачі Штейнера на основі меметичного алгоритму. Описано основні кроки алгоритму з детальним поясненням ключових процедур.
- ItemResearching semistructured problems of multicriteria optimization using the software system(2013) Tryhub, Roman; Tryhub, Oleksandr; Horborukov, V. V.Develop the optimal decision support system for solving semistructured problems of multicriteria optimization, which can be used by individual or collegial body who take responsible decisions. Currently existing software tools, which solve this class problems are limited only by finding the best alternative, whereas the proposed system also (in addition to solving this problem) allows to develop instructions ("guidelines for actions ”) for any of losing alternatives so that the observance of them will guarantee the winning for this alternative.
- ItemЧислення секвенційного типу для чистих першопорядкових логік квазіарних предикатів(2013) Шкільняк, СтепанДля чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують предикати-індикатори наявності значень для змінних. Такі числення пропоновано для логік кванторного та кванторно-екваційного рівнів. Для цих числень доведено теореми коректності й повноти.
- ItemТранзиційні композиційно-номінативні модальні логіки та їх числення(2013) Шкільняк, ОксанаДосліджено програмно-орієнтовні логічні формалізми модального типу - транзиційні композиційно-номінативні модальні логіки. В межах цих логік можна виділити мультимодальні, темпоральні, епістемічні композиційно-номінативні логіки еквітонних предикатів. Для таких логік побудовано першопорядкові числення секвенційного типу.