ilona: an advanced cai tutorial system for the fundamentals of logic

An advanced tutorial system for teaching the fundamentals of logic has been developed to run on unix work stations and commonly available microcomputers. An important part of this tutorial is the intelligent problem solving environment which allows students to practise writing 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.