基于位置推理及其在规划中的应用  

Theories of reasoning about location and application in programming

作　　者：朱幸辉[1] 李鸣华[2] 

机构地区：[1]湖南农业大学计算机学院,湖南长沙410128 [2]浙江师范大学信息科学与工程学院,浙江金华321004

出　　处：《浙江师范大学学报（自然科学版）》2006年第2期158-163,共6页Journal of Zhejiang Normal University:Natural Sciences

基　　金：国家自然科学基金资助项目(60003001);国家863计划资助项目(863-306-ZD02-01-2)

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

关 键 词：基于位置推理 信念修正规则 集合体 抽象层次 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]