On the Partial Observability of Temporal Uncertainty

We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have required the realization of all exogenous processes to be made entirely visible to the agent. We relax this assumption and propose an extension to the Simple Temporal Problem with Uncertainty (STPU), one in which the executing agent is made aware of the occurrence of only a subset of uncontrollable events. We argue that such a formalism is needed to encode those complex environments whose external phenomena share a common, hidden source of temporal causality. After characterizing the levels of controllability in the resulting Partially Observable STPU and various special cases, we generalize a known family of reduction rules to account for this relaxation, introducing the properties of extended contingency and sufficient observability. We demonstrate that these modifications enable a polynomial filtering a...

• Type: Conference
• Year: 2007
• Where: AAAI
• Authors: Michael D. Moffitt
• Keywords: AAAI 2007, Constraintbased Temporal Reasoning, Intelligent Agents, Simple Temporal Problem, Temporal CSPs