Ковальчук І. А. Проблема репрезентації знання в епістемічній логіці (історико-логічний аспект)

Дисертаційне дослідження присвячено аналізу формальних засобів та методів епістемічної логіки, що дозволяють аналізувати знання людських агентів та моделювати знання штучних інтелектуальних систем. У дисертації систематизується історія розвитку епістемічної логіки, аналізуються передумови її виникнення та головні періоди розвитку. З'ясовуються суміжні галузі досліджень, серед яких епістемологія, комп'ютерні науки тощо. Велика увага приділяється дослідженню особливостей логічного підходу до аналізу знання та детальному опису його властивостей, які враховуються в аксіоматичних системах епістемічної логіки. Автор наводить обґрунтування семантик для різних систем епістемічної логіки, вказуючи на проблеми, що можуть виникнути при інтерпретації ситуацій зі знанням. Особлива увага приділяється ретельному аналізу формальних засобів та методів логіки публічних оголошень та логіки епістемічних дій, які є динамічними варіантами епістемічної логіки. Продемонстровано на прикладах можливості формального апарату епістемічної логіки для аналізу знання.