The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory

M. M. West, T. L. McCluskey

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

In this paper we describe a project (IMPRESS) which utilised a machine learning tool for the validation of an air traffic control domain theory. During the project, novel techniques were devised for the automated revision of general clause form theories using training examples. This technique involves focusing in on the parts of a theory which involve ordinal sorts, and applying geometrical revision operators to repair faulty component parts. The method is illustrated with experimental results obtained during the project.

Original languageEnglish
Title of host publicationProceedings of the 12th IEEE Internationals Conference on Tools with Artificial Intelligence
Subtitle of host publication ICTAI 2000
EditorsFrances M. Titsworth
PublisherIEEE Computer Society
Pages414-421
Number of pages8
ISBN (Electronic)0769509118
ISBN (Print)0769509096
DOIs
Publication statusPublished - 2000
Event12th IEEE International Conference on Tools with Artificial Intelligence - Vancouver, Canada
Duration: 13 Nov 200015 Nov 2000
Conference number: 12
https://dblp.org/db/conf/ictai/ictai2000.html

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
PublisherIEEE Computer Society
Volume2000-January
ISSN (Print)1082-3409

Conference

Conference12th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2000
CountryCanada
CityVancouver
Period13/11/0015/11/00
Internet address

    Fingerprint

Cite this

West, M. M., & McCluskey, T. L. (2000). The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory. In F. M. Titsworth (Ed.), Proceedings of the 12th IEEE Internationals Conference on Tools with Artificial Intelligence: ICTAI 2000 (pp. 414-421). [889902] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2000-January). IEEE Computer Society. https://doi.org/10.1109/TAI.2000.889902