Preprint Article Version 1 This version is not peer-reviewed

Formalization of Cognitive Modeling of Environment for Wayfinding

Version 1 : Received: 29 December 2017 / Approved: 2 January 2018 / Online: 2 January 2018 (12:52:21 CET)

How to cite: Ahmadi, V. Formalization of Cognitive Modeling of Environment for Wayfinding. Preprints 2018, 2018010016 (doi: 10.20944/preprints201801.0016.v1). Ahmadi, V. Formalization of Cognitive Modeling of Environment for Wayfinding. Preprints 2018, 2018010016 (doi: 10.20944/preprints201801.0016.v1).

Abstract

This paper outlines the formal representation of the environment in which it is assumed that a wayfinding process has been occurred through a street network. Wayfinding is a process in which people navigate themselves from an origin to a destination by their common sense geospatial knowledge. Naïve Geography is a field of study that investigates the body of knowledge that people have about the surrounding geospatial world and it deals with common sense knowledge of space. The image schemas which are needed for wayfinding with boundary relations method have been extracted and represented formally with algebraic specifications. These specifications are mentioned in the syntax of a functional programming language, Haskell. It allows us to execute written algebraic specifications and provide conditions for rapid prototyping and formal checks on consistency. These formal specifications are implemented for modeling street network of a part of Tehran, Capital city of Iran.

Subject Areas

formalization; cognitive map; wayfinding; navigation

Readers' Comments and Ratings (0)

Leave a public comment
Send a private comment to the author(s)
Rate this article
Views 0
Downloads 0
Comments 0
Metrics 0
Leave a public comment

×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.