Abstract
A framework to deal with spatial patterns at the qualitative level of mereotopology is proposed. The main contribution is to provide formal tools for issues of model equivalence and model similarity. The framework uses a multi-modal language S4u interpreted on topological spaces (rather than Kripke semantics) to describe the spatial patterns. Model theoretic notions such as topological bisimulations and topological model comparison games are introduced to define a distance on the space of all topological models for the language S4u. In the process, a new take on mereotopology is given, prompting for a comparison with prominent systems, such as RCC.
Original language | English |
---|---|
Title of host publication | Logics in Artificial Intelligence - European Workshop, JELIA 2000, Proceedings |
Place of Publication | Berlin |
Publisher | Springer, Springer Nature |
Pages | 73-86 |
Number of pages | 14 |
Volume | 1919 |
ISBN (Print) | 3540411313, 9783540411314 |
Publication status | Published - 2000 |
Externally published | Yes |
Event | European Workshop on Logics in Artificial Intelligence, JELIA 2000 - Malaga, Spain Duration: 29 Sept 2000 → 2 Oct 2000 |
Other
Other | European Workshop on Logics in Artificial Intelligence, JELIA 2000 |
---|---|
Country/Territory | Spain |
City | Malaga |
Period | 29/09/00 → 2/10/00 |
Keywords
- Mereotopology
- Model comparison games
- Qualitative spatial reasoning
- RCC