矿岩界线的自动推连

着重讨论了如何利用人工智能技术进行矿岩界线的自动推断和连接，包括对所研制的基于知识的矿岩界线自动推连系统的描述；关于数据与知识的表示和组织、推理过程、策略以及系统实现等内容。