基于深度优先搜索法的城市间路线搜索.pdfVIP

基于深度优先搜索法的城市间路线搜索 寇芳玲 1200901943 信号与信息处理专业 在实际生活中，我们常常需要在出行路线上进行选择。路线搜索可以应用 于交通等各个领域，城市间如航空、旅游等，城市内部如公交系统等。本次 设计基于人工智能理论中深度优先的搜索方法 ，应用 prolog 智能软件， 对路线 进行搜索。 一 . 问题描述 已知北京、上海、广州、昆明和西安五城市航线里程如图。 图 1 分别实现： 1）找到北京到昆明的最短路径。 2 ）找到北京到昆明，必须途径上海的路径。 3 ）找到北京到昆明，必须途径上海，但不能去广州的路径。 二 . 深度优先理论 人工智能所要解决的问题大部分不具备明确的解题步骤， 而只能是利用 已有的知识一步一步地摸索前进。 根据问题的实际情况不断寻找可利用的知 识，从而构造一条代价较少的推理路线，使问题得到圆满解决的过程称之为 搜索 。常用的搜索技术有：盲目搜索、启发式搜索、宽度优先搜索、深度 优先搜索。 深度优先搜索中，搜索树是从树根开始一枝一枝逐渐生成的。它是一种 后生成的节点先扩展的搜索方法。基本思想：从初始节点开始，在其子节点 中选择一个节点进行考察，若不是目标节点，则再在该子节点的子节点中选 择一个节点进行考察，如果该子节点可以扩展，则扩展该子节点，依次向下 搜索，在搜索树的每一层始终先只扩展一个子节点，如此一直向下搜索，直 到某个子节点既不是目标节点又不能继续扩展时， 才从当前节点返回上一级 节点，沿另一方向又继续前进。 三．程序设计 本设计涉及到一个概念， 就是临时目的城市， 它指的是从某一城市出发所对 应的目的地，不一定是昆明。例如，从北京到上海，则上海为临时目的城市。 对于第一个问题，首先从根节点“北京”开始，计算北京到其它城市（临时 目的城市）的距离，这些城市包括：上海、广州、昆明、西安。然后，以这些城 市为基点， 计算其与下一个临时目的城市的距离。 当临时目的城市为昆明时， 则 完成一条搜索链。并记录距离总和。如：北京 上海 西安 广州 昆明， 这就是其中一条搜索链。将所有搜索链总距离相比较，即得到最短路线。 对于第二个问题， 只需要罗列出搜索链中包含上海的路线就可以了。 第三个 问题也是同样道理，只要把包含广州的搜索链除掉就可以了。 步骤： 1. 描述问题与所求。 domains city=symbol citylist=city* %city 是 city* 的成员 distance=integer predicates nondeterm road(city,city,distance)%mondeterm 表示谓词的行为方式， 表示 可以失败，可以成功，也可以回溯。 nondeterm connected(city,city,distance) nondeterm route(city,city,citylist,citylist,distance) member(city,citylist) showAllRoutes(city,city) shorterRouteExist(city,city,distance) showShortestRoute(city,city)% 显示城市间最短距离 showMustPassRoutes(city,city,city)% 显示必须要通过某城市的路径 showMustNotPassRoutes(city,city,city,city) % 显示不通过某城市的路径 writeRoute(city,citylist,distance) reverse_list(citylist,citylist,citylist) 2 ．给出已知条件： road(beijing,shanghai,1462).road(beijing,guangzhou,2107). road(beijing,k