Verfahren zum Ermitteln eines Problems in Eigenschaften eines Regelwerks für eine automatisierte Überwachung eines technischen Systems und eine Vorrichtung zum Durchführen des Verfahrens

摘要

Es wird ein Verfahren zum Prüfen eines Regelwerks, das für ein automatisiertes Überwachen eines technischen Systems auf das Vorhandensein eines Problems verwendet wird, bereitgestellt. Das Verfahren enthält die folgenden Schritte:–Auswählen eines gewissen Problems, angesichts dessen das Regelwerk geprüft werden soll;–Übersetzen der zu prüfenden Regeln in eine Wissensbasis formaler logischer Aussagen;–Übersetzen des Problems in eine formale logische Problemaussage;–Anwenden eines Computeralgorithmus um festzustellen, ob die Wissensbasis logischer Aussagen gemeinsam mit der logischen Problemaussage erfüllbar ist;–Markieren des Problems als nicht vorhanden, wenn die Wissensbasis logischer Aussagen gemeinsam mit der logischen Problemaussage erfüllbar ist.