A Constraint Satisfaction Approach to Geospatial Reasoning

Abstract

The large number of data sources on the Internet can be used to augment and verify the accuracy of geospa-tial sources, such as gazetteers and annotated satellite imagery. Data sources such as satellite imagery, maps, gazetteers and vector data have been traditionally used in geographic information systems (GIS), but nontradi-tional geospatial data, such as online phone books and property records are more difficult to relate to imagery. In this paper, we present a novel approach to combining extracted information from imagery, road vector data, and online data sources. We represent the problem of identifying buildings in satellite images as a constraint satisfaction problem (CSP) and use constraint program-ming to solve it. We apply this technique to real-world data sources in El Segundo, CA and our experimen-tal evaluation shows how this approach can accurately identify buildings when provided with both traditional and nontraditional data sources.