Ленько В.C. Методи та засоби управління персональними знаннями в інтелектуальних системах. – Кваліфікаційна наукова праця на правах рукопису. Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 124 «Системний аналіз» (12 – Інформаційні технології). – Національний університет «Львівська політехніка», Львів, 2020.

У дисертаційній роботі здійснено системний аналіз методів та засобів управління персональними знаннями як необхідної компоненти для раціональної поведінки інтелектуального агента. Методами системного аналізу досліджено концепт «знання», властивості та ролі поняття «подання знання», еволюцію та множину найпоширеніших моделей подання знання, а також їхні обчислювальні можливості, що втілюють процес міркування. У дослідженні запропоновано нові підходи до застосування формальних логічних моделей, а саме описових логік і теорій типів. Запропоновано метод подання онтологій в програмному середовищі доведення теорем Coq і розроблено моделі баз знань з використанням зазначених логічних формалізмів для управління знаннями в інформаційних системах, масмедіа і транспортних мережах.

Ключові слова: системний аналіз, знання, логіка, числення конструкцій, Coq, описова логіка, онтологія, блокчейн, розподілена система, Git