Research On Unified Model Of Moving Interval And Static Interval In Dynamic Space

Qualitative spatial reasoning is mainly used to analyze and deal with issues in the spatialinformation of Artificial Intelligence. With the rise of the application in intelligence house,robot navigation, road network, etc., spatio-temporal reasoning-under the dynamic spatialcircumstances has become a hot study attracting scholars in recent years. As the foundationand significance in the study of spatial relation, the research of interval relation especially thatat the specific state of motion in dynamic space has been extremely popular. In realisticcircumstance, however, we need to consider various states of motion at the same time, whichis not single. Otherwise, as time goes on, the state if motion would change dynamically. Asfor the complex and change of the state of motion recently, interval relation still needs aunified expression-reasoning model.For the relation between the intervals whose moving status is uncertain, this paper firstlysegments the structure of moving or static interval, and then proposes a unified expressionmodel UMMS of dynamic and static intervals based on intersectional matrix. Here gives themain work:1. Describe the background, the purpose and the significance of the study, thensummarize and analyze the research status quo of interval relation.2. Express the background knowledge in theory referring to the paper.3. We propose a unified expression model UMMS of dynamic and static interval basedon the intersectional matrix by partitioning the structure of dynamic intervals. The model candistinguish and recognize total49kinds of dynamic interval relations including26kinds ofinterval relations between moving intervals,18kinds of interval relations between a movinginterval and a static interval,5kinds of interval relations between static intervals. For thefurther study of dynamic changes of the relations, we analyze the conceptual neighborhoodrelations between dynamic interval relations and present the CNG(conceptual neighborhoodgraph).4. Based on the representation and matrix characters of the model UMMS, this papergives the inverse reasoning algorithm of the basic interval relations by computing thetransposition matrix. For the next, we discuss the composite algorithm of the model UMMS in the interval relation using the composite result of Allen-13and give the composite table ofdynamic interval relations.5. At last, we design and implement the demo system of Representation and Reasoning ofthe model UMMS.The model UMMS proposed in this paper considers the structure characters of movingintervals and static intervals, describes the basic relations with the intersectional matrix.Comparing with the existing interval relation models, our model is comprehensivelyvisualized in the motion and matrix, which is helpful analyzing interval relation in mixedmoving status. The model can be used to describe the continuity of the changes of intervalrelations by giving the CNG. As follows, we present the inverse and composite algorithm ofbasic interval relations. We take full advantage of Allen-13’s composite table to guarantee weget correct results in the course of composite. At last, we give the demo system.The study in this paper can be seen as the fundamental of model studying in2-dimensionor multi-dimension space.