Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry |
| |
| Authors: | Diedrich Wolter |
| |
| Institution: | SFB/TR 8, Universit?t Bremen , Bremen , Germany |
| |
| Abstract: | Abstract Qualitative spatial reasoning is based on calculi which comprise relations and operation tables that encode operations like relation composition. Designing a calculus involves determining these tables and analyzing reasoning properties—a demanding task that is susceptible to errors if performed manually. This paper is concerned with automating computation of operation tables and analysis of qualitative calculi over real-valued domains like the plane  | |
| Keywords: | qualitative spatio-temporal reasoning algebraic geometry geometric theorem proving |
|
|
