布尔代数模式搜索技术——一种新的启发式推理方法

简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。