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

• Ковальчук Ірина Андріївна (національна безпека)
• Ковальчук Іван Анатолійович (філософські науки)
• Ковальчук Ірина Андріївна (педагогічні науки)
• Ковальчук Ірина Анатоліївна (педагогічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"