Skip navigation
Skip navigation

Customizing qualitative spatial and temporal calculi

Renz, Jochen; Schmid, Falko

Description

Qualitative spatial and temporal calculi are usually formulated on a particular level of granularity and with a particular domain of spatial or temporal entities. If the granularity or the domain of an existing calculus doesn't match the requirements of an application, it is either possible to express all information using the given calculus or to customize the calculus. In this paper we distinguish the possible ways of customizing a spatial and temporal calculus and analyze when and how...[Show more]

dc.contributor.authorRenz, Jochen
dc.contributor.authorSchmid, Falko
dc.coverage.spatialGold Coast Australia
dc.date.accessioned2015-12-08T22:38:49Z
dc.date.createdDecember 2-6 2007
dc.identifier.isbn0302-9743
dc.identifier.urihttp://hdl.handle.net/1885/35969
dc.description.abstractQualitative spatial and temporal calculi are usually formulated on a particular level of granularity and with a particular domain of spatial or temporal entities. If the granularity or the domain of an existing calculus doesn't match the requirements of an application, it is either possible to express all information using the given calculus or to customize the calculus. In this paper we distinguish the possible ways of customizing a spatial and temporal calculus and analyze when and how computational properties can be inherited from the original calculus. We present different algorithms for customizing calculi and proof techniques for analyzing their computational properties. We demonstrate our algorithms and techniques on the Interval Algebra for which we obtain some interesting results and observations. We close our paper with results from an empirical analysis which shows that customizing a calculus can lead to a considerably better reasoning performance than using the non-customized calculus.
dc.publisherSpringer
dc.relation.ispartofseriesAustralian Joint Conference on Artificial Intelligence (AI 2007)
dc.sourceAI 2007: 20th Australian Joint Conference on Artificial Intelligence Proceedings
dc.subjectKeywords: Algebra; Computational methods; Information analysis; Computational properties; Interval Algebra; Proof techniques; Temporal calculi; Temporal logic
dc.titleCustomizing qualitative spatial and temporal calculi
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2007
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB130
local.type.statusPublished Version
local.contributor.affiliationRenz, Jochen, College of Engineering and Computer Science, ANU
local.contributor.affiliationSchmid, Falko, Universitat Bremen
local.description.embargo2037-12-31
local.bibliographicCitation.startpage293
local.bibliographicCitation.lastpage304
dc.date.updated2015-12-08T10:10:59Z
local.identifier.scopusID2-s2.0-38349076593
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Renz_Customizing_qualitative_2007.pdf70.75 kBAdobe PDF    Request a copy
02_Renz_Customizing_qualitative_2007.pdf262.33 kBAdobe PDF    Request a copy
03_Renz_Customizing_qualitative_2007.pdf447.28 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator