title: Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð´Ð»Ñ Ð¾Ð±ÑÑÐ°ÑÑÐµÐ³Ð¾ ÑÑÐµÐ½Ð°Ð¶ÐµÑÐ° "ÐÐ¸Ñ ÐÐ°Ð¼Ð¿ÑÑÐ°"
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Development of a logical agent for the "Wumpus world" training simulator
Creators: name: Ð§ÐµÑÐ½Ð¾ÑÑÐ¾Ð²Ð°, Ð¡Ð¾ÑÑÑ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2020
Subjects: Ð¼Ð¸Ñ ÐÐ°Ð¼Ð¿ÑÑÐ°
Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ Ð² Ð¾Ð³ÑÐ°Ð½Ð¸ÑÐµÐ½Ð¸ÑÑ
Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ð¹ Ð°Ð³ÐµÐ½Ñ
Ð±Ð¸Ð½Ð°ÑÐ½ÑÐµ ÑÐµÑÐ°ÑÑÐ¸Ðµ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼Ñ
ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½ÑÐµ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ
Ð»Ð¾Ð³Ð¸ÐºÐ° Ð²ÑÑÐºÐ°Ð·ÑÐ²Ð°Ð½Ð¸Ð¹
Ð»Ð¾Ð³Ð¸ÐºÐ° Ð¿ÑÐµÐ´Ð¸ÐºÐ°ÑÐ¾Ð²
Wumpus world
constraint satisfaction problem
logical agent
binary decision diagram
computer algebra
propositional logic
predicate logic

