Тема выпускной квалификационной работы: «Разработка программного агента для решения задачи «Тузы и восьмерки» в эпистемической логике». В данной работе изложен подход к решению эпистемических задач для студентов, изучающих модальные логики. Работа посвящена изучению синтаксическо-семантических зависимостей эпистемической логики на примере задачи «Тузы и восьмерки» и реализации программного агента для её решения. Задачи, которые решались в ходе исследования: 1. Аналитическое решение задачи с помощью структур Крипке. 2. Математическая формализация правил эпистемической логики. 3. Реализация программного агента с помощью библиотеки BuDDy. 4. Визуализация игры «Тузы и Восьмерки» в пакете AnyLogic. В ходе исследования была разобрана связь между эпистемическими формулами и структурами Крипке. Написана грамматика языка эпистемической логики. Для математической формализаций знаний агентов были использованы символьные вычисления. Для реализации программного агента была выбрана библиотека BuDDy, описывающая BDD. В результате был написан алгоритм символьного решения задачи «Тузы и восьмерки». Также был разработан программный агент, решающий данную задачу, и создана модель, визуализирующая игровой процесс.

The subject of the graduate qualification work is «Developing software agent for solving the epistemic task “Aces and eights” ». The bachelor's thesis examines an approach to solution of an epistemic task for students studying modal logics. The work is devoted to the learning of the syntactic-semantic dependencies of epistemic logic using the example "Aces and Eights" and the development of a software agent for its solution. The research set the following goals: 1. The analytical solution of the task using Kripke structures. 2. The mathematical formalization of the epistemic rules. 3. Implementation a software agent using the BuDDy library. 4. Visualization of the game “Aces and Eights” in the AnyLogic package. During the study, the relationship between epistemic formulas and Kripke structures was disassembled. A grammar of the language of epistemic logic was written. Symbolic computations were used for mathematical formalization of agent knowledge. The BuDDy library was selected for working with BDD to implement the software agent. As a result, an algorithm for the symbolic solution of the problem "Aces and Eights" was written. A software agent that solves this problem was also developed, and a model visualizing the gameplay was created.