Ковальчук І. А. Проблема репрезентації знання в епістемічній логіці (історико-логічний аспект) : автореф. дис. ... канд. філософ. наук : 09.00.06 / І. А. Ковальчук; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 17 c. - укp.Проаналізовано формальні засоби та методи епістемічної логіки, що дозволяють аналізувати знання людських агентів і моделювати знання штучних інтелектуальних систем. Систематизовано історію розвитку епістемічної логіки, проаналізовано передумови її виникнення та головні періоди розвитку. З'ясовано суміжні галузі досліджень, серед яких епістемологія, комп'ютерні науки тощо. Розглянуто особливості логічного підходу до аналізу знання та детальний опис його властивостей, які враховуються в аксіоматичних системах епістемічної логіки. Наведено обгрунтування семантик для різних систем епістемічної логіки, вказуючи на проблеми, що можуть виникнути за інтерпретації ситуацій зі знанням. Проаналізовано формальні засоби та методи логіки публічних оголошень та логіки епістемічних дій, які є динамічними варіантами епістемічної логіки. Продемонстровано на прикладах можливості формального апарату епістемічної логіки для аналізу знання. Індекс рубрикатора НБУВ: Ю0 в017:Ю22 + Ю0 в2:З81
Рубрики:
Шифр НБУВ: РА386686 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|