Actuation of a technical system

Abstract

To enable efficient abduction even for observations that are faulty or inadequately modeled, a relaxed abduction problem is proposed in order to explain the largest possible part of the observations with as few assumptions as possible. On the basis of two preference orders over a subset of observations and a subset of assumptions, tuples can therefore be determined such that the theory, together with the subset of assumptions, explains the subset of observations. The formulation as a multi-criteria optimization problem eliminates the need to offset assumptions made and explained observations against one another. Due to the technical soundness of the approach, specific properties of the set of results (such as correctness, completeness etc.), can be checked, which is particularly advantageous in safety-critical applications. The complexity of the problem-solving process can be influenced and therefore flexibly adapted in terms of domain requirements through the selection of the underlying representation language and preference relations. The invention can be applied to any technical system, e.g. plants or power stations.

Description

technical field [0001] The invention relates to a method and a device for operating a technical system. Background technique [0002] Model-based interpretation of information (and its application in the context of model-based diagnostics) is gaining in importance. Here, the model-based approach has the advantage of describing the domain (for example the technical system to be diagnosed) unambiguously and practicably. Such unambiguous models can be studied and understood, which facilitates user acceptance especially in terms of diagnosis or interpretation of results. Furthermore, these models can be adapted with considerable effort to new machines, extended with new domain knowledge and, depending on the type of description, even checked for their correctness. The vocabulary of this model can also be used for human-computer interaction and thus for implementing interactive interpretation processes. [0003] In the case of a logic-based representation of the domain model, ...

AI Technical Summary

Problems solved by technology

[0004] In the practice of automatic information interpretation and / or diagnosis, in addition to the problem of missing observations there is also the problem that there are observations that cannot be explained by a given model

Typical causes for this are, for example, faulty sensors that deliver measured values ​​outside the specified range, but or incomplete models that do not take into account at least one of the occurring observation combinations

This kind of problem clearly limits the practical usability of information interpretation based on abductive reasoning

Images