1. A method for operation of a system for predicting hypotheses, the hypotheses comprising explanations of observations, said method comprising: receiving a trace from a source of a trace, where a hypotheses generator in the system receives the trace; translating the trace and a state transition model into a planning problem, where the hypotheses generator translates the trace and the state transition model into the planning problem; producing a set of plans for the trace, where a planner produces the set of plans, each plan including a sequence of action operators, each action operator maps a state into another state; translating each plan into a hypothesis, where at least one of the hypotheses generator and the planner translates each plan into the respective hypothesis; and returning the hypotheses, where the hypotheses generator returns the hypotheses, and wherein at least one of the set of plans includes at least one top-quality plan and the hypotheses includes at least one plausible hypothesis.