Predictive hypothesis exploration using planning
First 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, andwherein at least one of the set of plans includes at least one top-quality plan and the hypotheses includes at least one plausible hypothesis.
1 Assignment
0 Petitions
Accused Products
Abstract
In at least one embodiment, a method and a system include receiving a trace into a hypotheses generator from a source a trace, translating the trace and a state transition model into a planning problem using the hypotheses generator, producing a set of plans for the trace using at least one planner, translating each plan into hypothesis using the hypotheses generator and/or the planner, and returning the hypotheses from the hypotheses generator. In a further embodiment, the trace includes at least one of a future observation and a past observation. In at least one embodiment, the system includes at least one planner that develops a set of plans, a hypothesis generator, a database, at least one analytic, and at least one sensor where the hypotheses generator and/or the at least one planner converts each plan into a respective hypothesis.
58 Citations
20 Claims
-
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. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A method for operation of a system for predicting hypotheses, the hypotheses comprising explanations of observations, said method comprising:
-
receiving a trace including a request for at least one future observation or at least one past observation from a source of a trace, where a hypotheses generator 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 at least one 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 at least one planner translates each plan, where at least one hypothesis includes at least one of a future state and a past state; and returning the hypotheses from the hypotheses generator, and wherein the set of plans includes at least one top-quality plan and the hypotheses includes at least one plausible hypothesis. - View Dependent Claims (9, 10, 11, 12)
-
-
13. A system comprising:
-
at least one planner for the development of a set of plans; a hypothesis generator in communication with said at least one planner; a database in communication with said hypothesis generator and said at least one planner; at least one analytic in communication with said hypotheses generator and said database; and at least one sensor in communication with one of said at least one analytic, and wherein at least one of said hypotheses generator and said at least one planner converts each plan in the set of plans into a hypothesis, each plan in the set of plans including a sequence of action operators, each action operator maps a state into another state, the hypothesis comprising an explanation of observations. - View Dependent Claims (14, 15, 16, 17, 18)
-
-
19. A computer program product for predicting hypotheses, the hypotheses comprising explanations of observations, the computer program product comprising:
-
a non-transitory computer readable storage medium having encoded thereon; first program instructions executable by a processor to cause the processor to receive a trace; second program instructions executable by a processor to cause the processor to translate the trace and a state transition model into a planning problem; third program instructions executable by a processor to cause the processor to produce a set of plans for the trace, each plan including a sequence of action operators, each action operator maps a state into another state; fourth program instructions executable by a processor to cause the processor to translate each plan into a hypothesis; fifth program instructions executable by a processor to cause the processor to return the hypotheses; and wherein at least one of the set of plans include at least one top-quality plan and the hypotheses include at least one most plausible hypothesis. - View Dependent Claims (20)
-
Specification