Some Criteria of the Knowledge Representation Method for an Intelligent Problem Solver in STEM Education. (13th May 2020)