BIB-VERSION:: CS-TR-v2.0
ID:: ncstrl.dartmouthcs//TR91-164
ENTRY:: January 20, 1995
ORGANIZATION:: Dartmouth College, Computer Science
TITLE:: Ilona: An advanced CAI Tutorial System for the Fundamentals of Logic
TYPE:: Technical Report (paper)
REVISION:: 1
AUTHOR:: Mayer, Otto
AUTHOR:: Oberem, Graham E.
AUTHOR:: Makedon, Fillia
NOTE:: The 'January' in DATE is an arbitrary placeholder.
DATE:: January 1991
RETRIEVAL:: For a paper copy, email <reports@cs.dartmouth.edu>
RETRIEVAL:: For a paper copy, write to
       Technical Report Librarian
       Department of Computer Science
       Dartmouth College
       6211 Sudikoff Laboratory
       Hanover, NH 03755-3510
       USA
RETRIEVAL:: PDF at http://www.cs.dartmouth.edu/reports/TR91-164.pdf
ABSTRACT::
	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.
END:: ncstrl.dartmouthcs//TR91-164