## Mathematical Intelligent Learning EnvironmentsThe Mathematical Intelligent Educational Environments considered here provide methods on how ILE systems are developed. The book looks at the most recent developments in Intelligent Learning Environments for the domain, and groups together the most recent work. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Building the expert module for ITSs | 35 |

SOME TECHNIQUES FOR BUILDING | 52 |

Conclusion | 109 |

Student modelling using | 110 |

ATTILIO COLAGROSSI Dipartimento di Informatica | 113 |

FROM NATURAL LANGUAGE | 126 |

An experimental instructional | 145 |

The TAPS System | 151 |

Concluding Remarks | 161 |

IMPROVES MATHEMATICAL | 162 |

What ANIMATE Users Actually Learn | 173 |

A DIAGNOSTIC KNOWLEDGE | 189 |

USING COCA TO BUILD AN INTELLIGENT | 199 |

student activity in an intelligent | 222 |

254 | |

### Common terms and phrases

ABKC action algebraic ANIMATE 2.0 answer apply Artificial Intelligence assumptions attempt basic behaviour blackboard blackboard system calculus COCA companion complex concept concepts/tasks conceptualisation Conditional Proof correct described domain knowledge EPIC equations errors example expert module explanation explicit expressions feedback Figure fraction addition given goal heuristics instantiation instructional Integration-Kid Intelligent Tutoring Systems interaction Jacob Kathy knowledge representation language learners learning environment Macsyma mal-rules mathematical messages metacognitive method objects parsing pedagogical performance plan recognition post-test Problem Solving Monitor procedure production rules production system Prolog proof step protocol reasoning recognise rectangle represent representation rhombus schema SELAH semantic structure sentence sequent sequent calculus situation map skills smidgets solution solver Solving Monitor module student model subgoal subjects task teacher teaching strategy term rewriting term rewriting system text integration theorem topic trying to prove understanding User Interface module vector word problem

### Popular passages

Page xi - Dipartimento di Informatica e Sistemistica Universita di Roma "La Sapienza...