SAS is an AI application developed for the Hong Kong International Airport (HKIA) at Chek Lap Kok. SAS uses constraint-programming techniques to assign parking stands to aircraft and schedules tow movements based on a set of business and operational constraints. The system provides planning, real-time operation, and problem solving capabilities. SAS generates a stand allocation plan that finely balances the objectives of the airlines/handling agents, the convenience of passengers, and the operational constraints of the airport. The system ensures a high standard of quality in customer service, airport safety, and utilization of stand resources. This paper also describes our experience in developing an AI system using standard off-the-shelf software components. SAS is an example of how development methodologies used to construct modern AI applications have become fully inline with mainstream practices.
[1]
Pascal Van Hentenryck.
Constraint satisfaction in logic programming
,
1989,
Logic programming.
[2]
Joxan Jaffar,et al.
Constraint logic programming
,
1987,
POPL '87.
[3]
J.-F. Puget.
Object oriented constraint programming for transportation problems
,
1993
.
[4]
Nicolas Beldiceanu,et al.
Constraint Logic Programming
,
1997
.
[5]
Guy L. Steele,et al.
The definition and implementation of a computer programming language based on constraints
,
1980
.
[6]
Jean-francois Puget,et al.
A C++ implementation of CLP
,
1997
.
[7]
Vipin Kumar,et al.
Algorithms for Constraint-Satisfaction Problems: A Survey
,
1992,
AI Mag..
[8]
Jacques Cohen,et al.
Constraint logic programming languages
,
1990,
CACM.