Reasoning on Spatial Constraints over Regions

May 2004

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

Volume

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)

All Papers

We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason about the propagation or causality of semantic properties that hold for pairs of connected or unconnected regions. We extend SRCC by introducing meta-variables so that it can handle both the propagation of a semantic property for a specific region and general propagation rules for an arbitrary region. Moreover, we revise our algorithm that checks for the unsatisfiability of a given set of formulas, so that it can derive the necessary spatial constraints if the set is satisfiable. In the revised algorithm, the relative positional relation over regions is derived a constraint from the properties that hold for a single region or interrelationship over multiple regions. For example, this can be applied to determining where a new building should be built.