摘要
基于位置推理在人工智能的规划问题求解中具有重要作用,提出了一种基于可移动对象的位置信息进行分析和推理的理论及其应用.根据各个对象位置的不断更新,基于位置推理系统利用信念修正规则对主体的信念库不断进行刷新以达到主体的规划目标.同时介绍了关于基于位置推理的基本定理及其性质;提出了如何有效地利用基于位置推理的信念修正规则理论实现大规模规划问题求解的一般算法.
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.
出处
《浙江师范大学学报(自然科学版)》
CAS
2006年第2期158-163,共6页
Journal of Zhejiang Normal University:Natural Sciences
基金
国家自然科学基金资助项目(60003001)
国家863计划资助项目(863-306-ZD02-01-2)
关键词
基于位置推理
信念修正规则
集合体
抽象层次
reasoning about location
belief revision rule
aggregation
abstract level