规划引导搜索专家系统模型

构造问题的突出矛盾在于组合爆炸。为了解决组合爆炸问题,可以运用规划将给定问题分解为具有一定次序关系的子任务序列,而后运用相应搜索策略协调地求解它们。规划和搜索的具体过程由领域规则引导。本文将给出这样一个领域无关的构造类专家系统模型,并阐明其运行的基本机制。