Tags:boolean algebra, boolean region connection calculus, contact logics, qualitattive spatial reasoning, regular closed polygon, regular closed subset, topological logic, topological space, unifiability problem, unifiable formula, unification and unification type
Abstract:
Topological logics are formalisms for reasoning about topological relations between regions. In this paper, we introduce a new inference problem for topological logics, the unifiability problem, which extends the validity problem by allowing one to replace variables by terms before testing for validity. Our main result is that, within the context of the mereotopology of all regular closed polygons of the real plane, unifiable formulas always have finite complete sets of unifiers.
About the unification type of topological logics over Euclidean spaces