The teller simulator: An automatic problem solver for educational use

  • Paola Forcheri
  • Maria Teresa Molfino
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 360)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    AAVV, Information Technologies and Basic Learning, Reading, Writing, Science and Mathematics, OCDE, Paris, 1987Google Scholar
  2. [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. [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. [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. [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. [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. [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. [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. [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. [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. [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. [12]
    Goldstein I., The Genetic Epistemology of Rule Systems, Int. J. of Man-Machine Studies, Vol.11, 1979, pp.51–77Google Scholar
  13. [13]
    Kearsley G. (ed.), Artificial Intelligence and Instruction. Applications and Methods, Addison-Wesley, Reading (MA), 1987Google Scholar
  14. [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. [15]
    Lower R.W., Designing Computer-Based Microworlds, Byte, August 1982, pp. 138–160Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Paola Forcheri
    • 1
  • Maria Teresa Molfino
    • 1
  1. 1.Istituto per la Matematica Applicata del C.N.R.GenovaItaly

Personalised recommendations