Abstract :
Early in 1984, Logica started an ICAI research contract with MoD (Procurement
Executive), which was to be undertaken in collaboration with the technical
authority at the Royal Signals and Radar Establishment, Malvern. A
prototype system, which has become known as TUTOR, was scheduled for
delivery to the client later in 1985. Initially, and for evaluation purposes, the
system ran on VAX 11/780 hardware under VMS. The target subject for
TUTOR was the field of emergency procedures in flight safety regulations as
taught to air traffic controllers. Initial development of TUTOR, however, has
been aimed at the Highway Code, a domain which we, as well as the client and
other observers, are familiar with. Evaluation of TUTOR would be based on
both domains. Prolog was chosen as the implementation language because
ICAI, as we shall see, makes use of rich data structures that can easily be
expressed in Prolog.