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

Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever chang...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2014
Materias:
Ciencias Informáticas
Inteligencia Artificial
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/41664
http://43jaiio.sadio.org.ar/proceedings/ASAI/3.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-41664
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Inteligencia Artificial
spellingShingle Ciencias Informáticas
Inteligencia Artificial
Gómez, Sergio Alejandro
Goron, Anca
Groza, Adrian
Assuring safety in an air traffic control system with defeasible logic programming
topic_facet Ciencias Informáticas
Inteligencia Artificial
description Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
Goron, Anca
Groza, Adrian
author_facet Gómez, Sergio Alejandro
Goron, Anca
Groza, Adrian
author_sort Gómez, Sergio Alejandro
title Assuring safety in an air traffic control system with defeasible logic programming
title_short Assuring safety in an air traffic control system with defeasible logic programming
title_full Assuring safety in an air traffic control system with defeasible logic programming
title_fullStr Assuring safety in an air traffic control system with defeasible logic programming
title_full_unstemmed Assuring safety in an air traffic control system with defeasible logic programming
title_sort assuring safety in an air traffic control system with defeasible logic programming
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/41664
http://43jaiio.sadio.org.ar/proceedings/ASAI/3.pdf
work_keys_str_mv AT gomezsergioalejandro assuringsafetyinanairtrafficcontrolsystemwithdefeasiblelogicprogramming
AT goronanca assuringsafetyinanairtrafficcontrolsystemwithdefeasiblelogicprogramming
AT grozaadrian assuringsafetyinanairtrafficcontrolsystemwithdefeasiblelogicprogramming
bdutipo_str Repositorios
_version_ 1764820472779767810

Ejemplares similares