Author
Bouarfa, S., Aydoğan, Reyhan, Sharpanskykh, A.
Publication Date
2021-02-12
Publication Place
-
Springer
Subject
Airline operations control, Formal modelling, Model checking, Multi-agent negotiation, Rule-based modelling, Workflow modelling
Type
Periodical
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
2199-4668
Record ID
19be39a9-c5f5-472e-93b2-c5be766a7dd2
Library Location
Computer Science
Date
2021-02-12
Sample Text
This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations Control whose core functionality is disruption management. To evaluate the new strategy, a rule-based multi-agent system model of the AOC and crew processes has been developed. This model is used to assess the effects of multi-agent negotiation on airline performance in the context of a challenging disruption scenario. For the specific scenario considered, the multi-agent negotiation strategy outperforms the established strategies when the agents involved in the negotiation are experts. Another important contribution is that the paper presents a logic-based ontology used for formal modelling and analysis of AOC workflows.
DOI
10.1007/s40860-020-00123-0
Cilt
7
