Using modelica programs for deriving propositional horn clause abduction problems

Bernhard Peischl*, Ingo Pill, Franz Wotawa

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

Despite ample advantages of model-based diagnosis, in practice its use has been somehow limited to proof-of-concept prototypes. Some reasons behind this observation are that the required modeling step is resource consuming, and also that this step requires additional training. In order to overcome these problems, we suggest to use modeling languages like Modelica that are already established in academia and industry for describing cyber-physical systems as basis for deriving logic based models. Together with observations about the modeled system, those models can then be used by an abductive diagnosis engine for deriving the root causes for detected defects. The idea behind our approach is to introduce fault models for the components written in Modelica, and to use the available simulation environment to determine behavioral deviations to the expected outcome of a fault free model. The introduced fault models and gained information about the resulting deviations can be directly mapped to horn clauses to be used for diagnosis.

Originalspracheenglisch
TitelAdvances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings
Herausgeber (Verlag)Springer-Verlag Italia
Seiten185-191
Seitenumfang7
Band9904 LNAI
ISBN (Print)9783319460727
DOIs
PublikationsstatusVeröffentlicht - 2016
Veranstaltung39th Annual Conference on Artificial Intelligence: KI 2016 - University of Klagenfurt, Klagenfurt, Österreich
Dauer: 26 Sept. 201630 Sept. 2016
http://ki2016.org/

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band9904 LNAI
ISSN (Print)03029743
ISSN (elektronisch)16113349

Konferenz

Konferenz39th Annual Conference on Artificial Intelligence
KurztitelKI 2016
Land/GebietÖsterreich
OrtKlagenfurt
Zeitraum26/09/1630/09/16
Internetadresse

ASJC Scopus subject areas

  • Theoretische Informatik
  • Informatik (insg.)

Fields of Expertise

  • Information, Communication & Computing

Fingerprint

Untersuchen Sie die Forschungsthemen von „Using modelica programs for deriving propositional horn clause abduction problems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren