The Persistence of Statistical Information

The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interval information. In interval based logics, we call it the persistence problem. Almost all proposed solutions are only applicable in the context of the situation calculus. A few of the solutions can deal with a restricted class of interval based information (i.e., informationthat is true throughout an interval). We consider a version of the persistence problem where we have statistical information about an interval. For example, given the average rainfall over the summer, what is the expected average rainfall during the fall? We describe a logic that can represent statistical interval based information, and then give a solution to the persistence problem for this kind of information.

• Type: Conference
• Year: 1994
• Where: TIME
• Authors: Scott D. Goodwin, Eric Neufeld, André Trudel
• Keywords: Automated Reasoning, Interval Based Logics, Persistence Problem, Situation Calculus, TIME 1994