中文摘要：

基于位置推理在人工智能的规划问题求解中具有重要作用，提出了一种基于可移动对象的位置信息进行分析和推理的理论及其应用．根据各个对象位置的不断更新，基于位置推理系统利用信念修正规则对主体的信念库不断进行刷新以达到主体的规划目标．同时介绍了关于基于位置推理的基本定理及其性质；提出了如何有效地利用基于位置推理的信念修正规则理论实现大规模规划问题求解的一般算法．

英文摘要：

Reasoning about location plays an important role in the application of AI programming problem-solving system. It mostly revises the agents＇ belief-base to achieve its goal according to the change of the location of objects. It was introduced some basic theories of reasoning about location, and their characters. 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.