A Formal Model of the Process of Wayfinding in Built Environments

Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspects of the process of wayfinding, where appropriate elements of human perception and cognition are formally realized using image schemata and affordances. The goal-driven reasoning chain that leads to action begins with incomplete and imprecise knowledge derived from imperfect observations of space. Actions result in further observations, derived knowledge and, recursively, further actions, until the goal is achieved or the wayfinder gives up. This paper gives a formalization of this process, using a modal extension to classical propositional logic to represent incomplete knowledge. Both knowledge and action are represented through a wayfinding graph. A special case of wayfinding in a building, that is finding one's way through an airport, is used to demonstrate the formal model.

[1]  Michael F. Worboys,et al.  The Role of Modal Logics in the Description of a Geographical Information System , 1991 .

[2]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[3]  M. Worboys.  Computation with imprecise geospatial data , 1998 .

[4]  J. Armstrong.  Knowledge and Belief , 1953 .

[5]  B. Kuipers.  The "Map in the Head" Metaphor , 1982 .

[6]  Benjamin Kuipers,et al.  Modeling Spatial Knowledge , 1978, IJCAI.

[7]  Michael O'Neill,et al.  Evaluation of a Conceptual Model of Architectural Legibility , 1991 .

[8]  F. J. Langdon,et al.  The Child's Conception of Space , 1967 .

[9]  Kevin Lynch,et al.  The Image of the City , 1960 .

[10]  E. Reed.  The Ecological Approach to Visual Perception , 1989 .

[11]  G. Lakoff,et al.  Experiential and Formal Models of Geographic Space , 1995 .

[12]  Anthony G. Cohn.  The challenge of qualitative spatial reasoning , 1995, CSUR.

[13]  Nectaria Tryfona,et al.  Structuring Space with Image Schemata: Wayfinding in Airports as a Case Study , 1997, COSIT.

[14]  R. Wallace.  The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason , 1988 .

[15]  Reginald G. Golledge,et al.  Place recognition and wayfinding: Making sense of space , 1992 .

[16]  A. Siegel,et al.  The development of spatial representations of large-scale environments. , 1975, Advances in child development and behavior.

[17]  U. Eco,et al.  Meaning and Mental Representations , 1988 .

[18]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning: Cardinal Directions as an Example , 1996, Int. J. Geogr. Inf. Sci..

[19]  T. Gärling,et al.  Orientation in buildings: effects of familiarity, visual access, and orientation aids. , 1983, The Journal of applied psychology.

[20]  Martin Raubal,et al.  Comparing the Complexity of Wayfinding Tasks in Built Environments , 1998 .

[21]  R. Klatzky,et al.  Navigator: A psychologically based model of environmental learning through navigation , 1989 .

[22]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[23]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[24]  M. Gluck.  Making Sense of Human Wayfinding: Review of Cognitive and Linguistic Knowledge for Personal Navigation with a New Research Direction , 1991 .

[25]  David Leiser,et al.  The Traveller , 1989 .

[26]  Drew McDermott,et al.  Planning Routes Through Uncertain Territory , 1983, Artif. Intell..

[27]  Michael F. Worboys,et al.  Imprecision in Finite Resolution Spatial Data , 1998, GeoInformatica.

[28]  Jerry Weisman,et al.  Evaluating Architectural Legibility , 1981 .

[29]  Colin Potts,et al.  Design of Everyday Things , 1988 .

[30]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[31]  Michael O'Neill,et al.  Effects of Signage and Floor Plan Configuration on Wayfinding Accuracy , 1991 .

[32]  Susan L. Epstein.  Spatial Representation for Pragmatic Navigation , 1997, COSIT.

[33]  Tommy Gärling,et al.  Spatial orientation and wayfinding in the designed environment: A conceptual analysis and some suggestions for postoccupancy evaluation. , 1986 .

[34]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[35]  George Lakoff.  Cognitive Semantics - eScholarship , 1988 .

[36]  Gordon I. McCalla,et al.  Plan creation, plan execution and knowledge acquisition in a dynamic microworld , 1982 .

[37]  Werner Kuhn.  Handling Data Spatially: Spatializating User Interfaces , 1996 .

[38]  T. Gärling,et al.  Orientation in buildings: Effects of familiarity, visual access, and orientation aids. , 1983 .

[39]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[40]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[41]  Martin Raubal,et al.  STRUCTURING WAYFINDING TASKS WITH IMAGE SCHEMATA , 1999 .