Qualitative simulation - Kuipers, BJ (Artif Intell, 1986)