Actuation of a technical system based on solutions of relaxed abduction

US9449275B2 · kind B2 · utility

Assignee

• Siemens Aktiengesellschaft · DE

Inventors

• Thomas Hubauer · Garching bei München, DE
• Steffen Lamparter · Straubing, DE

Key dates

• Filing date: Jul 2, 2012
• Grant date: Sep 20, 2016
• Expiry date: Jan 16, 2033

Classification

• Technology area (CPC G): Physics
• CPC primary: G06F17/00
• WIPO field: Control
• WIPO sector: Instruments

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.