1. A method of actuating a technical system, the method comprising: determining, by a data processor, a relaxed abduction problem; solving, by the data processor, the relaxed abduction problem; and actuating the technical system according to the solution of the relaxed abduction problem.