Pragmatisch redeneren in modelgebaseerde diagnose

Model-gebaseerde diagnose bepaalt de defecte componenten in een technisch systeem door middel van een gerichte reeks testen en metingen. Meetadvies wordt gegeven op basis van verkregen diagnostische hypothesen. De huidige model-gebaseerde diagnostische methoden2 hebben een hoge berekeningscomplexiteit (in 0(2")) waarbij n het aantal componenten in het model is). De Pragmatic Diagnostic Engine (POE) is een model-gebaseerde redeneermethode die een polynomiale berekeningscomplexiteit heeft (in 0(n2)). Door een beperking van het diagnostisch redeneren tot de belangrijkste diagnostische hypothesen, kan in korte tijd een goed meetadvies gegeven worden. In een aantal experimenten werd bevestigd dat PDE's meetadvies nagenoeg hetzelfde is als dat van de standaardmethode GDE.