Gamification of Problem Solving Process Based on Logical Rules

  • Fedor NovikovEmail author
  • Viktor KatsmanEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11169)


One of the main elements of the modern educational process in the field of IT is the solution of logical-combinatorial problems. When solving such problems, learners need to build a new solution based on the set of basic operations studied before being combined according to certain rules. To consolidate these skills, leaner need to solve a reasonable number of problems that leads to need of verification of a huge number of solutions.

Many systems allow us to automate the verification of solutions. In most cases, these systems check pure answer only, but not the progress of the solution itself. Such a method of verification does not exclude the possibility of obtaining the correct answer and the credited task with an incorrect or inconsistent solution.

We propose a method for verifying the solution of problems, based on search of valid transformations, or stepwise refinements, similar to search for proof in logical calculi. This means that, the system at each step effectively sorts out all possible transformations, trying to find one that the learner applied. In this case, the system not only can find an error in the solution, but also indicate the source of this error, which is wrong transition between steps.

In addition to automatically verifying the solutions, this approach allows us to generate tasks that require the application of specific rules. Also the application of the rules can be interpreted as “moves” in the intellectual game. Then the solution of the problem turns into a game process, and the correct solution corresponds to a sequence of steps leading to the victory in the game.

The proposed approach was tested on students of the junior courses and showed good results. Namely, in the conducted experiments the efficiency of the teacher’s work when checking solutions increased more than 4 times.


Education Problem solution Learning automation Logical rules Stepwise refinement 


  1. 1.
    Vene, V.: Comparing different styles of automated feedback for programming exercises. In: Proceedings of the 17th Koli Calling International Conference on Computing Education Research, Koli Calling 2017, pp. 183–194 (2017).
  2. 2.
    Tirronen, M., Tirronen, V.: A framework for evaluating student interaction with automatically assessed exercises. In: Proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli Calling 2016, pp. 180–181 (2016).
  3. 3.
    Coursera Homepage. Accessed 19 May 2017
  4. 4.
    Stepik Homepage. Accessed 19 May 2017
  5. 5.
    WeBWorK Homepage. Accessed 19 May 2017
  6. 6.
    Moodle Homepage. Accessed 19 May 2017
  7. 7.
    Rogers, H.: The Theory of Recursive Functions and Effective Computability. MIT Press (1987). ISBN: 0-262-68052-1; ISBN: 0-07-053522-1Google Scholar
  8. 8.
    Rice, H.: Classes of recursively enumerable sets and their decision problems. Trans. Am. Math. Soc. 74(2), 358 (1953). Scholar
  9. 9.
    Richardson, D.: Some unsolvable problems involving elementary functions of a real variable. J. Symb. Log. 33(4), 514–520 (1968). Scholar
  10. 10.
  11. 11.
    NeuroRehabLab Homepage. Accessed 19 May 2017

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.St. Petersburg Polytechnic UniversitySt. PetersburgRussia

Personalised recommendations