Actuation of a technical system based on solutions of relaxed abduction
First Claim
1. A method of actuating a technical system, the method comprising:
- receiving at least one observation from at least one sensor;
determining, by a computer which is configured to execute program code stored on a non-transitory computer-readable medium, a relaxed abduction problem;
solving, by the computer, the relaxed abduction problem, by determining tuples that are optimal with respect to two preference orders over subsets of assumptions and observations, wherein the determined optimal tuples comprise a subset of observations smaller than a complete set of observations, respectively, that concurrently minimize the subset of assumptions to explain the observations comprising the at least one observation received from the at least one sensor and maximize the subset of observations abductively explained by the subset of assumptions given a theory T, with the objective of determining a causal consequence of the largest possible portion of observations with as few assumptions as possible; and
actuating the technical system according to the solution of the relaxed abduction problem by communicating at least one actuator signal.
1 Assignment
0 Petitions
Accused Products
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.
-
Citations
20 Claims
-
1. A method of actuating a technical system, the method comprising:
-
receiving at least one observation from at least one sensor; determining, by a computer which is configured to execute program code stored on a non-transitory computer-readable medium, a relaxed abduction problem; solving, by the computer, the relaxed abduction problem, by determining tuples that are optimal with respect to two preference orders over subsets of assumptions and observations, wherein the determined optimal tuples comprise a subset of observations smaller than a complete set of observations, respectively, that concurrently minimize the subset of assumptions to explain the observations comprising the at least one observation received from the at least one sensor and maximize the subset of observations abductively explained by the subset of assumptions given a theory T, with the objective of determining a causal consequence of the largest possible portion of observations with as few assumptions as possible; and actuating the technical system according to the solution of the relaxed abduction problem by communicating at least one actuator signal. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
-
-
14. A computer system for actuating a technical system, comprising:
-
a processor configured to automatically execute program code stored on a non-transitory computer-readable medium, to; control receipt of at least one observation from at least one sensor; determine a relaxed abduction problem; solve the relaxed abduction problem by determining tuples that are optimal with respect to two preference orders over subsets of assumptions and observations, wherein the determined optimal tuples comprise a subset of observations smaller than a complete set of observations, respectively, that concurrently minimize the subset of assumptions to explain the observations comprising the at least one observation received from the at least one sensor and maximize the subset of observations abductively explained by the subset of assumptions given a theory T, with the objective of determining a causal consequence of the largest possible portion of observations with as few assumptions as possible; and an actuator output port configured to actuate the technical system according to the solution of the relaxed abduction problem. - View Dependent Claims (15, 16, 17, 18)
-
-
19. A method of controlling a technical system, comprising:
-
receiving at least one observation from at least one sensor; determining a relaxed abduction problem; determining a pareto-optimum set of tuples (A,O) by taking as a basis two orders of preference over a subset of observations (O) smaller than a complete set of observations, and a subset of assumptions (A), so that a theory (T) together with a minimized subset of the assumptions (A) explains a maximized subset of the observations (O) comprising the at least one observation (O) received from the at least one sensor, with the objective of determining a causal consequence of the largest possible portion of subset of observations (O) with as few members of the subset of assumptions (A) as possible; defining a solution to the determined relaxed abduction problem, by an automated computer which executes program code stored on a non-transitory computer-readable medium; and actuating the technical system in accordance with the defined solution. - View Dependent Claims (20)
-
Specification