Computational Mathetics: Towards a Science of Learning Systems Design

  title={Computational Mathetics: Towards a Science of Learning Systems Design},
  author={John G Self},
reasoners may be made more 'concrete' by instantiating them. For example, Rainy∅Umbrella, Rainy => Umbrella Planet(x)∅Orbits(x,sun), Planet(neptune) => Orbits(neptune,sun) are both instantiations of the modus ponens reasoner. A person might believe the proposition Rainy∅Umbrella, i.e. if it is rainy take an umbrella, but only if she actually behaved as the rule implies in relevant situations might we wish to ascribe to her the reasoner above. If a student behaved in such a way that we might… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 140 references

Constraint-based student modelling, in J.E. Greer and G.I. McCalla (eds.), Student Modelling: the Key

  • S. Ohlsson
  • 1994
Highly Influential
19 Excerpts

Foundational Issues in Artificial Intelligence and Cognitive Science, Amsterdam: Elsevier

  • M. H. Chambery. Bickhard, L. Terveen
  • 1995
Highly Influential
4 Excerpts

A model for negotiation in teaching-learning dialogues

  • M. J. Chambery. Baker
  • Journal of Artificial Intelligence in Education,
  • 1994
Highly Influential
5 Excerpts

A tutor for trip planning: combining planning and mathematics problem solving

  • T. Crews, G. Biswas
  • Journal of Artficial Intelligence
  • 1993
Highly Influential
4 Excerpts

The Space Shuttle Fuel Cell tutor: a simulation-based intelligent tutoring system with yoked expert

  • P. C. 163-210. Duncan
  • 1992
Highly Influential
4 Excerpts

Are cognitive skills context-bound

  • J. Pearl
  • Machine Studies,
  • 1988
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…