Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model

Knowledge engineering is one of AI technologies that play a principal role to design intelligent systems. Intelligent Problem Solver (IPS) in education is a useful intelligent system supporting e-learning in the fourth industrial revolution. Discrete Mathematics is one of important courses for the engineering curriculum at universities. In this paper, a knowledge model, which integrates the knowledge of operators and function intellectual, is proposed. This model is used to organize the knowledge base of an IPS in Discrete Mathematics. This system can automatically solve some common exercises with human-readable solutions, especially their reasoning is pedagogy and similar to the way of students' thinking. The experimental results show that the built system is emerging to evolve an intelligent system as a tutor how to solve problems in this course.