×

Solving mathematical problems using knowledge-based systems. (English) Zbl 1134.68517

Summary: A knowledge-based system is developed to teach students in a basic mathematical course how to solve problems. First, the system recognizes handwritten mathematical expressions. Then, it understands the questions, interprets the expressions, and finally, solves the problems. In addition, two mathematical topics are addressed: differentiation and finding a general term in a series of integers.
The first steps of the recognition stage are scaling, thinning, and representing each thinned symbol by a model which consists of several short straight lines. The system recognizes each symbol by comparing its resultant model with the stored models in the system knowledge base. After recognizing all the symbols, the system applies another set of rules to understand the problem, and interpret the expression. Finally, the rules in the inference engine are applied to solve the questions.

MSC:

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

Software:

OEIS; gfun
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Salvy, B.; Zimmermann, P., GFUN: a maple package for the manipulation of generating and holonomic functions in one variable, ACM Trans. Math. Software, 20, 2, 163-177 (1994) · Zbl 0888.65010
[2] Ahmed, M.; Ward, R., An expert system for general symbol recognition, Pattern Recognit., 33, 12, 1975-1988 (2000) · Zbl 1006.68835
[3] R. Anderson, Two-dimensional mathematical notation, in: K.S. Fu (Ed.), Syntactic Pattern Recognitions, Springer, Verlag, 1977, pp. 147-177.; R. Anderson, Two-dimensional mathematical notation, in: K.S. Fu (Ed.), Syntactic Pattern Recognitions, Springer, Verlag, 1977, pp. 147-177.
[4] Belaid, A.; Haton, J., A syntactic approach for handwritten mathematical formula recognition, IEEE Trans. Pattern Anal. Mach. Intell., 6, 105-111 (1984)
[5] S. Pearce, M. Ahmed, An evolutionary algorithm for general symbol segmentation, in: Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR, 2003), August 2003.; S. Pearce, M. Ahmed, An evolutionary algorithm for general symbol segmentation, in: Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR, 2003), August 2003.
[6] Lee, H.; Wang, J., Design of mathematical expression understanding system, Pattern Recognit. Lett., 18, 3, 289-298 (1997)
[7] Chan, K.; Yeung, D., Mathematical expression recognition: a survey, Int. J. Doc. Anal. Recognit., 3, 1, 3-15 (2000)
[8] Ahmed, M.; Ward, R., A rotation invariant rule based thinning algorithm for character recognition, IEEE Trans. Pattern Anal. Mach. Intell., 24, 12, 1672-1678 (2002)
[9] On-line Encyclopedia of Integer Sequences by N.J.A. Sloane: http://www.research.att.com/∼njas/sequences; On-line Encyclopedia of Integer Sequences by N.J.A. Sloane: http://www.research.att.com/∼njas/sequences · Zbl 1274.11001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.