Research On Qualitative Spatial Representation And Reasoning Based On Region Extension

Qualitative Spatial Reasoning is an artificial intelligence method to deal with general spatial knowledge. It means using spatial theory and artificial intelligence to modeling, depict and express spatial object, and the qualitative analyze and disposal processing of relation of the spatial objects according to these. Qualitative Spatial Reasoning has been an mainly research field of Spatial Reasoning, and was diffusely applied in spatial data query, robot navigation and spatial programming etc. Research, analyze and discussion on expression and reasoning method of qualitative spatial are very influential no matter to the development of itself or the application of Spatial Reasoning.Based on RCC theory, and combine with morphology we made a research on the formalizing model of spatial topology relation, direction relation and distance relation's integrated expression, in addition considering hominine cognize process. The main innovation can be classed as four parts:1. Take region as spatial fundamental notion, the connection relation (C) of region connection calculous (RCC) and the congruent relation (CG) of morphology as original spatial relation, and based on the above introduce into region extend, the measure function of region, we put forward a measure method of formalizing the spatial relation which use region as measure union, sequentially created a formalizing model based on region extend uniform expression of spatial relation.2. Based on the region extend algorithm, we generate a common formalization model, which presents the representations about spatial topological relation, direction relation, distant relation and the size of the region.3. Studied on the formalizing model's calculate property based on region extend expression of spatial relation. Make an improvement on Clementini's qualitative distance based on region extend measurement, then put forward a distance operation method on discretional direction which overcame Clementini's qualitative distance model's limitation. Thus provide a novel method for integrating reasoning direction relation between regions and distance relation.4. Based on CHRs and ECL~iPS~e Prolog, discussed the realization of prolog, topological, direction and distance relation reasoning.Based on the innovation points, Simulate the research content, at last, by the resolution processing of a spatial programming case indicate that the qualitative spatial relation expression model based on region extension is feasible and the qualitative spatial reasoning method based on the model is effective. The spatial relation expression's formalizing model based on region extension and it's reasoning methods are very important in spatial navigation and programming and so on.