文件名称：一种使用领域特定知识进行依赖关系定向回溯的方法-研究论文
文件大小：3.24MB
文件格式：PDF
更新时间：2024-06-08 14:50:05
Dependency Directed Backtracking Hindsight Reasoning
Stallman和Sussman（1977）提出的依赖关系定向回溯的思想比按时间顺序进行回溯的启发式淀粉方案具有明显的优势，后者在出现回溯情况时会通过丢弃许多“好的”选择而浪费很多精力。 但是，我们发现现有的非按时间顺序排列的回溯机制不适用于某些类型的问题，即，那些选择不是逻辑上遵循先前选择，而是基于一组受约束的备选方案的启发式评估。 这是因为一个选择不能由支持的角度来证明吗？ （以前的选择），但因为与竞争对手相比，它的优势要大于缺点。 这些类型的问题所需要的是一种在解决问题的过程中明确记录选择的优缺点的方案。 然后，如果出现不可接受的情况，则可以使用有关不可接受的性质和折衷的信息来确定最合适的回溯点。 此外，这要求问题解决者使用其洞察力来保存在“坏”选择之后按时间顺序做出的“好”干预选择，并恢复其随后的推理以应对修改的约束集。 在本文中，我们描述了在涉及折衷的情况下非按时间顺序回溯的问题解决器。 通过向回溯者赋予对特定领域的知识的访问权，可以实现一种高度上下文相关的方法来进行依赖定向的回溯情况下的推理。