Reasoning Method on Knowledge about Functions and Operators
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2015, Vol 6, Issue 6
Abstract
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.
Authors and Affiliations
Nhon Do, Hien Nguyen, Thanh Mai
An Investigation and Comparison of Invasive Weed, Flower Pollination and Krill Evolutionary Algorithms
Being inspired by natural phenomena and available biological processes in the nature is one of the difficult methods of problem solving in computer sciences. Evolutionary methods are a set of algorithms that are inspired...
Fuzzy Gains-Scheduling of an Integral Sliding Mode Controller for a Quadrotor Unmanned Aerial Vehicle
This paper investigates an Adaptive Fuzzy Gains-Scheduling Integral Sliding Mode Controller (AFGS-ISMC) design approach to deal with the attitude and altitude stabilization problem of an Unmanned Aerial Vehicles (UAV) pr...
Using Moore Dijkstra Algorithm with Multi-Agent System to Find Shortest Path over Network
finding the shortest path over network is very difficult and it is the target for much research, after many researches get the result in many of algorithm and many a mount based on the performance for these algorithm .Sh...
An Extension of the Bisection Theorem to Symmetrical Circuits with Cross-Coupling
This paper demonstrates that the bisection theorem can be applied to the differential and common-mode analysis of balanced symmetrical circuits with cross coupling. This class of circuits is often found in the literature...
Segmentation using Codebook Index Statistics for Vector Quantized Images
In this paper, the segmentation using codebook index statistics (SUCIS) method is proposed for vector-quantized images. Three different codebooks are constructed according to the statistical characteristics (mean, varian...