Search academic texts

Information × Registration Number 0821U100241, PhD dissertation Status Доктор філософії Date 09-02-2021 popup.evolution o Title Methods and tools for personal knowledge management in intelligent systems Author Lenko Vasyl S, popup.head Pasichnyk Volodymyr Volodymyrovych popup.opponent Turbal Yurii V. popup.opponent Lupenko Serhii A. popup.review Burov Yevhen V. popup.review Lytvyn Vasyl V. Description Основні наукові результати дисертації отримані у формі прикладних досліджень: ● розроблено онтологічно-орієнтований метод подання бази знань в середовищі асистента доведення теорем Coq, що сприяє формалізації нових та існуючих онтологій, а також уможливлює застосування логік вищих порядків як інструменту підтримки прийняття рішення в інтелектуальних системах; ● розроблено архітектуру та програмну реалізацію інтелектуальної системи для управління персональними та колективними базами знань, яка володіє властивостями версійності, розподіленості, автономності та забезпечує можливість надійного підтвердження авторства; ● розроблено приклади формального доведення істинності описових знань, зокрема, для задач проектного управління в ІТ-підприємстві, узгодженості матеріалів в мас-медіа та моделей інфраструктурних мереж, що сприяло перевірці гіпотез в напівавтоматичному режимі; ● здійснено порівняльний аналіз моделей подання знань, описової логіки та формальних систем теорії типів, а також особливостей їх застосування для подання знань різної природи, зокрема, описових речень природньої мови, логічних, математичних теорій та виразів; ● здійснено системний аналіз понять «знання» та «істинність знання», і арґументовано використання конструктивної логіки з метою усунення проблем Ґетьє, які компрометують традиційні методи обґрунтування істинності знання. Registration Date 2021-02-13 popup.nrat_date 2021-02-13 Close