逻辑处理过程在地下水源管理中的应用

本文利用试算接近的方法,采用人工智能的技术,来描述这样一种模型,以用于证实在某给定地区是否有地下水源的存在,并分析可用水量及水质。这个系统由逻辑设计语言Prolog来完成,并可运行在MS—DOS环境下的个人计算机中,其数据库由确信度与其它一些参数来构成,模型已处在推广使用中。