Skip to main content
main-content
Top

Hint

Swipe to navigate through the chapters of this book

2015 | OriginalPaper | Chapter

Strong Spatial Cognition

Author: Christian Freksa

Published in: Spatial Information Theory

Publisher: Springer International Publishing

share
SHARE

Abstract

The ability to perform spatial tasks is crucial for everyday life and of great importance to cognitive agents such as humans, animals, and autonomous robots. Natural embodied and situated agents often solve spatial tasks without detailed knowledge about geometric, topological, or mechanical laws; they directly relate actions to effects enabled by spatio-temporal affordances in their bodies and their environments. Accordingly, we propose a cognitive processing paradigm that makes the spatio-temporal substrate an integral part of the problem-solving engine. We show how spatial and temporal structures in body and environment can support and replace reasoning effort in computational processes: physical manipulation and perception in spatial environments substitute formal computation, in this approach. The strong spatial cognition paradigm employs affordance-based object-level problem solving to complement knowledge-level computation. The paper presents proofs of concept by providing physical spatial solutions to familiar spatial problems for which no equivalent computational solutions are known.

To get access to this content you need the following product:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Testen Sie jetzt 15 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




Testen Sie jetzt 15 Tage kostenlos.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Testen Sie jetzt 15 Tage kostenlos.

