Комісаренко Д. Ю. Формалізоване проектування природно-мовних діалогових комп'ютерних систем

Об'єкт дослідження - процес природно-мовної діалогової взаємодії між користувачем та комп'ютерною системою; предмет дослідження - методи моделювання природно-мовного інтерфейсу; методи дослідження - методи теорії формальних граматик і побудови компіляторів та теорії скінченних автоматів; мета дослідження - розробка математичного, алгоритмічного, програмного і методичного забезпечення для моделювання природно-мовних комп’ютерних систем; теоретичні і практичні результати - нові підходи до моделювання, перевірки та імплементації систем з природно-мовним інтерфейсом, нова модель діалогової взаємодії системи з користувачем; ступінь впровадження - в межах галузі; сфера (галузь) використання - людино-машинні системи з природно-мовним інтерфейсом.