Exploiting Temporal Continuity in Qualitative Spatial Calculi
Anthony G. Cohn, Nicholas Mark Gotts, Zeyang Cui, D.A. Randell, Brandon Bennett, J. M. Gooday · 1998
Abstract Artificial Intelligence (Al) must secure rigorously derived formal theories that support our everyday understanding of properties of space and time if intelligent autonomous machines are eventually to be produced. Without such a foundation, we have no means to verify whether any program will function correctly, or indeed, safely. Over the last decade temporal logics have been extensively and successfully used as formal tools in both AI and software engineering-see for example, Galton (1987). Logics describing space have not been developed and exploited to the same degree, although there has been more interest recently. Our research assumes that it is desirable to do this in order to place future applications of spatial reasoning on a sound foundation. Spatial logics also have uses in software engineering-in the visualization and animation of pro grams (Kahn and Saraswat, 1990).