| | |
Summary: Unit Testing for Qualitative Spatial and Temporal Reasoning
Carl Schultz, Robert Amor, Hans Guesgen
Affiliation(s) Go Here in 9 Point Times Roman
Author(s) Address(es) Go(es) Here in 9 Point Times Roman
Author(s) Address(es) Go(es) Here in 9 Point Times Roman
Author(s) E-mail(s) Go(es) Here in 9 Point Times Roman
Abstract
Researchers in commonsense, qualitative spatial and
temporal reasoning (QSTR) provide flexible and intuitive
methods for reasoning about vague and uncertain
information including spatial orientation, topology and
proximity. Despite a number of theoretical advances in this
field, there are relatively few applications that employ these
methods. The central problem is a significant lack of
application-level standards and validation methods for
supporting developers in adapting and integrating QSTR
with their domain specific qualitative spatial and temporal
models. To address this we present a significantly novel
methodology for QSTR application validation, inspired by
research in software engineering. In this paper we focus on
|
