REJECTED
Please predict whether this patent is acceptable.PATENT ABSTRACT: Disclosed is a method of reviewing a set of rules used for automated monitoring of a technical system for the presence of a problem. The method includes the steps of: selecting a problem in view of which the set of rules is to be reviewed; translating the rules to be reviewed to a knowledge base of formal logical statements; translating the problem to a formal logical problem statement; applying a computer algorithm for checking whether the knowledge base of logical statements together with the logical problem statement is satisfiable; labeling the problems as not being present if the knowledge base of logical statements together with the logical problem statement is satisfiable.