Abducing qualitative spatio-temporal histories from partial observations
Shyamanta Moni Hazarika, Anthony G. Cohn · 2002
We present a logic-based framework in which a qualitative spatio-temporal world model is constructed from local surveys i.e. partial spatio-temporal knowledge. Complete space-time histories are obtained through an abductive process driven by continuity constraints and a library of possibly domain specific behaviour patterns. The abduction technique is circumscription, which implements the heuristic that changes should only occur when forced to. We then discuss various additional heuristics to drive the selection of preferred explanations.