title: Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð´Ð»Ñ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°ÑÐ¸ "Ð¢ÑÐ·Ñ Ð¸ Ð²Ð¾ÑÑÐ¼ÐµÑÐºÐ¸" Ð² ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐµ
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Developing software agent for decision task "Aces and eights" in epistemic logic
Creators: name: ÐÐ¾Ð»Ð¾ÑÐºÐ¾Ð², ÐÐ°ÑÐº
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2020
Subjects: ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ°Ñ Ð»Ð¾Ð³Ð¸ÐºÐ°
Ð¼ÑÐ»ÑÑÐ¸Ð°Ð³ÐµÐ½ÑÐ½ÑÐµ ÑÐ¸ÑÑÐµÐ¼Ñ
ÑÑÑÑÐºÑÑÑÑ ÐÑÐ¸Ð¿ÐºÐµ
ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½ÑÐµ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ
Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð² Ð¾Ð³ÑÐ°Ð½Ð¸ÑÐµÐ½Ð¸ÑÑ
Ð°Ð³ÐµÐ½ÑÐ½Ð¾Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
epistemic logic
multi-agent systems
Kripke structure
symbolic computation
constraint programming
agent simulation

description: Ð¢ÐµÐ¼Ð° Ð²ÑÐ¿ÑÑÐºÐ½Ð¾Ð¹ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â«Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð´Ð»Ñ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°ÑÐ¸ Â«Ð¢ÑÐ·Ñ Ð¸ Ð²Ð¾ÑÑÐ¼ÐµÑÐºÐ¸Â» Ð² ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐµÂ».
Ð Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÐµ Ð¸Ð·Ð»Ð¾Ð¶ÐµÐ½ Ð¿Ð¾Ð´ÑÐ¾Ð´ Ðº ÑÐµÑÐµÐ½Ð¸Ñ ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¸Ñ Ð·Ð°Ð´Ð°Ñ Ð´Ð»Ñ ÑÑÑÐ´ÐµÐ½ÑÐ¾Ð², Ð¸Ð·ÑÑÐ°ÑÑÐ¸Ñ Ð¼Ð¾Ð´Ð°Ð»ÑÐ½ÑÐµ Ð»Ð¾Ð³Ð¸ÐºÐ¸. Ð Ð°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸Ð·ÑÑÐµÐ½Ð¸Ñ ÑÐ¸Ð½ÑÐ°ÐºÑÐ¸ÑÐµÑÐºÐ¾-ÑÐµÐ¼Ð°Ð½ÑÐ¸ÑÐµÑÐºÐ¸Ñ Ð·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ÑÑÐµÐ¹ ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐ¸ Ð½Ð° Ð¿ÑÐ¸Ð¼ÐµÑÐµ Ð·Ð°Ð´Ð°ÑÐ¸ Â«Ð¢ÑÐ·Ñ Ð¸ Ð²Ð¾ÑÑÐ¼ÐµÑÐºÐ¸Â» Ð¸ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð´Ð»Ñ ÐµÑ ÑÐµÑÐµÐ½Ð¸Ñ. ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² ÑÐ¾Ð´Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ:
1. ÐÐ½Ð°Ð»Ð¸ÑÐ¸ÑÐµÑÐºÐ¾Ðµ ÑÐµÑÐµÐ½Ð¸Ðµ Ð·Ð°Ð´Ð°ÑÐ¸ Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ ÑÑÑÑÐºÑÑÑ ÐÑÐ¸Ð¿ÐºÐµ.
2. ÐÐ°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ°Ñ ÑÐ¾ÑÐ¼Ð°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð¿ÑÐ°Ð²Ð¸Ð» ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐ¸.
3. Ð ÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐºÐ¸ BuDDy.
4. ÐÐ¸Ð·ÑÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ Ð¸Ð³ÑÑ Â«Ð¢ÑÐ·Ñ Ð¸ ÐÐ¾ÑÑÐ¼ÐµÑÐºÐ¸Â» Ð² Ð¿Ð°ÐºÐµÑÐµ AnyLogic.
Ð ÑÐ¾Ð´Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð±ÑÐ»Ð° ÑÐ°Ð·Ð¾Ð±ÑÐ°Ð½Ð° ÑÐ²ÑÐ·Ñ Ð¼ÐµÐ¶Ð´Ñ ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¸Ð¼Ð¸ ÑÐ¾ÑÐ¼ÑÐ»Ð°Ð¼Ð¸ Ð¸ ÑÑÑÑÐºÑÑÑÐ°Ð¼Ð¸ ÐÑÐ¸Ð¿ÐºÐµ. ÐÐ°Ð¿Ð¸ÑÐ°Ð½Ð° Ð³ÑÐ°Ð¼Ð¼Ð°ÑÐ¸ÐºÐ° ÑÐ·ÑÐºÐ° ÑÐ¿Ð¸ÑÑÐµÐ¼Ð¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐ¸. ÐÐ»Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ ÑÐ¾ÑÐ¼Ð°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¹ Ð·Ð½Ð°Ð½Ð¸Ð¹ Ð°Ð³ÐµÐ½ÑÐ¾Ð² Ð±ÑÐ»Ð¸ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ñ ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½ÑÐµ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ. ÐÐ»Ñ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð±ÑÐ»Ð° Ð²ÑÐ±ÑÐ°Ð½Ð° Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐºÐ° BuDDy, Ð¾Ð¿Ð¸ÑÑÐ²Ð°ÑÑÐ°Ñ BDD.
Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð±ÑÐ» Ð½Ð°Ð¿Ð¸ÑÐ°Ð½ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼ ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½Ð¾Ð³Ð¾ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°ÑÐ¸ Â«Ð¢ÑÐ·Ñ Ð¸ Ð²Ð¾ÑÑÐ¼ÐµÑÐºÐ¸Â». Ð¢Ð°ÐºÐ¶Ðµ Ð±ÑÐ» ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÐ¹ Ð°Ð³ÐµÐ½Ñ, ÑÐµÑÐ°ÑÑÐ¸Ð¹ Ð´Ð°Ð½Ð½ÑÑ Ð·Ð°Ð´Ð°ÑÑ, Ð¸ ÑÐ¾Ð·Ð´Ð°Ð½Ð° Ð¼Ð¾Ð´ÐµÐ»Ñ, Ð²Ð¸Ð·ÑÐ°Ð»Ð¸Ð·Ð¸ÑÑÑÑÐ°Ñ Ð¸Ð³ÑÐ¾Ð²Ð¾Ð¹ Ð¿ÑÐ¾ÑÐµÑÑ.
description: 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.