A Logic of Part and Whole for Buffered Geometries

Heshan Du, Natasha Alechina

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

Abstract

We propose a new qualitative spatial logic for reasoning about part-whole relations between geometries (sets of points) represented in different geospatial datasets, in particular crowd-sourced datasets. Since geometries in crowd-sourced data can be less inaccurate or precise, we buffer geometries by a margin of error or level of tolerance σ, and define part-whole relation for buffered geometries. The relations between geometries considered in the logic are: buffered part of (BPT), Near and Far. We provide a sound and complete axiomatisation of the logic with respect to metric models and show that its satisfiability problem is NP-complete.

Original languageEnglish
Title of host publicationSTAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium
EditorsJoao Leite, Ulle Endriss
PublisherIOS Press
Pages91-100
Number of pages10
ISBN (Electronic)9781614994206
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event7th European Starting AI Researcher Symposium, STAIRS 2014 - Prague, Czech Republic
Duration: 18 Aug 201419 Aug 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume264
ISSN (Print)0922-6389

Conference

Conference7th European Starting AI Researcher Symposium, STAIRS 2014
Country/TerritoryCzech Republic
CityPrague
Period18/08/1419/08/14

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'A Logic of Part and Whole for Buffered Geometries'. Together they form a unique fingerprint.

Cite this