基于认知地图的寻路代数规范
计算机与社会
2018-10-16 v2
摘要
本文概述了这样一种环境的形式化表示：假设寻路过程已通过街道网络发生。寻路是指人们凭借其常识性地理空间知识从起点导航至终点的过程。朴素地理学（Na"ive Geography）是一个研究领域，探究人们关于周围地理空间世界的已知知识体系，并处理空间的常识性知识。用于带边界关系方法的寻路所需的意象图式（image schemas）已被提取，并以代数规范形式化表示。这些规范以函数式编程语言 Haskell 的语法给出。它使我们能够执行所写的代数规范，并为快速原型开发与一致性形式化检查提供条件。这些形式化规范被实现用于建模伊朗首都德黑兰部分区域的街道网络。
引用
@article{arxiv.1801.04966,
title = {Algebraic Specifications of Wayfinding Using Cognitive Map},
author = {Vahid Ahmadi},
journal= {arXiv preprint arXiv:1801.04966},
year = {2018}
}
备注
I just realized that this paper has some similarities with another paper of someone that I worked with and I did not know it was published before. I believe it should not be online anymore. Sorry for any inconvenience