ARGSAFE: usando argumentación para garantizar seguridad en Sistemas Técnicos Complejos

En este trabajo, se presenta la problemática asociada al Proyecto Bilateral MINCYT-MECTS Argentina- Rumania llamado ARGSAFE que tiene como objetivo estudiar cómo utilizar argumentación rebatible para garantizar seguridad en sistemas técnicos complejos. Los resultados de la investigación se espera q...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez, Sergio Alejandro, Groza, Adrian, Chesñevar, Carlos Iván, Letia, Ioan Alfred, Goron, Anca, Gómez Lucero, Mauro Javier
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Informáticas
Sistemas
ARTIFICIAL INTELLIGENCE
inteligencia artificial
razonamiento no-monótono
Knowledge Representation Formalisms and Methods
argumentación rebatible
programación en lógica rebatible
ontologías
lógicas para la descripción
lógicas híbridas
razonamiento normativo
seguridad
agentes inteligentes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/41789
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:En este trabajo, se presenta la problemática asociada al Proyecto Bilateral MINCYT-MECTS Argentina- Rumania llamado ARGSAFE que tiene como objetivo estudiar cómo utilizar argumentación rebatible para garantizar seguridad en sistemas técnicos complejos. Los resultados de la investigación se espera que sean aplicables a dominios tales como manejo de autos autónomos, aviación, ciencias médicas y redes de computadores.

Ejemplares similares