%0 Journal Article %1 Gómez2016367 %A Gómez, Sergio Alejandro %A Goron, Anca %A Groza, Adrian %A Letia, Ioan Alfred %D 2016 %J Expert Systems with Applications %K air argumentation checking drone model safety %P 367 - 385 %R http://dx.doi.org/10.1016/j.eswa.2015.09.027 %T Assuring safety in air traffic control systems with argumentation and model checking %U http://www.sciencedirect.com/science/article/pii/S0957417415006557 %V 44 %X Abstract Although the continuous safety technology advances in fields like air traffic control (ATC) systems or medical devices, the crux of safety assurance still comes down to human decision makers, which, within the context of having to define priorities while simultaneously considering different contextual criteria, present a constant high risk of erroneous decisions. We illustrate in this article a recommender framework for assisting flight controllers, which combines argumentation theory and model checking in the evaluation of trade-offs and compromises to be made in the presence of incomplete and potentially inconsistent information. We view a Hybrid Kripke model as a description of an \ATC\ domain and we apply a rational decision strategy based on Hybrid Logics and Defeasible Reasoning to assist the process of model update when the system has to accommodate new properties or norm constraints. When the model fails to verify a property, a defeasible logic program is used to analyze the current state and perform updating operations on the model. The introduced decision making framework is tested on a recommender system in \ATC\ and model update is demonstrated with respect to the verification and adaption of unmanned aerial vehicles routes in the air traffic space. The results show an important potential for the presented framework to be integrated directly into existing decision-making routines for achieving higher accuracy in recommender system methods.

@article{Gómez2016367, abstract = {Abstract Although the continuous safety technology advances in fields like air traffic control (ATC) systems or medical devices, the crux of safety assurance still comes down to human decision makers, which, within the context of having to define priorities while simultaneously considering different contextual criteria, present a constant high risk of erroneous decisions. We illustrate in this article a recommender framework for assisting flight controllers, which combines argumentation theory and model checking in the evaluation of trade-offs and compromises to be made in the presence of incomplete and potentially inconsistent information. We view a Hybrid Kripke model as a description of an \{ATC\} domain and we apply a rational decision strategy based on Hybrid Logics and Defeasible Reasoning to assist the process of model update when the system has to accommodate new properties or norm constraints. When the model fails to verify a property, a defeasible logic program is used to analyze the current state and perform updating operations on the model. The introduced decision making framework is tested on a recommender system in \{ATC\} and model update is demonstrated with respect to the verification and adaption of unmanned aerial vehicles routes in the air traffic space. The results show an important potential for the presented framework to be integrated directly into existing decision-making routines for achieving higher accuracy in recommender system methods. }, added-at = {2016-02-29T22:08:07.000+0100}, author = {Gómez, Sergio Alejandro and Goron, Anca and Groza, Adrian and Letia, Ioan Alfred}, biburl = {https://www.bibsonomy.org/bibtex/2d39a79dec631a9a1e1f7b94dd10c86e8/agroza}, doi = {http://dx.doi.org/10.1016/j.eswa.2015.09.027}, interhash = {41f331bd430d7e2344e2e2ca598f8296}, intrahash = {d39a79dec631a9a1e1f7b94dd10c86e8}, issn = {0957-4174}, journal = {Expert Systems with Applications }, keywords = {air argumentation checking drone model safety}, pages = {367 - 385}, timestamp = {2016-02-29T22:08:07.000+0100}, title = {Assuring safety in air traffic control systems with argumentation and model checking }, url = {http://www.sciencedirect.com/science/article/pii/S0957417415006557}, volume = 44, year = 2016 }