ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis

Marco Battarra

The aim of the project is to build a multi-agent framework for general purpose diagnosis, based on a soft computing abductive approach. Such framework should be more practical and more effective in diagnosis applications than the existing ones. It must be able to guide a user through the process of diagnosis, from the initial observations to a final diagnosis. The final diagnosis must be checked and corroborated by means of appropriate tests.
To reach this aim, the objectives are:

  • To research in scientific literature the main abductive approaches and to study their possible applications in fault diagnosis.
  • To detect the practical limitations of the existing approaches and to devise a soft computing approach to increase effectiveness.
  • To develop a multi-agent framework based on the approach pre- viously devised.
  • To compare the behaviour of the developed framework with the behaviour of the frameworks identified in the research stage. Such evaluation must be based on the same case study of fault diagnosis.


ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis

— author

Marco Battarra


— supervisor

Andrea Omicini

— co-supervisor

Stefano Bromuri, Kostas Stathis


— cycle

second-cycle thesis

— status

completed thesis

— language



— available since


— activity started


— degree date



PDF  |  slides

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY