Patent Document ID: 9785755
Application ID: 14283867

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

---

Claim 6:
6. The method according to claim 1 , wherein returning the hypotheses includes displaying each hypothesis including any observations present in the trace and the states with linkages between a plurality of the observations and the states, wherein the hypotheses generator displays the hypotheses on a display, and wherein each hypothesis is a sequence of actions that explains observations in a system.