Modelling models of Robot navigation using formal spatial ontology

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3343, Issue , 2005, Pages 366-389

  Bateman, John ^a   Farrar, Scott ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS; NAVIGATION; ROBOTICS;

COGNITIVE ROBOTICS; ONTOLOGY; ROBOT NAVIGATION;

ROBOTS;

EID: 26444520375     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32255-9_21     Document Type: Conference Paper

References (37)

1. Kuipers, B.: The spatial semantic hierarchy. Artificial Intelligence 19 (2000) 191-233
2. Werner, S., Krieg-Brückner, B., Herrmann, T.: Modelling navigational knowledge by route graphs. In Freksa, C., Brauer, W., Habel, C., Wender, K., eds.: Spatial Cognition II - Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications. Springer, Berlin (2000) 295-316
3. Krieg-Brückner, B., Frese, U., Lüttich, K., Mandel, C., Mossakowski, T., Ross, R.: Specification of an Ontology for Route Graphs. In: this volume. (2004)
4. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontologies library (final). WonderWeb Deliverable D18, ISTC-CNR, Padova, Italy (2003)
5. Kuipers, B., Levitt, T.: Navigation and mapping in a large-scale space. AI Magazine 9 (1988) 25-43
6. Reprinted in Advances in Spatial Reasoning, Volume 2, Sushing Chen (Ed.), Norwood NJ: Ablex Publishing, 1990.
7. Kuipers, B.: A hierarchy of qualitative representations for space. In: Proceedings of the 10th International Workshop on Qualitative Reasoning about Physical Systems, Menlo Park, CA, AAAI Press (1996) 113-120 AAAI Technical Report WS-96-01.
8. McCarthy, J.: Situations, actions and causal laws. In Minsky, M., ed.: Semantic Information Processing. MIT Press (1968) 410-417
9. Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Bradford Books, Cambridge, MA (2001)
10. Krieg-Brückner, B., Röfer, T., Carmesin, H.O., Müller, R.: A taxonomy of spatial knowledge for navigation and its application to the bremen autonomous wheelchair. In Freksa, C., Habel, C., Wender, K., eds.: Spatial Cognition I - An interdisciplinary approach to representing and processing spatial knowledge. Springer, Berlin (1998) 373-397
11. Röfer, T., Lankenau, A.: Route-based robot navigation. Knstliche Intelligenz (2002) Themenheft Spatial Cognition.
12. Wallgrün, J.O.: Autonomous construction of hierarchical Voronoi-based route graph representations. In: this volume. (2004)
13. Bateman, J., Farrar, S.: Spatial ontology baseline. SFB/TR8 internal report I1-[OntoSpace]: D2, Collaborative Research Center for Spatial Cognition, University of Bremen, Germany (2004)
14. Guarino, N.: Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies 43 (1995) 625-640
15. Guarino, N., Welty, C.: An overview of OntoClean. In Staab, S., Studer, R., eds.: Handbook on Ontologies. Springer-Verlag, Heidelberg and Berlin (2004)
16. Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Communications of the ACM 45 (2002) 61-65
17. Hayes, P.J.: The naive physics manifesto. In Michie, D., ed.: Expert systems in the microelectronic age. Edinburgh University Press, Edinburgh, Scotland (1979)
18. Farrar, S., Bateman, J.: General ontology baseline. SFB/TR8 internal report I1-[OntoSpace]: D2, Collaborative Research Center for Spatial Cognition, University of Bremen, Germany (2004)
19. Borgo, S., Guarino, N., Masolo, C.: A pointless theory of space beased on strong congruence and connection. In Aiello, L., Doyle, J., eds.: Principles of knowledge representation and reasoning, Proceedings of the 5th International Conference KR96, San Mateo, CA, Morgan Kaufmann (1996)
20. Gärdenfors, P.: Conceptual spaces: the geometry of thought. MIT Press, Cambridge, MA. (2000)
21. Casati, R., Varzi, A.C.: Holes and other superficialities. MIT Press (Bradford Books), Cambridge, MA and London (1994)
22. Bateman, J.A., Farrar, S.: Towards a generic foundation for spatial ontology. In: Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS-2004), Trente, Italy (2004)
23. Cohn, A., Hazariki, S.: Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 43 (2001) 2-32
24. Lüttich, K., Mossakowski, T.: Specification of ontologies in CASL. In: Proceedings of the International Conference on Formal Ontology in Information Systems (FOIS-2004), Trento, Italy (2004)
25. Grenon, P., Smith, B.: SNAP and SPAN: Prolegomenon to geodynamic ontology. In: Spatial Cognition and Computation, (forthcoming)
26. Smith, B., Varzi, A.C.: The Niche. Nous 33 (1999) 214-238
27. Bittner, T., Smith, B.: A taxonomy of granular partitions. In: Proceedings of the Conference on Spatial Information Theory - COSIT 2001. Lecture Notes in Computer Science. Springer-Verlag, Berlin-Heidelberg (2001) 28-43
28. Bittner, T.: Granularity in reference to spatio-temporal location and relations. In: Proceedings of the 15th Florida Artificial Intelligence Research Symposium (FLAIRS). (2002)
29. Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. In: this volume. (2004)
30. Moratz, R., Fischer, K., Tenbrink, T.: Cognitive modelling of spatial reference for human-robot interaction. International Journal On Artificial Intelligence Tools 10 (2001)
31. Moratz, R., Tenbrink, T., Bateman, J., Fischer, K.: Spatial knowledge representation for human-robot interaction. In Freksa, C., Brauer, W., Habel, C., Wender, K., eds.: Spatial Cognition III. Springer, Berlin, Heidelberg (2002)
32. Tenbrink, T.: Identifying objects on the basis of spatial contrast: an empirical study. In: this volume. (2004)
33. Farquhar, A., Fikes, R., Rice, J.: The Ontolingua server: a tool for collaborative ontology construction. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge Based Systems Workshop (KAW95), Banff, Canada (1996)
34. Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of the 3rd. International Conference on Knowledge Representation and Reasoning, San Mateo, Morgan Kaufmann (1992) 165-176
35. Ross, R., Shi, H., Vierhuff, T., Krieg-Brückner, B., Bateman, J.: Towards dialogue based shared control of navigating robots. In: this volume. (2004)
36. Coventry, K.R., Garrod, S.C.: Saying, seeing and acting. The psychological semantics of spatial prepositions. Essays in Cognitive Psychology series. Psychology Press (2004)
37. Alshawi, H., ed.: The Core Language Engine. MIT Press, Cambridge, Massachusetts (1992)