On Qualitative Route Descriptions

Journal of Philosophical Logic 44 (2):177-201 (2015)

Abstract
The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with regard to ambiguities in them. We identify different agent models that differ in how agents are assumed to process route descriptions while navigating through route networks and discuss which agent models can be translated into PDL programs. Further, we analyze the computational complexity of matching route descriptions and paths in route networks in dependency of the agent model. Finally, we empirically evaluate the influence of the agent model on the optimization and the processing of route instructions
Keywords Qualitative reasoning  Spatial reasoning  Route planning  Qualitative description  Route descriptions
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-014-9333-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,999
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Application of Modal Logic to Programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Mill's Proof.Tim Mawson - 2002 - Philosophy 77 (3):375-405.
On the Information-Processing Demands of Spatial Reasoning.Sergio Morra - 2001 - Thinking and Reasoning 7 (4):347 – 365.
Q & A.Robert Rowland Smith - 2009 - The Philosophers' Magazine 47 (47):114-115.
Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.

Analytics

Added to PP index
2014-09-27

Total views
9 ( #777,343 of 2,266,725 )

Recent downloads (6 months)
1 ( #846,807 of 2,266,725 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature