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 language | English |
|---|---|
| Title of host publication | Proceedings of the 12th IEEE Internationals Conference on Tools with Artificial Intelligence |
| Subtitle of host publication | ICTAI 2000 |
| Editors | Frances M. Titsworth |
| Publisher | IEEE Computer Society |
| Pages | 414-421 |
| Number of pages | 8 |
| ISBN (Electronic) | 0769509118 |
| ISBN (Print) | 0769509096 |
| DOIs | |
| Publication status | Published - 2000 |
| Event | 12th IEEE International Conference on Tools with Artificial Intelligence - Vancouver, Canada Duration: 13 Nov 2000 → 15 Nov 2000 Conference number: 12 https://dblp.org/db/conf/ictai/ictai2000.html |
Publication series
| Name | Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI |
|---|---|
| Publisher | IEEE Computer Society |
| Volume | 2000-January |
| ISSN (Print) | 1082-3409 |
Conference
| Conference | 12th IEEE International Conference on Tools with Artificial Intelligence |
|---|---|
| Abbreviated title | ICTAI 2000 |
| Country/Territory | Canada |
| City | Vancouver |
| Period | 13/11/00 → 15/11/00 |
| Internet address |