问题详情

产生式的逆向推理过程的目标明确，但是当用户对解的情况认识不清，选择假设目标不好时，会影响系统效率。