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

Інформація × Реєстраційний номер 0412U001114, Кандидатська дисертація На здобуття к.філос.н. Дата захисту 16-01-2012 Статус Запланована Назва роботи Проблема репрезентації знання в епістемічній логіці (історико-логічний аспект) Здобувач Ковальчук Іван Анатолійович, Керівник Хоменко Ірина Вікторівна Опонент Навроцький Володимир В'ячеславович Опонент Зайцев Дмитро Володимирович Опис Дисертаційне дослідження присвячено аналізу формальних засобів та методів епістемічної логіки, що дозволяють аналізувати знання людських агентів та моделювати знання штучних інтелектуальних систем. У дисертації систематизується історія розвитку епістемічної логіки, аналізуються передумови її виникнення та головні періоди розвитку. З'ясовуються суміжні галузі досліджень, серед яких епістемологія, комп'ютерні науки тощо. Велика увага приділяється дослідженню особливостей логічного підходу до аналізу знання та детальному опису його властивостей, які враховуються в аксіоматичних системах епістемічної логіки. Автор наводить обґрунтування семантик для різних систем епістемічної логіки, вказуючи на проблеми, що можуть виникнути при інтерпретації ситуацій зі знанням. Особлива увага приділяється ретельному аналізу формальних засобів та методів логіки публічних оголошень та логіки епістемічних дій, які є динамічними варіантами епістемічної логіки. Продемонстровано на прикладах можливості формального апарату епістемічної логіки для аналізу знання. Дата реєстрації 2012-01-16 Додано в НРАТ 2020-04-04 Закрити