地图自动综合知识的分类及其形式化描述

在分析了已有地图综合知识的分类和表示方法的基础上 ,提出了一种新的地图综合知识的分类方法和形式化方法 ,这种分类方法易于系统开发 ,其形式化方法便于同地图综合模型和空间数据管理相结合。