论文部分内容阅读
本文首先根据三角模及其扩张运算概念,定义了一类新的更具普遍意义的模糊广义AND/OR图。根据新定义的启发式函数h(n,x)以及模糊广义AND/OR图的最佳解树之所有子树亦是最佳子解树的原理,提出了自底向上的启发式搜索算法BFAO。文中证明了算法BFAO的可采纳性。本文还提出了两类新的启发式函数的单调限制概念,并据此研究了算法BFAO的单调限制性质,研究了两个BFAO算法间的比较性质。