Publication Details
Title: Spatial Reasoning Based on Allen's Temporal Logic
Author: H. W. Guesgen
Group: ICSI Technical Reports
Date: July 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-049.pdf
Overview:
"If one were to categorize the behavior of the intelligent machine of the future, one might do so on the basis of the machine's capabilities to carry out temporal reasoning over interrelated entities that change with time; to carry out spatial reasoning for solving problems dealing with entities occupying space; and, on a more complex level, to reason over interrelated entities occupying space and changing in time with respect to their attributes and spatial interrelationships." --Avi Kak [12] There are a lot of approaches to spatial reasoning which are more or less efficient. Nevertheless, they are not always adequate from the cognitive point of view. What we want to suggest in this paper is reasoning based on qualitative descriptions of spatial relationships. We introduce a set of basic relations similar to the one Allen suggested for temporal reasoning and we show how inferences can be performed on this set. We start with one dimensional descriptions which we extend to more-dimensional ones in various ways. A theoretical base is provided and the soundness of our approach is proven. Although we do not claim our approach to be suitable in general, it is an efficient and straightforward way in many situations to handle spatial knowledge.
Bibliographic Information:
ICSI Technical Report TR-89-049
Bibliographic Reference:
H. W. Guesgen. Spatial Reasoning Based on Allen's Temporal Logic. ICSI Technical Report TR-89-049, July 1989
Author: H. W. Guesgen
Group: ICSI Technical Reports
Date: July 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-049.pdf
Overview:
"If one were to categorize the behavior of the intelligent machine of the future, one might do so on the basis of the machine's capabilities to carry out temporal reasoning over interrelated entities that change with time; to carry out spatial reasoning for solving problems dealing with entities occupying space; and, on a more complex level, to reason over interrelated entities occupying space and changing in time with respect to their attributes and spatial interrelationships." --Avi Kak [12] There are a lot of approaches to spatial reasoning which are more or less efficient. Nevertheless, they are not always adequate from the cognitive point of view. What we want to suggest in this paper is reasoning based on qualitative descriptions of spatial relationships. We introduce a set of basic relations similar to the one Allen suggested for temporal reasoning and we show how inferences can be performed on this set. We start with one dimensional descriptions which we extend to more-dimensional ones in various ways. A theoretical base is provided and the soundness of our approach is proven. Although we do not claim our approach to be suitable in general, it is an efficient and straightforward way in many situations to handle spatial knowledge.
Bibliographic Information:
ICSI Technical Report TR-89-049
Bibliographic Reference:
H. W. Guesgen. Spatial Reasoning Based on Allen's Temporal Logic. ICSI Technical Report TR-89-049, July 1989