In addition, it was explained how to apply the theories of belief-revision rules of reasoning about location to implement the large-scale programming problem.

• 提出了如何有效地利用基于位置推理的信念修正规则理论实现大规模规划问题求解的一般算法。