Literature
go back to reference Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983) CrossRefMATH Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983) CrossRefMATH
go back to reference Balbiani, P., Condotta, J.F., Ligozat, G.: Reasoning about generalized intervals: Horn representability and tractability. In: TIME 2000, pp. 23–29 (2000) Balbiani, P., Condotta, J.F., Ligozat, G.: Reasoning about generalized intervals: Horn representability and tractability. In: TIME 2000, pp. 23–29 (2000)
go back to reference Braitenberg, V.: Vehicles: Experiments in Synthetic Psychology. MIT Press, Cambridge (1984) Braitenberg, V.: Vehicles: Experiments in Synthetic Psychology. MIT Press, Cambridge (1984)
go back to reference Brooks, R.A.: Intelligence without representation. Artif. Intell. 47, 139–159 (1991) CrossRef Brooks, R.A.: Intelligence without representation. Artif. Intell. 47, 139–159 (1991) CrossRef
go back to reference Chandrasekaran, B.: Multimodal cognitive architecture: Making perception more central to intelligent behavior. In: Proceedings of the AAAI, pp. 1508–1512 (2006) Chandrasekaran, B.: Multimodal cognitive architecture: Making perception more central to intelligent behavior. In: Proceedings of the AAAI, pp. 1508–1512 (2006)
go back to reference Chomsky, N.: Formal properties of grammar. In: Luce, R.D., Bush, R.R., Galanter, E. (eds.) Handbook of Mathematical Psychology II, pp. 323–418. John Wiley and Sons, London (1963) Chomsky, N.: Formal properties of grammar. In: Luce, R.D., Bush, R.R., Galanter, E. (eds.) Handbook of Mathematical Psychology II, pp. 323–418. John Wiley and Sons, London (1963)
go back to reference Clancey, W.: Situated Cognition: on Human Knowledge and Computer Representations. Cambridge University Press, Cambridge (1997) Clancey, W.: Situated Cognition: on Human Knowledge and Computer Representations. Cambridge University Press, Cambridge (1997)
go back to reference Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta informaticae 46(1), 1–29 (2001) MathSciNetMATH Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta informaticae 46(1), 1–29 (2001) MathSciNetMATH
go back to reference Davis, E.: Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo (1990) Davis, E.: Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo (1990)
go back to reference Descartes, R.: Discourse on the method, Part VI. In: Newby, I., Newby, G. (prods.) The Project Gutenberg EBook 2008, #59 (1637) Descartes, R.: Discourse on the method, Part VI. In: Newby, I., Newby, G. (prods.) The Project Gutenberg EBook 2008, #59 (1637)
go back to reference Dewdney, A.K.: The Armchair Universe. W.H. Freeman and Company, San Francisco (1988) Dewdney, A.K.: The Armchair Universe. W.H. Freeman and Company, San Francisco (1988)
go back to reference Dirlich, G., Freksa, C., Furbach, U.: A central problem in representing human knowledge in artificial systems: The transformation of intrinsic into extrinsic representations. In: Proceedings of the 5th Cognitive Science Conference, Rochester (1983) Dirlich, G., Freksa, C., Furbach, U.: A central problem in representing human knowledge in artificial systems: The transformation of intrinsic into extrinsic representations. In: Proceedings of the 5th Cognitive Science Conference, Rochester (1983)
go back to reference Dreyfus, H.L.: What Computers Can’t Do. The Limits of Artificial Intelligence, Revised edn. Harper and Row, New York (1979) Dreyfus, H.L.: What Computers Can’t Do. The Limits of Artificial Intelligence, Revised edn. Harper and Row, New York (1979)
go back to reference Dubba, K.S.R., Cohn, A.G., Hogg, D.C., Bhatt, M., Dylla, F.: Learning relational event models from video. J. Artif. Intell. Res. 53, 41–90 (2015) MathSciNetMATH Dubba, K.S.R., Cohn, A.G., Hogg, D.C., Bhatt, M., Dylla, F.: Learning relational event models from video. J. Artif. Intell. Res. 53, 41–90 (2015) MathSciNetMATH
go back to reference Dylla, F., Mossakowski, T., Schneider, T., Wolter, D.: Algebraic properties of qualitative spatio-temporal calculi. In: Tenbrink, T., Stell, J., Galton, A., Wood, Z. (eds.) COSIT 2013. LNCS, vol. 8116, pp. 516–536. Springer, Heidelberg (2013) CrossRef Dylla, F., Mossakowski, T., Schneider, T., Wolter, D.: Algebraic properties of qualitative spatio-temporal calculi. In: Tenbrink, T., Stell, J., Galton, A., Wood, Z. (eds.) COSIT 2013. LNCS, vol. 8116, pp. 516–536. Springer, Heidelberg (2013) CrossRef
go back to reference Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. Intern. J. Geogr. Inf. Syst. 5(2), 161–174 (1991) CrossRef Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. Intern. J. Geogr. Inf. Syst. 5(2), 161–174 (1991) CrossRef
go back to reference Falomir, Z., Museros Cabedo, L., Castelló, V., González Abril, L.: Qualitative distances and qualitative image descriptions for representing indoor scenes in robotics. Pattern Recogn. Lett. 34(7), 731–743 (2013) CrossRef Falomir, Z., Museros Cabedo, L., Castelló, V., González Abril, L.: Qualitative distances and qualitative image descriptions for representing indoor scenes in robotics. Pattern Recogn. Lett. 34(7), 731–743 (2013) CrossRef
go back to reference Feigenbaum, E., Feldman, J.: Computers and Thought. McGraw-Hill, New York (1963) MATH Feigenbaum, E., Feldman, J.: Computers and Thought. McGraw-Hill, New York (1963) MATH
go back to reference Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh, M., Travé-Massuyès, L. (eds.) Decision Support Systems and Qualitative Reasoning, pp. 181–187. North-Holland, Amsterdam (1991a) Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh, M., Travé-Massuyès, L. (eds.) Decision Support Systems and Qualitative Reasoning, pp. 181–187. North-Holland, Amsterdam (1991a)
go back to reference Freksa, C.: Qualitative spatial reasoning. In: Mark, D.M., Frank, A.U. (eds.) Cognitive and Linguistic Aspects of Geographic Space, pp. 361–372. Kluwer, Dordrecht (1991b) CrossRef Freksa, C.: Qualitative spatial reasoning. In: Mark, D.M., Frank, A.U. (eds.) Cognitive and Linguistic Aspects of Geographic Space, pp. 361–372. Kluwer, Dordrecht (1991b) CrossRef
go back to reference Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Campari, I., Formentini, U. (eds.) GIS 1992. LNCS, vol. 639, pp. 162–178. Springer, Heidelberg (1992) CrossRef Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Campari, I., Formentini, U. (eds.) GIS 1992. LNCS, vol. 639, pp. 162–178. Springer, Heidelberg (1992) CrossRef
go back to reference Freksa, C.: Spatial and Temporal Structures in Cognitive Processes. In: Freksa, C., Jantzen, M., Valk, R. (eds.) Foundations of Computer Science. LNCS, vol. 1337, pp. 379–387. Springer, Heidelberg (1997) CrossRef Freksa, C.: Spatial and Temporal Structures in Cognitive Processes. In: Freksa, C., Jantzen, M., Valk, R. (eds.) Foundations of Computer Science. LNCS, vol. 1337, pp. 379–387. Springer, Heidelberg (1997) CrossRef
go back to reference Freksa, C.: Spatial aspects of task-specific wayfinding maps: A representation-theoretic perspective. In: Gero, J.S., Tversky, B. (eds.) Visual and Spatial Reasoning in Design, pp. 15–32. Key Centre of Design Computing and Cognition, University of Sydney, Sydney (1999) Freksa, C.: Spatial aspects of task-specific wayfinding maps: A representation-theoretic perspective. In: Gero, J.S., Tversky, B. (eds.) Visual and Spatial Reasoning in Design, pp. 15–32. Key Centre of Design Computing and Cognition, University of Sydney, Sydney (1999)
go back to reference Freksa, C.: Spatial computing – How spatial structures replace computational effort. In: Raubal, M., Mark, D., Frank, A. (eds.) Cognitive and Linguistic Aspects of Geographic Space. Springer, Heidelberg (2013) Freksa, C.: Spatial computing – How spatial structures replace computational effort. In: Raubal, M., Mark, D., Frank, A. (eds.) Cognitive and Linguistic Aspects of Geographic Space. Springer, Heidelberg (2013)
go back to reference Freksa, C.: Strong spatial cognition (ext. abstract). In: Stewart, K., Pebesma, E., Navratil, G., Fogliaroni, P., Duckham, M. (eds.) Ext. Abstr. Proc. GIScience 2014. GEOinfo 40, 282-285, Vienna. Rev. version in Cognitive Processing 15 (Suppl 1): 103-105 (2014) Freksa, C.: Strong spatial cognition (ext. abstract). In: Stewart, K., Pebesma, E., Navratil, G., Fogliaroni, P., Duckham, M. (eds.) Ext. Abstr. Proc. GIScience 2014. GEOinfo 40, 282-285, Vienna. Rev. version in Cognitive Processing 15 (Suppl 1): 103-105 (2014)
go back to reference Freksa, C.: Computational problem solving in spatial substrates – A cognitive systems engineering approach. Int. J. Softw. Inf. 9(2), 279–288 (2015) Freksa, C.: Computational problem solving in spatial substrates – A cognitive systems engineering approach. Int. J. Softw. Inf. 9(2), 279–288 (2015)
go back to reference Freksa, C., Barkowsky, T.: On the relation between spatial concepts and geographic objects. In: Burrough, P., Frank, A. (eds.) Geographic objects with indeterminate boundaries, pp. 109–121. Taylor and Francis, London (1996) Freksa, C., Barkowsky, T.: On the relation between spatial concepts and geographic objects. In: Burrough, P., Frank, A. (eds.) Geographic objects with indeterminate boundaries, pp. 109–121. Taylor and Francis, London (1996)
go back to reference Freksa, C., Barkowsky, T.: On the duality and on the integration of propositional and spatial representations. In: Habel, C., Rickheit, G. (eds.) Mental Models in Discourse Processing and Reasoning, pp. 195–212. Elsevier, Amsterdam (1999) CrossRef Freksa, C., Barkowsky, T.: On the duality and on the integration of propositional and spatial representations. In: Habel, C., Rickheit, G. (eds.) Mental Models in Discourse Processing and Reasoning, pp. 195–212. Elsevier, Amsterdam (1999) CrossRef
go back to reference Freksa, C., Röhrig, R.: Dimensions of qualitative spatial reasoning. In: Piera Carreté, N., Singh, M.G. (eds.) Qualitative Reasoning and Decision Technologies, pp. 483–492. CIMNE, Barcelona (1993) Freksa, C., Röhrig, R.: Dimensions of qualitative spatial reasoning. In: Piera Carreté, N., Singh, M.G. (eds.) Qualitative Reasoning and Decision Technologies, pp. 483–492. CIMNE, Barcelona (1993)
go back to reference Freksa, C., Schultheis, H.: Three ways of using space. In: Montello, D.R., Grossner, K.E., Janelle, D.G. (eds.) Space in Mind: Concepts for Spatial Education. MIT Press, Cambridge (2014) Freksa, C., Schultheis, H.: Three ways of using space. In: Montello, D.R., Grossner, K.E., Janelle, D.G. (eds.) Space in Mind: Concepts for Spatial Education. MIT Press, Cambridge (2014)
go back to reference Freuder, E., Mackworth, A. (eds.): Constraint-Based Reasoning. MIT Press, Cambridge (1994) MATH Freuder, E., Mackworth, A. (eds.): Constraint-Based Reasoning. MIT Press, Cambridge (1994) MATH
go back to reference Gentner, D.: Structure-mapping: A theoretical framework for analogy. Cogn. Sci. 7(2), 155–170 (1983) CrossRef Gentner, D.: Structure-mapping: A theoretical framework for analogy. Cogn. Sci. 7(2), 155–170 (1983) CrossRef
go back to reference Gibson, J.J.: The Ecological Approach to Visual Perception. Lawrence Erlbaum Associates, New Jersey (1979) Gibson, J.J.: The Ecological Approach to Visual Perception. Lawrence Erlbaum Associates, New Jersey (1979)
go back to reference Glasgow, J., Narayanan, N.H., Chandrasekaran, B. (eds.): Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press, Menlo Park (1995) Glasgow, J., Narayanan, N.H., Chandrasekaran, B. (eds.): Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press, Menlo Park (1995)
go back to reference Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.): Diagrammatic Representation and Inference. Springer, Berlin (2010) Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.): Diagrammatic Representation and Inference. Springer, Berlin (2010)
go back to reference Guesgen, H.W.: Spatial reasoning based on Allen’s temporal logic, TR-89-049. International Computer Science Institute, Berkeley (1989) Guesgen, H.W.: Spatial reasoning based on Allen’s temporal logic, TR-89-049. International Computer Science Institute, Berkeley (1989)
go back to reference Hobbs, J.: Granularity. In: International Joint Conference Artificial Intelligence, pp. 432–435 (1985) Hobbs, J.: Granularity. In: International Joint Conference Artificial Intelligence, pp. 432–435 (1985)
go back to reference Johnson-Laird, P.N.: Mental Models. Harvard University Press, Cambridge (1983) Johnson-Laird, P.N.: Mental Models. Harvard University Press, Cambridge (1983)
go back to reference Johnson-Laird, P.N.: Mental models, deductive reasoning, and the brain. In: Gazzaniga, M.S. (ed.) The Cognitive Neurosciences, 65, pp. 999–1008. MIT Press, Cambridge (1995) Johnson-Laird, P.N.: Mental models, deductive reasoning, and the brain. In: Gazzaniga, M.S. (ed.) The Cognitive Neurosciences, 65, pp. 999–1008. MIT Press, Cambridge (1995)
go back to reference Knuth, D.: The Art of Computer Programming. Fundamental Algorithms, vol. 1, 3rd edn. Addison-Wesley, Reading (1997) MATH Knuth, D.: The Art of Computer Programming. Fundamental Algorithms, vol. 1, 3rd edn. Addison-Wesley, Reading (1997) MATH
go back to reference Kosslyn, S.M.: Image and Mind. Harvard University Press, Cambridge (1980) Kosslyn, S.M.: Image and Mind. Harvard University Press, Cambridge (1980)
go back to reference Kosslyn, S.M.: Image and Brain - The Resolution of the Imagery Debate. MIT Press, Cambridge (1994) Kosslyn, S.M.: Image and Brain - The Resolution of the Imagery Debate. MIT Press, Cambridge (1994)
go back to reference Kreutzmann, A., Wolter, D., Dylla, F., Lee, J.H.: Towards safe navigation by formalizing navigation rules. Intern. J. Marine Navig. Saf. Sea Transp. 7(2), 161–168 (2013) CrossRef Kreutzmann, A., Wolter, D., Dylla, F., Lee, J.H.: Towards safe navigation by formalizing navigation rules. Intern. J. Marine Navig. Saf. Sea Transp. 7(2), 161–168 (2013) CrossRef
go back to reference Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980) Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980)
go back to reference Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11, 65–99 (1987) CrossRef Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11, 65–99 (1987) CrossRef
go back to reference Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Frank, A.U., Campari, I. (eds.) COSIT 1993. LNCS, vol. 716, pp. 54–68. Springer, Heidelberg (1993) Ligozat, G.: Qualitative triangulation for spatial reasoning. In: Frank, A.U., Campari, I. (eds.) COSIT 1993. LNCS, vol. 716, pp. 54–68. Springer, Heidelberg (1993)
go back to reference Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley, London (2011) MATH Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley, London (2011) MATH
go back to reference Lungarella, M., Hafner, V., Pfeifer, R., Yokoi, H.: An artificial whisker sensor for robotics. In: IEEE Conference on Intelligent Robots and Systems (IROS), pp. 2931–2936 (2002) Lungarella, M., Hafner, V., Pfeifer, R., Yokoi, H.: An artificial whisker sensor for robotics. In: IEEE Conference on Intelligent Robots and Systems (IROS), pp. 2931–2936 (2002)
go back to reference Marr, D.: Vision. MIT Press, Cambridge (1982) Marr, D.: Vision. MIT Press, Cambridge (1982)
go back to reference Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Horn, W. (ed.) ECAI 2000, pp. 234–238. IOS Press, Amsterdam (2000) Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Horn, W. (ed.) ECAI 2000, pp. 234–238. IOS Press, Amsterdam (2000)
go back to reference Mossakowski, T., Moratz, R.: Qualitative reasoning about relative direction of oriented points. Artif. Intell. 180, 34–45 (2012) CrossRefMathSciNetMATH Mossakowski, T., Moratz, R.: Qualitative reasoning about relative direction of oriented points. Artif. Intell. 180, 34–45 (2012) CrossRefMathSciNetMATH
go back to reference Nebel, B., Bürckert, H.J.: Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. JACM 42(1), 43–66 (1995) CrossRefMATH Nebel, B., Bürckert, H.J.: Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. JACM 42(1), 43–66 (1995) CrossRefMATH
go back to reference Newell, A., Shaw, J.C., Simon, H.A.: Report on a general problem-solving program. In: Proceedings of the International Conference on Information Processing, pp. 256–264. UNESCO, Paris (1959) Newell, A., Shaw, J.C., Simon, H.A.: Report on a general problem-solving program. In: Proceedings of the International Conference on Information Processing, pp. 256–264. UNESCO, Paris (1959)
go back to reference Norman, D.A.: The Psychology of Everyday Things. Basic Books Inc., New York (1980) Norman, D.A.: The Psychology of Everyday Things. Basic Books Inc., New York (1980)
go back to reference Norman, D.A.: Cognition in the head and in the world: An introduction to the special issue on situated action. Cogn. Sci. 17, 1–6 (1993) CrossRefMathSciNet Norman, D.A.: Cognition in the head and in the world: An introduction to the special issue on situated action. Cogn. Sci. 17, 1–6 (1993) CrossRefMathSciNet
go back to reference Palmer, S.E.: Fundamental aspects of cognitive representation. In: Rosch, E., Lloyd, B.B. (eds.) Cognition and Categorization, pp. 259–303. Lawrence Erlbaum, Hillsdale (1978) Palmer, S.E.: Fundamental aspects of cognitive representation. In: Rosch, E., Lloyd, B.B. (eds.) Cognition and Categorization, pp. 259–303. Lawrence Erlbaum, Hillsdale (1978)
go back to reference Pfeifer, R., Scheier, C.: Understanding Intelligence. MIT Press, Cambridge (2001) Pfeifer, R., Scheier, C.: Understanding Intelligence. MIT Press, Cambridge (2001)
go back to reference Piaget, J.: The Child’s Conception of the World. Routledge and Kegan Paul Ltd., London (1929) Piaget, J.: The Child’s Conception of the World. Routledge and Kegan Paul Ltd., London (1929)
go back to reference Polya, G.: How to Solve It. Princeton University Press, Princeton (1945) MATH Polya, G.: How to Solve It. Princeton University Press, Princeton (1945) MATH
go back to reference Pylyshyn, Z.: The role of architecture in theories of cognition. In: VanLehn, K. (ed.) Architectures for Intelligence. Erlbaum, Hillsdale (1988) Pylyshyn, Z.: The role of architecture in theories of cognition. In: VanLehn, K. (ed.) Architectures for Intelligence. Erlbaum, Hillsdale (1988)
go back to reference Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR 1992, pp. 165–176 (1992) Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR 1992, pp. 165–176 (1992)
go back to reference Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics. Springer, The Netherlands (2007) Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics. Springer, The Netherlands (2007)
go back to reference Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010) MATH Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010) MATH
go back to reference Schultheis, H., Barkowsky, T.: Casimir: An architecture for mental spatial knowledge processing. Top. Cogn. Sci. 3, 778–795 (2011) CrossRef Schultheis, H., Barkowsky, T.: Casimir: An architecture for mental spatial knowledge processing. Top. Cogn. Sci. 3, 778–795 (2011) CrossRef
go back to reference Schultheis, H., Bertel, S., Barkowsky, T.: Modeling mental spatial reasoning about cardinal directions. Cogn. Sci. 38(8), 1521–1561 (2014) CrossRef Schultheis, H., Bertel, S., Barkowsky, T.: Modeling mental spatial reasoning about cardinal directions. Cogn. Sci. 38(8), 1521–1561 (2014) CrossRef
go back to reference Searle, J.: Minds, brains, and programs. Behav. Brain Sci. 3, 417–457 (1980) CrossRef Searle, J.: Minds, brains, and programs. Behav. Brain Sci. 3, 417–457 (1980) CrossRef
go back to reference Simon, H.A.: On the forms of mental representation. In: Savage, W. (ed.) Perception and Cognition, pp. 3–18. University of Minnesota Press, Minneapolis (1978) Simon, H.A.: On the forms of mental representation. In: Savage, W. (ed.) Perception and Cognition, pp. 3–18. University of Minnesota Press, Minneapolis (1978)
go back to reference Sloman, A.: Why we need many knowledge representation formalisms. In: Bramer, M. (ed.) Research and Development in Expert Systems, pp. 163–183. Cambridge University Press, New York (1985) Sloman, A.: Why we need many knowledge representation formalisms. In: Bramer, M. (ed.) Research and Development in Expert Systems, pp. 163–183. Cambridge University Press, New York (1985)
go back to reference Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A qualitative trajectory calculus and the composition of its relations. In: Rodríguez, M., Cruz, I., Egenhofer, M., Levashkin, S. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 60–76. Springer, Heidelberg (2005) CrossRef Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A qualitative trajectory calculus and the composition of its relations. In: Rodríguez, M., Cruz, I., Egenhofer, M., Levashkin, S. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 60–76. Springer, Heidelberg (2005) CrossRef
go back to reference Wilson, M.: Six views of embedded cognition. Psychon. Bull. Rev. 9(4), 625–636 (2002) CrossRef Wilson, M.: Six views of embedded cognition. Psychon. Bull. Rev. 9(4), 625–636 (2002) CrossRef
go back to reference Wintermute, S., Laird, J.E.: Bimodal spatial reasoning with continuous motion. In: Proceedings of the AAAI, pp. 1331–1337 (2008) Wintermute, S., Laird, J.E.: Bimodal spatial reasoning with continuous motion. In: Proceedings of the AAAI, pp. 1331–1337 (2008)
go back to reference Wolter, D., Dylla, F., Wölfl, S., Wallgrün, J.O., Frommberger, L., Nebel, B., Freksa, C.: SailAway: Spatial cognition in sea navigation. Künstliche Intelligenz 22(1), 28–30 (2008) Wolter, D., Dylla, F., Wölfl, S., Wallgrün, J.O., Frommberger, L., Nebel, B., Freksa, C.: SailAway: Spatial cognition in sea navigation. Künstliche Intelligenz 22(1), 28–30 (2008)
go back to reference Wolter, D., Wallgrün, J.O.: Qualitative spatial reasoning for applications: New challenges and the SparQ toolbox. In: Hazarika, S.M. (ed.) Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, pp. 336–362. IGI Global (2012) Wolter, D., Wallgrün, J.O.: Qualitative spatial reasoning for applications: New challenges and the SparQ toolbox. In: Hazarika, S.M. (ed.) Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, pp. 336–362. IGI Global (2012)
go back to reference Zadeh, L.A.: Fuzzy sets and information granularity. In: Gupta, M., Ragade, R., Yager, R. (eds.) Advances in Fuzzy Set Theory and Applications, pp. 3–18 (1979) Zadeh, L.A.: Fuzzy sets and information granularity. In: Gupta, M., Ragade, R., Yager, R. (eds.) Advances in Fuzzy Set Theory and Applications, pp. 3–18 (1979)
go back to reference Zimmermann, K.: Measuring without measures: The Δ-calculus. In: Frank, A.U., Kuhn, W. (eds.) COSIT 1995. LNCS, vol. 988, pp. 59–67. Springer, Heidelberg (1995) Zimmermann, K.: Measuring without measures: The Δ-calculus. In: Frank, A.U., Kuhn, W. (eds.) COSIT 1995. LNCS, vol. 988, pp. 59–67. Springer, Heidelberg (1995)
Metadata
Title
Strong Spatial Cognition
Author
Christian Freksa
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-23374-1_4

Premium Partner