## Artificial Intelligence and Education: Proceedings of the 4th International Conference on AI and Education, 24-26 May 1989, Amsterdam, Netherlands, Volume 4Dick Bierman, Joost Breuker, Jacobijn Sandberg IOS, 1989 - 339 pages |

### From inside the book

Results 1-3 of 19

Page 212

...

...

**equations**were selected and analysed as described . This yielded , for each**equation**, at least one sequence of rules which gave a solution , and also gave , for each of these rules , a list of**equations**in which the rule occurred in ...Page 213

...

...

**equation**and the engine halts with the**equation**solved , or the expression simplified . The pretest exploits the**equation**hierarchy to use the least number of questions to pinpoint the student's ability with respect to the**equation**...Page 269

...

...

**equation**that contains the goal variable . Given this**equation**, subgoals are set to find values for the remaining unknowns . Additional constraints are generated which contain the unknowns and are substituted into the**equation**...### Common terms and phrases

Abstract Abstract Interpretation actions algebra algorithm analysis Anderson applied approach architecture Artificial Intelligence behavior Blackboard COACH cognitive Cognitive Science components Computer Science concepts constraints construct correct described diagnosis diagrams dialogue discourse discovery learning discussion level domain knowledge dynamic instructional educational environment equation error evaluation example expert module expert system expertise explanation explicit feedback Figure flag tutor forward chaining function fuzzy goal granularity graphical hierarchy hypothesis Igoals implemented inference input instantiations instructional plan instructional planner Intelligent Tutoring Systems interaction interface interpretation knowledge base knowledge representation language learner lesson LISP programming manipulation mathematical misconceptions monitor node novice objects operators output performance problem solving procedures reasoning recursion represented rules schema selected semantic simulation skills solution specific step structure student model subgoals subjects task teacher teaching troubleshooting tutorial strategy types understanding user model word problem XTRA-TE