Problems of an implementation of Problem Solving by Formal Approach

Abstract

Currently, research on the formal approach for problem solving with the use of modeling methodology is in progress. Especially well-known in this area of research is the work by Takahara, and a number of papers and books have discussed ways of solving problems using formulations derived from Set Theory. However, there have been discrepancies between formalization and implementation depending on the problems at hand. This paper introduces some sample cases that reveal this issue and explores ways to achieve correspondence between formulation and implementation.