description: Ð Ð°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼Ðµ Ð¾Ð±ÑÑÐµÐ½Ð¸Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐµ Ð½Ð° Ð´Ð¸ÑÑÐ°Ð½ÑÐ¸Ð¾Ð½Ð½ÑÑ Ð¿Ð»Ð°ÑÑÐ¾ÑÐ¼Ð°Ñ. ÐÑÐ¸ Ð´Ð¸ÑÑÐ°Ð½ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¼ Ð¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ð¸ Ð²Ð¾Ð·Ð½Ð¸ÐºÐ°ÐµÑ Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼Ð°, ÐºÐ°Ðº Ð½Ð°Ð³Ð»ÑÐ´Ð½Ð¾ Ð¿ÑÐ¾Ð´ÐµÐ¼Ð¾Ð½ÑÑÑÐ¸ÑÐ¾Ð²Ð°ÑÑ Ð¿ÑÐ¸Ð¼ÐµÐ½Ð¸Ð¼Ð¾ÑÑÑ ÑÐµÐ¾ÑÐµÑÐ¸ÑÐµÑÐºÐ¸Ñ ÐºÐ¾Ð½ÑÐµÐ¿ÑÐ¸Ð¹ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐ¸ Ð½Ð° Ð¿ÑÐ°ÐºÑÐ¸ÐºÐµ. Ð¡ÑÑÐµÑÑÐ²ÑÑÑÐ¸Ðµ ÑÐ¾ÑÐ¼Ñ Ð½Ðµ Ð¾Ð±ÐµÑÐ¿ÐµÑÐ¸Ð²Ð°ÑÑ Ð²Ð¾Ð²Ð»ÐµÑÐµÐ½Ð½Ð¾ÑÑÐ¸ ÑÐ»ÑÑÐ°ÑÐµÐ»ÐµÐ¹ Ð² Ð¿ÑÐ¾ÑÐµÑÑ Ð¾Ð±ÑÑÐµÐ½Ð¸Ñ. ÐÐ¾ÑÑÐ¾Ð¼Ñ Ð² Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÐµ Ð¿ÑÐµÐ´Ð»Ð°Ð³Ð°ÐµÑÑÑ Ð¿ÑÐ¾Ð´ÐµÐ¼Ð¾Ð½ÑÑÑÐ¸ÑÐ¾Ð²Ð°ÑÑ Ð¿ÑÐ¸Ð¼ÐµÐ½Ð¸Ð¼Ð¾ÑÑÑ Ð¼ÐµÑÐ¾Ð´Ð¾Ð² Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐ¸ Ð¸Ð· Ð²Ð²Ð¾Ð´Ð½Ð¾Ð³Ð¾ ÐºÑÑÑÐ° Ð¿ÑÐ¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ñ Ð°Ð³ÐµÐ½ÑÐ¾Ð², Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÐ¼ÑÑ, Ð½Ð°Ð¿ÑÐ¸Ð¼ÐµÑ, Ð¿ÑÐ¸ ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ð¸ ÑÐ¸ÑÑÐµÐ¼ Ð¸ÑÐºÑÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð³Ð¾ Ð¸Ð½ÑÐµÐ»Ð»ÐµÐºÑÐ°. 
ÐÐ°Ð·Ð¾Ð²Ð¾Ð¹ Ð·Ð°Ð´Ð°ÑÐµÐ¹ ÑÐ°Ð±Ð¾ÑÑ ÑÐ²Ð»ÑÐµÑÑÑ Ð·Ð°Ð´Ð°ÑÐ° Â«ÐÐ¸Ñ ÐÐ°Ð¼Ð¿ÑÑÐ°Â». ÐÐµÐ¾Ð±ÑÐ¾Ð´Ð¸Ð¼Ð¾ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°ÑÑ Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð½Ð¾Ð³Ð¾ Ð½Ð° Ð·Ð½Ð°Ð½Ð¸ÑÑ ÑÐµÐ°Ð³Ð¸ÑÑÑÑÐµÐ³Ð¾ Ð°Ð³ÐµÐ½ÑÐ°, ÑÐ¿Ð¾ÑÐ¾Ð±Ð½Ð¾Ð³Ð¾ Ð¿ÑÐ¸Ð½Ð¸Ð¼Ð°ÑÑ ÑÐµÑÐµÐ½Ð¸Ñ Ð² Ð·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ÑÑÐ¸ Ð¾Ñ Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¸, Ð¿Ð¾ÑÑÑÐ¿Ð°ÑÑÐµÐ¹ ÑÐµÑÐµÐ· ÐµÐ³Ð¾ Ð´Ð°ÑÑÐ¸ÐºÐ¸ Ð¸ Ð´ÐµÐ¹ÑÑÐ²Ð¸Ð¹, ÑÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÑ Ð² ÐµÐ³Ð¾ Ð±Ð°Ð·Ðµ Ð·Ð½Ð°Ð½Ð¸Ð¹. 
ÐÑÐµ Ð¿ÑÐ°Ð²Ð¸Ð»Ð° Ð¼Ð¸ÑÐ° ÐÐ°Ð¼Ð¿ÑÑÐ° Ð¸ Ð·Ð½Ð°Ð½Ð¸Ñ Ð°Ð³ÐµÐ½ÑÐ° Ð±ÑÐ»Ð¸ ÑÐ¾ÑÐ¼Ð°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ñ Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ ÑÐ·ÑÐºÐ° Ð»Ð¾Ð³Ð¸ÐºÐ¸ Ð²ÑÑÐºÐ°Ð·ÑÐ²Ð°Ð½Ð¸Ð¹ Ð¸ Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ñ Ð² Ð²Ð¸Ð´Ðµ Ð±Ð¸Ð½Ð°ÑÐ½ÑÑ ÑÐµÑÐ°ÑÑÐ¸Ñ Ð´Ð¸Ð°Ð³ÑÐ°Ð¼Ð¼, Ð° Â«Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸ÐµÂ» Ð¼Ð¸ÑÐ° ÐÐ°Ð¼Ð¿ÑÑÐ° Ð¾ÑÑÑÐµÑÑÐ²Ð»ÑÐµÑÑÑ Ð°Ð³ÐµÐ½ÑÐ¾Ð¼ Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð²ÑÐ²Ð¾Ð´Ð° Ð¸ ÑÐ¸Ð¼Ð²Ð¾Ð»ÑÐ½ÑÑ Ð²ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ð¹. 
Ð¦ÐµÐ»Ñ ÑÐ°Ð±Ð¾ÑÑ â ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð³Ð¾ Ð°Ð³ÐµÐ½ÑÐ° Ð¼Ð¸ÑÐ° ÐÐ°Ð¼Ð¿ÑÑÐ° Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ Ð¼ÐµÑÐ¾Ð´Ð¾Ð² Ð²Ð²Ð¾Ð´Ð½Ð¾Ð³Ð¾ ÐºÑÑÑÐ° Ð¿Ð¾ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð»Ð¾Ð³Ð¸ÐºÐµ.
ÐÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð°Ñ ÑÐ°ÑÑÑ ÑÐ°Ð±Ð¾ÑÑ Ð½Ð°Ð¿Ð¸ÑÐ°Ð½Ð° Ð½Ð° ÑÐ·ÑÐºÐµ C++ Ñ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸ÐµÐ¼ Ð±Ð¸Ð±Ð»Ð¸Ð¾ÑÐµÐºÐ¸ BuDDy Ð² Ð¸Ð½ÑÐµÐ³ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð¹ ÑÑÐµÐ´Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸ Visual Studio. 
Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð±ÑÐ» ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½ Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ð¹ Ð°Ð³ÐµÐ½Ñ, ÐºÐ¾ÑÐ¾ÑÑÐ¹ Ð²Ð¿Ð¾ÑÐ»ÐµÐ´ÑÑÐ²Ð¸Ð¸ Ð¿Ð»Ð°Ð½Ð¸ÑÑÐµÑÑÑ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÑ Ð² ÐºÐ°ÑÐµÑÑÐ²Ðµ ÐºÐ»ÑÑÐµÐ²Ð¾Ð³Ð¾ Ð¼Ð¾Ð´ÑÐ»Ñ Ð´Ð»Ñ Ð¾Ð±ÑÑÐ°ÑÑÐµÐ³Ð¾ ÑÑÐµÐ½Ð°Ð¶ÐµÑÐ° Â«ÐÐ¸Ñ ÐÐ°Ð¼Ð¿ÑÑÐ°Â».
description: This thesis examines problem of teaching mathematical logic on online courses. There is a problem in e-learning in how to demonstrate the applicability of theoretical concepts of mathematical logic in practice. Existing forms do not ensure students involvement in learning process. Therefore, this thesis proposes to demonstrate the applicability of mathematical logic from the introductory course in the development of logical agents that are for example used in the creation of artificial intelligence systems. 
Â«Wumpus WorldÂ» problem is the basic issue of this thesis. It is required to develop a knowledge-based reactive agent capable of making decisions depending on the information coming through its sensors and actions formed in its knowledge base. 
Objective of the work is to develop a program agent of the Wumpus world using the methods of introductory course on mathematical logic.
All the Wumpus world rules and the agent knowledge are formalized with propositional logic and represented in the form of binary decision diagrams, and Wumpus world Â«explorationÂ» is carried out by the agent using inference and computer algebra. 
The program part of the thesis is written in C++ language using BuDDy library in Visual Studio integrated development environment. 
As a result, a logical agent was developed which is later planned to be used as a key module for the "Wumpus world" training simulator.