On Qualitative Route Descriptions

Representation, Agent Models, and Computational Complexity

Verfasser / Beitragende:
[Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz]
Ort, Verlag, Jahr:
2015
Enthalten in:
Journal of Philosophical Logic, 44/2(2015-04-01), 177-201
Format:
Artikel (online)
ID: 605539162
LEADER caa a22 4500
001 605539162
003 CHVBK
005 20210128100905.0
007 cr unu---uuuuu
008 210128e20150401xx s 000 0 eng
024 7 0 |a 10.1007/s10992-014-9333-7  |2 doi 
035 |a (NATIONALLICENCE)springer-10.1007/s10992-014-9333-7 
245 0 0 |a On Qualitative Route Descriptions  |h [Elektronische Daten]  |b Representation, Agent Models, and Computational Complexity  |c [Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz] 
520 3 |a 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. 
540 |a Springer Science+Business Media Dordrecht, 2014 
690 7 |a Qualitative reasoning  |2 nationallicence 
690 7 |a Spatial reasoning  |2 nationallicence 
690 7 |a Route planning  |2 nationallicence 
690 7 |a Qualitative description  |2 nationallicence 
690 7 |a Route descriptions  |2 nationallicence 
700 1 |a Westphal  |D Matthias  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
700 1 |a Wölfl  |D Stefan  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
700 1 |a Nebel  |D Bernhard  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
700 1 |a Renz  |D Jochen  |u Research School of Computer Science, The Australian National University, Canberra, Australia  |4 aut 
773 0 |t Journal of Philosophical Logic  |d Springer Netherlands  |g 44/2(2015-04-01), 177-201  |x 0022-3611  |q 44:2<177  |1 2015  |2 44  |o 10992 
856 4 0 |u https://doi.org/10.1007/s10992-014-9333-7  |q text/html  |z Onlinezugriff via DOI 
898 |a BK010053  |b XK010053  |c XK010000 
900 7 |a Metadata rights reserved  |b Springer special CC-BY-NC licence  |2 nationallicence 
908 |D 1  |a research-article  |2 jats 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-springer 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1007/s10992-014-9333-7  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Westphal  |D Matthias  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Wölfl  |D Stefan  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Nebel  |D Bernhard  |u Department of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Renz  |D Jochen  |u Research School of Computer Science, The Australian National University, Canberra, Australia  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t Journal of Philosophical Logic  |d Springer Netherlands  |g 44/2(2015-04-01), 177-201  |x 0022-3611  |q 44:2<177  |1 2015  |2 44  |o 10992