方位关系约束满足问题的推理求解

摘要：

约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题.方位关系是空间关系的重要组成部分,用以确定空间对象间的一种顺序.本文研究了空间方位关系模型,给出了方位关系约束的一般表示形式.在此基础上,利用组合表推理给出了方位关系约束满足问题的一个推理求解算法,该算法的时间复杂度为O(n2).

关键词：约束满足问题、方位关系、定性空间推理、组合表

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金50378093

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：170-172,181