| Ленько Василь Степанович Методи та засоби управління персональними знаннями в інтелектуальних системах: автореф. дис. ... д.філософ : 124 - Системний аналіз / В. С. Ленько ; Національний університет "Львівська політехніка". — 2021 — укp.Основні наукові результати дисертації отримані у формі прикладних досліджень:● розроблено онтологічно-орієнтований метод подання бази знань в середовищі асистента доведення теорем Coq, що сприяє формалізації нових та існуючих онтологій, а також уможливлює застосування логік вищих порядків як інструменту підтримки прийняття рішення в інтелектуальних системах; ● розроблено архітектуру та програмну реалізацію інтелектуальної системи для управління персональними та колективними базами знань, яка володіє властивостями версійності, розподіленості, автономності та забезпечує можливість надійного підтвердження авторства;● розроблено приклади формального доведення істинності описових знань, зокрема, для задач проектного управління в ІТ-підприємстві, узгодженості матеріалів в мас-медіа та моделей інфраструктурних мереж, що сприяло перевірці гіпотез в напівавтоматичному режимі; ● здійснено порівняльний аналіз моделей подання знань, описової логіки та формальних систем теорії типів, а також особливостей їх застосування для подання знань різної природи, зокрема, описових речень природньої мови, логічних, математичних теорій та виразів; ● здійснено системний аналіз понять «знання» та «істинність знання», і арґументовано використання конструктивної логіки з метою усунення проблем Ґетьє, які компрометують традиційні методи обґрунтування істинності знання. Постачальник даних: УкрІНТЕІ (Український Інститут науково-технічної експертизи та Інформації) Завантажити автореферат З матеріалами дисертації можна ознайомитись в НРАТ (Національний репозитарій академічних текстів)
|