Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.

David Kaufmann, Iulia Nica, Franz Wotawa*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Allowing intelligent agents to deal with unforeseen situations that have not been considered during development in a smart way is a first step for increasing their autonomy. This requires diagnostic capabilities to detect the unforeseen situation and to identify a root cause that can be used afterward for carrying out repair and other compensating actions. Herein, foundations for diagnostic reasoning based on models of the system are provided. In particular, a diagnostic solution is presented that utilizes answer set solvers, which allow implementing non-monotonic reasoning. The underlying ideas are introduced, an algorithm is discussed, and experimental results are obtained to clarify the question whether the approach can be used in practical applications. The obtained results indicate that answer set solving provides similar and sometimes even better results than specialized diagnosis algorithms, and can be used in practice.
Original languageEnglish
Pages (from-to)2000218
JournalAdvanced Intelligent Systems
Issue number5
Publication statusPublished - May 2021


  • diagnosis
  • model-based reasoning
  • self-healing systems

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.'. Together they form a unique fingerprint.

Cite this