West, Margaret M. and McCluskey, T.L. (2000) The application of a machine learning tool to the validation of an air traffic control domain theory. In: Tools With Artificial Intelligence (ICTAI 2000) conference proceedings. IEEE, pp. 414-421. ISBN 0769509096Metadata only available from this repository.
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.
|Item Type:||Book Chapter|
|Additional Information:||Refereed proceedings of 12th IEEE international conference on tools with artificial intelligence, Vancouver, 13th - 15th November 2000|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
T Technology > TL Motor vehicles. Aeronautics. Astronautics
|Schools:||School of Computing and Engineering|
School of Computing and Engineering > Pedagogical Research Group
School of Computing and Engineering > Informatics Research Group
School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
|Depositing User:||Cherry Edmunds|
|Date Deposited:||16 Oct 2008 16:20|
|Last Modified:||16 Dec 2010 13:35|
Item control for Repository Staff only: