Title: Solving problems on a knowledge model of operators and application

Authors: Hien D. Nguyen; Nhon V. Do; Vuong T. Pham; Katsumi Inoue

Addresses: University of Information Technology, VNU-HCM, Quarter 6, Linh Trung Ward, Thu Duc District, Ho Chi Minh City, Vietnam; National Institute of Informatics, 2 Chome-1-2 Hitotsubashi, Chiyoda, Tokyo 101-8430, Japan ' University of Information Technology, VNU-HCM, Vietnam ' University of Information Technology, VNU-HCM, Vietnam ' National Institute of Informatics, 2 Chome-1-2 Hitotsubashi, Chiyoda, Tokyo 101-8430, Japan

Abstract: Knowledge of operators is useful to build the intelligent problem solver for knowledge domains about computing. In this paper, we present a mathematical approach for building a knowledge model of operators, called Ops-model. The foundation of this model includes: concepts, operators, and inference rules. Each concept of this model is a class of objects with the behaviours for solving problems on themselves. General problems on this model are also studied, such as: reducing an expression, prove an equality of expressions. The algorithms for solving these problems are also designed. Ops-model has been applied to specify a part of knowledge domain about vector algebra in high school. It is used to construct a program for solving some problems on this knowledge domain. The solutions of this program are step-by-step, readable and suitable with the learners' level. It is useful for supporting students to learn this subject.

Keywords: knowledge representation; intelligent problem solver; automated reasoning; knowledge engineering; intelligent system; expert system; knowledge-based system; intelligent computing; digital enterprise.

DOI: 10.1504/IJDET.2018.092632

International Journal of Digital Enterprise Technology, 2018 Vol.1 No.1/2, pp.37 - 59

Received: 26 Jun 2017
Accepted: 04 Oct 2017
Published online: 26 Jun 2018 *