Abstract
Aircraft check planning and flight assignment are closely interrelated. We describe an expert system supporting both tasks. Search and Constraint techniques from the realm of Artificial Intelligence are paired with Scheduling methods based on certain mathematical models. The objective of Check Planning is to optimise the Maintenance Check Yield across the whole fleet. The problem is how to accommodate the frequently changing user requirements in an expert system environment. Those requirements can be expressed as constraints regarding e.g. fleet availability, hangar space, work load, or time restrictions. In contrast to classical constraint technology, where these problems are solved by instantiating variables and checking consistencies, we make use of a direct link of constraints into scheduling algorithms. As a main advantage, the basic scheduling algorithm could be left unaltered while new constraints were permanently added during the development process. For most of the constraints, SAREX offers dedicated interfaces to edit these planning rules in an easily readable format. This paper gives an overview of the applied technology and of the history of its implementation. For more technical details the reader is referred to [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dincbas, M., Simonis, H., van Hentenryck, P.: Solving Large Combinatorial Problem in Logic Programming. J. Logic Programming 8, 75–93 (1990)
Brucker, P.: Scheduling Algorithms. Springer, Heidelberg (1995)
Imhof, H.: Combining OR and Expert System Technology in Check Planning. In: Proceedings of the 38th AGIFORS Symposium (1998) (to appear)
Nardi, A., Paulson, E.A.: Multiple Worlds with Truth Maintenance in AI Applications. In: Proceedings of the 7th European Conference on Artificial Intelligence, Brighton (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Imhof, H. (1999). Expert System Technology in Aircraft Fleet Management – The Development of SAREX. In: Puppe, F. (eds) XPS-99: Knowledge-Based Systems. Survey and Future Directions. XPS 1999. Lecture Notes in Computer Science(), vol 1570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10703016_14
Download citation
DOI: https://doi.org/10.1007/10703016_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65658-6
Online ISBN: 978-3-540-49149-1
eBook Packages: Springer Book Archive