Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results

In systems where agents are required to interact with a partially known and dynamic world, sensors can be used to obtain further knowledge about the environment. However, sensors may be unreliable, that is, they may deliver wrong information (due, e.g., to hardware or software malfunctioning) and, c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Angiulli, Fabrizio, Greco, Gianluigi, Palopoli, Luigi
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Sensors
Error handling and recovery
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23854
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23854
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
Sensors
Error handling and recovery
spellingShingle Ciencias Informáticas
Sensors
Error handling and recovery
Angiulli, Fabrizio
Greco, Gianluigi
Palopoli, Luigi
Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
topic_facet Ciencias Informáticas
Sensors
Error handling and recovery
description In systems where agents are required to interact with a partially known and dynamic world, sensors can be used to obtain further knowledge about the environment. However, sensors may be unreliable, that is, they may deliver wrong information (due, e.g., to hardware or software malfunctioning) and, consequently, they may cause agents to take wrong decisions, which is a scenario that should be avoided. The paper considers the problem of reasoning in noisy environments in a setting where no (either certain or probabilistic) data is available in advance about the reliability of sensors. Therefore, assuming that each agent is equipped with a background theory (in our setting, an extended logic program) encoding its general knowledge about the world, we define a concept of detecting an anomaly perceived in sensor data and the related concept of agent recovering to a coherent status of information. In this context, the complexities of various anomaly detection and anomaly recovery problems are studied.
format Objeto de conferencia
Objeto de conferencia
author Angiulli, Fabrizio
Greco, Gianluigi
Palopoli, Luigi
author_facet Angiulli, Fabrizio
Greco, Gianluigi
Palopoli, Luigi
author_sort Angiulli, Fabrizio
title Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
title_short Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
title_full Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
title_fullStr Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
title_full_unstemmed Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
title_sort detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/23854
work_keys_str_mv AT angiullifabrizio detectingandrepairinganomalousevolutionsinnoisyenvironmentslogicprogrammingformalizationandcomplexityresults
AT grecogianluigi detectingandrepairinganomalousevolutionsinnoisyenvironmentslogicprogrammingformalizationandcomplexityresults
AT palopoliluigi detectingandrepairinganomalousevolutionsinnoisyenvironmentslogicprogrammingformalizationandcomplexityresults
bdutipo_str Repositorios
_version_ 1764820466338365441

Ejemplares similares