Technical Report Number
An advanced tutorial system for teaching the fundamentals of logic has been developed to run on UNIX work stations and commonly available micro-computers. An important part of this tutorial is the intelligent problem solving environment which allows students to practise wiriting logical sentences in mathematical notation. A natural language system for intelligent logic narrative analysis (ILONA) allows students to type in their own logical sentences in plain English and then have the computer check their working when they write these in mathematical form. ILONA is an intelligent tutoring system which allows students a great deal of initiative in problem solving and provides a degree of flexibility in answer evaluation not found in traditional CAI systems. The concepts and structures used in the development of ILONA are easily transferable to other domains.
Dartmouth Digital Commons Citation
Mayer, Otto; Oberem, Graham E.; and Makedon, Fillia, "Ilona: An advanced CAI Tutorial System for the Fundamentals of Logic" (1991). Computer Science Technical Report PCS-TR91-164. https://digitalcommons.dartmouth.edu/cs_tr/34