论文信息 - Assuring safety in an air traffic control system with defeasible logic programming

Assuring safety in an air traffic control system with defeasible logic programming

Assuring safety in complex technical systems is a crucial is- sue in several critical applications like air trac control or medical de- vices. We present a preliminary framework based on argumentation for assisting ight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time.

Sergio Alejandro Gómez | Adrian Groza | Anca Goron

[1] Trevor J. M. Bench-Capon,et al. Argumentation in artificial intelligence , 2007, Artif. Intell..

[2] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[3] Ioan Alfred Letia,et al. Plausible Description Logic Programs for Stream Reasoning , 2012, Future Internet.

[4] Tim Kelly,et al. Using argumentation to evaluate software assurance standards , 2013, Inf. Softw. Technol..

[5] Guillermo Ricardo Simari,et al. An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment , 2004, ArgMAS.

[6] John Rushby,et al. A Safety-Case Approach For Certifying Adaptive Systems , 2009 .

[7] K. Nakamatsu,et al. Paraconsistent logic program based safety verification for air traffic control , 2002, IEEE International Conference on Systems, Man and Cybernetics.