| 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. |
