Hien D. Nguyen

Designing an intelligent problems solving system based on knowledge about sample problems

In computer science and information technology, ontology has been researched and developed in application for knowledge representation. COKB model (Computational Object Knowledge Base) is an ontology was researched and applied in designing knowledge base systems, such as domain of knowledge about analytic geometry, linear algebra. However, when dealing with a practical problem, we often do not immediately find a new solution, but we search related problems which have been solved before and then proposing an appropriate solution for the problem. In this paper, the extension model of ontology COKB has been presented. In this model, Sample Problems, which are related problems, will be used like the experience of human about practical problem, simulate the way of human thinking about finding solution of problem. Besides that, the architect of Intelligent Problem Solving system has been researched and applied. Using this architect and extension COKB model is applied to construct the system for automatic solving problems on knowledge about plane geometry.

Reducing Model of COKB about Operators Knowledge and Solving Problems about Operators

Knowledge representation plays a very important role for designing knowledge base systems as well as intelligent systems. Nowadays, there are many effective methods for representing such as: semantic network, rule-base systems, computational network. Computational Objects Knowledge Base (COKB) can be used to represent the total knowledge and design the knowledge base of systems. In fact, a popular form of knowledge domain is knowledge about operations and computational relations, especially computational knowledge domain, such as: Linear Algebra, Analytic Geometry. However, COKB model and the other models have not solved yet some problems about operators: specification of operator, properties of operator, reducing an expression. In this paper, we will present a reducing model of COKB. This model, called Ops-model, represents knowledge about operators between objects and solve some problems related to these operators. Through that, the algorithms for designing inference engine of model have been built up. Moreover, Ops-model has been applied to specify a part of knowledge domain about Direct Current (DC) Electrical Circuits and construct a program for solving some problems on this knowledge domain.

Knowledge-Based Model of Expert Systems Using Rela-Model

Knowledge about relations plays a crucial role in human’s knowledge. Different methods for representing this type of knowledge have been proposed. However, due to the lack of theoretical foundation...

Reasoning Method on Knowledge about Functions and Operators

In artificial intelligence, there are many methods for knowledge representation. One of the effective models is the Computational Object Knowledge Base model (COKB model), which can be used to represent the total knowledge and to design the knowledge base component of practical intelligent systems. Besides, reasoning methods also play an important role in knowledge base systems. In fact, a popular form of knowledge domain is knowledge about function and operations. These knowledge domains have many practical applications, especially in educational applications, such as Solid Geometry, Analytic Geometry. However, the current methods cannot reason on knowledge about Function and Operators. In this paper, we will present a reasoning method to solve problems on COKB model. These problems are related to knowledge about Functions and Operators. Also, this method has been applied to design some intelligent systems in education. Using this reasoning method, systems can solve problems in some educational knowledge domains automatically with their solutions are step-by-step.

Deductive method with Sample Problems on Computational Object Knowledge Base and construct to intelligent educational softwares

In computer science and information technology, ontology has been researched and developed in application for knowledge representation. Ontology COKB-ONT (Computational Object Knowledge Base) is an ontology was researched and applied in designing knowledge base systems, such as domain of knowledge about analytic geometry, linear algebra. However, when dealing with a practical problem, we often do not immediately find a new solution, but we search related problems which have been solved before and then proposing an appropriate solution for the problem. In this paper, the extension model of ontology COKB-ONT has been presented. In this model, Sample Problems, which are related problems, will be used like the experience of human about practical problem, simulate the way of human thinking about finding solution of problem. This extension model is applied to construct a program for solving plane geometry problems in middle school.