Some Criteria of the Knowledge Representation Method for an Intelligent Problem Solver in STEM Education

Table 5

Levels of the formality criterion.

Level 1	Level 2	Level 3	Level 4
(i) This method has not yet built based on a solid mathematical foundation; (ii) It has not yet had a model of general problems in the knowledge domain	(i) This method is built based on a particular mathematical structure; (ii) This method has a model of general problems based on its knowledge model	(i) This method is built based on the solid mathematical structure; (ii) Problems can be modeled, and algorithms for solving them are designed based on the knowledge model	(i) This method is built based on the solid mathematical structure; (ii) Problems can be modeled based on the knowledge model; (iii) The finiteness and effectiveness of the algorithms for solving those problems are proved