Эпистемическая логика в проблематике искусственного интеллекта : магистерская диссертация

Abstract

The thesis is focused on possible applications of the epistemic logic in the field of artificial intelligence studies. The first chapter deals with the origins and basic epistemic logic systems (the systems of J. Hintikka and M.Bezhanishvili). The second chapter presents examples of application of the epistemic logic methods in the artificial intelligence studies, and outlines problems and perspectives of said applications in the future.

Работа посвящена исследованию возможностей применения средств эпистемической логики в исследованиях искусственного интеллекта. В первой главе рассматриваются истоки и основные системы эпистемической логики (системы Я. Хинтикки и М. Н. Бежанишвили). Вторая глава предоставляет примеры применения средств эпистемической логики в исследованиях искусственного интеллекта, а также намечает проблемы и перспективы подобного применения в будущем.