Dismath: Discrete math gamified educational tool in logic with minimax algorithm and pruning
College
Gokongwei College of Engineering
Department/Unit
Electronics And Communications Engg
Document Type
Conference Proceeding
Source Title
2019 IEEE 11th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment, and Management, HNICEM 2019
Publication Date
11-1-2019
Abstract
This paper presents the design and development of Dismath, a gamified educational tool for propositional logic introduction to undergraduate computer engineering students. Additionally, an artificial intelligence (AI) agent is developed for the proposed Dismath game based on minimax tree search with alpha-beta pruning (MMAB). Dismath is an international checker variant inspired by Damath game in which operations are defined in every checkerboard positions. Thus, the final score is not only dependent on the pieces left but also in the operation results. In a capture move, the jumping chip is the first operand, the captured piece acts as the second operand, and the operation defined in the destination block where the chip landed after the jump is utilized for the binary operation. Instead of arithmetic operators, Dismath designates logical connectives on the checkerboard. All white and black pieces were assigned true and false truth values. For scoring, a true (T) and a false (F) truth values are calculated as +1 and -1, while a dama or king chip is valued +2 and -2 for White and Black pieces, respectively. If the game ends with a positive value, then white wins; otherwise black wins, unless the score is zero in which the outcome is draw. Board balancing experiments were conducted using the win-win ratio between the two random players as evaluation metric. Furthermore, the MMAB agent was characterized against a random player baseline. The results showed dominant performance of MMAB AI agent in proposed Dismath game losing only at depth equal to 1. Overall, this result is promising on its own demonstrating the automated gameplay of the proposed Dismath educational tool for logic introduction.
html
Digitial Object Identifier (DOI)
10.1109/HNICEM48295.2019.9072894
Recommended Citation
Cabatuan, M. (2019). Dismath: Discrete math gamified educational tool in logic with minimax algorithm and pruning. 2019 IEEE 11th International Conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment, and Management, HNICEM 2019 https://doi.org/10.1109/HNICEM48295.2019.9072894
Disciplines
Mathematics
Keywords
Gamification; Board games in education
Upload File
wf_yes