# The teller simulator: An automatic problem solver for educational use

Conference paper

First Online:

## Abstract

A knowledge based system, called the TELLER SIMULATOR, able to solve simple arithmetical problems, is herein presented. This system has been developed with an educational purpose, and is intended to be used with primary/secondary school children. The description of the system is aimed at analysing the kinds of knowledge and solution techniques which must be employed by an automatic problem solver, oriented to the arithmetic domain, in order to make it a tool apt to be used in order to improve the learning of arithmetic concepts.

## Preview

Unable to display preview. Download preview PDF.

## References

- [1]AAVV, Information Technologies and Basic Learning, Reading, Writing, Science and Mathematics, OCDE, Paris, 1987Google Scholar
- [2]Anderson J.R., Boyle C.F., Yost G., The Geometry Tutor, Proc. of the 9th Int. Joint Conf. on Artificial Intelligence, Los Angeles, August 18–23, 1985, pp.1–7Google Scholar
- [3]Barr A., Feigenbaum E.A. (eds.), The Handbook of Artificial Intelligence, Vol.2, cap.IX, William Kaufmann Inc., Los Altos (CA), 1982Google Scholar
- [4]Bottino R.M., Forcheri F., Molfino M.T., Teaching Computer Science Through a Logic Programming Approach, Education and Computing (to appear)Google Scholar
- [5]Burton R.R., Brown J.S., An investigation of computer coaching for informal learning activities, Int. J. of Man Machine Studies, Vol. 11, 1979, pp.5–24Google Scholar
- [6]Cabrol D., Cachet C., Cornelius R., A Heuristic Problem Solver: George, Computer and Education, Vol.10, n.1, 1986, pp.81–87Google Scholar
- [7]Forcheri P., Lemut E., Molfino M.T., The GRAF system: an interactive graphic system for teaching mathematics, Computer and Education, Vol.7, n.3, 1983, pp.177–182CrossRefGoogle Scholar
- [8]Forcheri P., Lemut F., Molfino M.T., Pedemonte O., Mathematical Teaching Experiences Using Computers, in Computer Assisted Learning, Lewis R. and Tagg E.D. (eds.), North-Holland, 1980, pp. 113–121Google Scholar
- [9]Forcheri P., Molfino M.T., A historical approach to educational computer-based systems, Revue d'intelligence artificielle, Vol.1, n.3, 1987, pp.53–70Google Scholar
- [10]Forcheri P., Molfino M.T.,ENIGMA: An Educational Knowledge Based System, 3rd Int. Conf. PEG '88, Copenhagen, July 6–8, 1988, pp.1–11Google Scholar
- [11]Goldstein I., Carr B., The computer as Coach: an Athletic Paradigm for Intelligent Education, Proc. of ACM Annual Conf. '77, Seattle, October 1977, pp.227–233Google Scholar
- [12]Goldstein I., The Genetic Epistemology of Rule Systems, Int. J. of Man-Machine Studies, Vol.11, 1979, pp.51–77Google Scholar
- [13]Kearsley G. (ed.), Artificial Intelligence and Instruction. Applications and Methods, Addison-Wesley, Reading (MA), 1987Google Scholar
- [14]Kowalsky R., Logic as a Computer Language for Children, in New Horizons in Educational Computing, Yazdani M. (ed.), Ellis Horwood Lim., 1984, pp. 121–144Google Scholar
- [15]Lower R.W., Designing Computer-Based Microworlds, Byte, August 1982, pp. 138–160Google Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1989