Intelligent Tutoring SystemsDepartment of Artificial Intelligence, University of Edinburgh, 1987 - Artificial intelligence - 12 pages |
Common terms and phrases
85 LISP programming ALGEBRA analysis Anderson Anderson's ACT theory answer apply arithmetic artificial intelligence assumptions BASIC programming BUGGY bugs characterise cognitive computer program created language DEBUG diagnostic system dialogue domain Edinburgh educational decision electricity equation example explicit model goals grammar GREATERP Hartley human teacher ideas ingredients initial set Intelligent tutoring systems introductory ITSs kind knowledge of teaching learn LISP LIBRARY LISP-ITS LOGO MACSYMA meaningless symbols medical diagnosis normal notion offer Ohm's law output Pascal programming possible misconceptions present algorithms problem problem-solving produce PROLOG proofs tool PROUST Johnson 84 QUADRATIC Recovery Boiler relationships SANTA CRUZ semantics set of expressions SIERRA simple linear simulation skills solve specialised specific student model subsume taught teaching strategies techniques tend TUTOR 85 tutoring component type of errors types of CAI unit of input UNIVERSITY OF CALIFORNIA user input user modelling user's user's input VGSdomain VGSer VGSteaching vocabulary