Statistical Probabilities for Planning
James E. Allen, Martin, Nathaniel G. · UR Research (University of Rochester)
This paper describes a formalism, Statistical Event Logic (SEL), that adds statistical reasoning to Allen's planning language [Allen et al., 1991 (Reasoning about Plans)]. Interval temporal logic supports reasoning about time and events; probability inferred from the planner's experience supports reasoning about incomplete information. Statistical Event Logic can represent knowledge that allows a planner to reason both about choices based on incomplete knowledge and about the future likely to result from these choices.