Patent Document ID: 9449275
Application ID: 14232315

Base 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.

---

Claim 3:
3. The method as claimed in claim 1 , wherein the relaxed abduction problem is solved by transforming the relaxed abduction problem into a hypergraph, so that the tuples (A,O) are encoded by pareto-optimal paths in the hypergraph.