The main aim of this paper is to present a way to improve the efficiency of an intelligent alarm correlation module by means of an abductive reasoner. Thalarm correlation module is integrated in a more complex system (SAMOT) that performs monitoring and control tasks over a tract of a highway. On the basis of a specific theory on the domain, explanations of anomalous traffic patterns can be provided taking into account those situations not directly detected by data acquisition technology. The integration of the comprehensive view obtained by means of a correlation phase with additional domain knowledge allows to abduce from the observed anomalous traffic patterns other significant situations. The experience of traffic operators allows to build a theory of abducible explanations that exploits the knowledge of the use context of the system. The correlation module of SAMOT has been modelled within a propositional modal language, named ST-Logic, which will be adopted for the abductive reasoner as well. Finally, some remarks about stratified interpretative cycles made possible within such a formal framework will be addressed.

Bandini, S., Mosca, A., Palmonari, M. (2006). Intelligent alarm correlation and abductive reasoning. LOGIC JOURNAL OF THE IGPL, 14(2), 347-362 [10.1093/jigpal/jzk023].

Intelligent alarm correlation and abductive reasoning

BANDINI, STEFANIA;PALMONARI, MATTEO LUIGI
2006

Abstract

The main aim of this paper is to present a way to improve the efficiency of an intelligent alarm correlation module by means of an abductive reasoner. Thalarm correlation module is integrated in a more complex system (SAMOT) that performs monitoring and control tasks over a tract of a highway. On the basis of a specific theory on the domain, explanations of anomalous traffic patterns can be provided taking into account those situations not directly detected by data acquisition technology. The integration of the comprehensive view obtained by means of a correlation phase with additional domain knowledge allows to abduce from the observed anomalous traffic patterns other significant situations. The experience of traffic operators allows to build a theory of abducible explanations that exploits the knowledge of the use context of the system. The correlation module of SAMOT has been modelled within a propositional modal language, named ST-Logic, which will be adopted for the abductive reasoner as well. Finally, some remarks about stratified interpretative cycles made possible within such a formal framework will be addressed.
Articolo in rivista - Articolo scientifico
Abductive reasoning; Alarm correlation
English
mar-2006
14
2
347
362
none
Bandini, S., Mosca, A., Palmonari, M. (2006). Intelligent alarm correlation and abductive reasoning. LOGIC JOURNAL OF THE IGPL, 14(2), 347-362 [10.1093/jigpal/jzk023].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/3670
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
Social impact