Пошук академічних текстів

Інформація × Реєстраційний номер 0821U100241, Дисертація доктора філософії На здобуття Доктор філософії Дата захисту 09-02-2021 Статус Запланована Назва роботи Методи та засоби управління персональними знаннями в інтелектуальних системах Здобувач Ленько Василь Степанович, Керівник Пасічник Володимир Володимирович Опонент Турбал Юрій Васильович Опонент Лупенко Сергій Анатолійович Рецензент Буров Євген Вікторович Рецензент Литвин Василь Володимирович Опис Основні наукові результати дисертації отримані у формі прикладних досліджень: ● розроблено онтологічно-орієнтований метод подання бази знань в середовищі асистента доведення теорем Coq, що сприяє формалізації нових та існуючих онтологій, а також уможливлює застосування логік вищих порядків як інструменту підтримки прийняття рішення в інтелектуальних системах; ● розроблено архітектуру та програмну реалізацію інтелектуальної системи для управління персональними та колективними базами знань, яка володіє властивостями версійності, розподіленості, автономності та забезпечує можливість надійного підтвердження авторства; ● розроблено приклади формального доведення істинності описових знань, зокрема, для задач проектного управління в ІТ-підприємстві, узгодженості матеріалів в мас-медіа та моделей інфраструктурних мереж, що сприяло перевірці гіпотез в напівавтоматичному режимі; ● здійснено порівняльний аналіз моделей подання знань, описової логіки та формальних систем теорії типів, а також особливостей їх застосування для подання знань різної природи, зокрема, описових речень природньої мови, логічних, математичних теорій та виразів; ● здійснено системний аналіз понять «знання» та «істинність знання», і арґументовано використання конструктивної логіки з метою усунення проблем Ґетьє, які компрометують традиційні методи обґрунтування істинності знання. Дата реєстрації 2021-02-13 Додано в НРАТ 2021-02-13 Закрити