Abstract
This paper presents the design and implementation of an air-crew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic Programming (ALP). The aim of this work was to produce a system for Cyprus Airways that can be used to provide a solution to the airline’s crew scheduling problem whose quality was comparable with the manual solutions generated by human experts on this particular problem. In addition to this the system should also constitute a tool with which its operators could continually customize the solutions to new needs and preferences of the company and the crew. The abductive approach (using ALP) adopted in our work offers a flexible modeling environment in which both the problem and its constraints can be easily represented directly from their high-level natural specification. This high-level representation offers two main advantages in the development of an application: (i) modularity with a clear separation of the two main issues of validity and quality (optimality) of the solution and (ii) flexibility under changes of the requirements of the problem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bianco, L., Bielli, M., Mingozzi, A., Ricciardelli, S., Spadoni, M.: A heuristic procedure for the crew rostering problem. European Journal of Operational Research 58, 272–283 (1992)
Brewka, G.: Principles of Knowledge Representation. CSLI Publications, Standford (1996)
Console, L., Portinale, L., Dupré, D.: Using Compiled knowledge to guide and focus abductive diagnosis. Journal of IEEE Transactions on Knowledge and Data Engineering 8(5), 690–706 (1996)
Console, L., Sapino, M.L., Theseider Dupre, D.: The role of abduction in database view updating. Journal of Intelligent Systems (1994)
Denecker, M., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming (1997)
ECLiPSe User Manual. ECRC Munich, Germany (1993)
Focacci, F., Lamma, E., Mello, P., Milano, M.: Constraint Logic Programming for the Crew Rostering Problem. In: Proceedings of the Third International Conference on the Practical Applications of Constraint Technology, PACT 1997, pp. 151–164 (1997)
Guerinik, N., Von Caneghem, M.: Solving Crew Scheduling Problems by Constraint Programming. In: Proc. 1st International Conference on Principles and Practice of Constraint Programming (1995)
Kress, M., Golany, B.: Optimizing the assignment of aircrews to aircraft in an airlift operation. European Journal of Operational Research 77, 475–485 (1994)
Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6) (1993)
Kakas, A.C., Michael, A.: Integrating Abductive and Constraint Logic Programming. In: Proc. 12th International Conference on Logic Programming, pp. 399–415. MIT Press, Cambridge (1995)
Kakas, A.C., Michael, A.: An abductive-Based Scheduler for Air-Crew Assignment. Department of Computer Science, University of Cyprus, Technical Report TR-98-17 (1998)
Menzies, T.: Applications of Abduction: Knowledge-Level Modeling. International Journal of Human Computer Studies (August 1996)
Poole, D., Goebel, R.G., Aleliunas: Theorist: a logical reasoning system for default and diagnosis. In: Cercone, McCalla (eds.) The Knowledge Fronteer: Essays in the Representation of Knowledge. LNCS. Springer, Heidelberg (1987)
Pavlopoulou, C., Gionis, A.P., Stamatopoulos, P., Halatsis, C.: Crew Pairing Optimization Based on CLP. In: Proc. 2nd International Conference on the Practical Application of Constraint Technology, London, UK (1996)
Poole, D.: A logical framework for default reasoning. Artificial Intelligence 36 (1988)
Shanahan, M.P.: Event Calculus Planning Revisited. In: Steel, S. (ed.) ECP 1997. LNCS, vol. 1348. Springer, Heidelberg (1997)
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
Kakas, A.C., Michael, A. (1999). Air-Crew Scheduling through Abduction. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_64
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive