Search academic texts

Information × Registration Number 0412U001114, Candidate dissertation Status к.філос.н. Date 16-01-2012 popup.evolution o Title The problem of knowledge representation in epistemic logic (historical and logical aspect) Author Kovalchuk Ivan, popup.head Khomenko I. V. popup.opponent Навроцький Володимир В'ячеславович popup.opponent Зайцев Дмитро Володимирович Description Дисертаційне дослідження присвячено аналізу формальних засобів та методів епістемічної логіки, що дозволяють аналізувати знання людських агентів та моделювати знання штучних інтелектуальних систем. У дисертації систематизується історія розвитку епістемічної логіки, аналізуються передумови її виникнення та головні періоди розвитку. З'ясовуються суміжні галузі досліджень, серед яких епістемологія, комп'ютерні науки тощо. Велика увага приділяється дослідженню особливостей логічного підходу до аналізу знання та детальному опису його властивостей, які враховуються в аксіоматичних системах епістемічної логіки. Автор наводить обґрунтування семантик для різних систем епістемічної логіки, вказуючи на проблеми, що можуть виникнути при інтерпретації ситуацій зі знанням. Особлива увага приділяється ретельному аналізу формальних засобів та методів логіки публічних оголошень та логіки епістемічних дій, які є динамічними варіантами епістемічної логіки. Продемонстровано на прикладах можливості формального апарату епістемічної логіки для аналізу знання. Registration Date 2012-01-16 popup.nrat_date 2020-04-04 Close