A method for determining properties of a problem in a set of rules for an automated monitoring of a technical system and an apparatus for carrying out the method

It is a method of testing that is used for an automated monitoring of a technical system for the presence of a problem of rules, provided. The method includes the steps of: - Selecting a certain problem, in light of the rules to be tested; - translating the rules to be tested in a knowledge base of formal logical statements; - Translate the problem into a formal logical problem statement; - applying a computer algorithm to determine if the knowledge base of logical statements is satisfiable together with the logical problem statement; - Highlight of the problem and not present when the knowledge base of logical statements can be met together with the logical problem statement.