Мажара О. О. Програмний інструментарій розробки продукційних систем з урахуванням обмежених ресурсів

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0416U003419

Здобувач

Спеціальність

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

09-06-2016

Спеціалізована вчена рада

Д 26.001.09

Київський національний університет імені Тараса Шевченка

Анотація

Дисертація присвячена вирішенню проблеми створення теоретичних та алгоритмічних основ розробки продукційних систем з мінімальними затратами на логічне виведення заключення за критеріями швидкодії та/або ресурсоємності. Розроблено формалiзацiю співставлення зі зразком за Treat способом в термінах логіки першого порядку для створення формальних засад порівняння базових способів співставлення зі зразком. Запропоновано програмне середовище експериментального визначення оптимального способу співставлення в поточній прикладній задачі.

Файли

Схожі дисертації