计算机科学 ›› 2005, Vol. 32 ›› Issue (8): 170-172.
• 软件工程与数据库技术 • 上一篇 下一篇
郭平 侯睿 杨国洲 范丽
出版日期:
发布日期:
基金资助:
Guo Ping;Hou Rui;Yang GuoZhou;Fan Li
Online:
Published:
摘要： 约束满足问题（Constraint Satisfaction Problems CSP）是人工智能的一个研究领域，诸如空间查找、规划等问题都可转化为约束满足问题。方位关系是空间关系的重要组成部分，用以确定空间对象间的一种顺序。本文研究了空间方位关系模型，给出了方位关系约束的一般表示形式。在此基础上，利用组合表推理给出了方位关系约束满足问题的一个推理求解算法，该算法的时间复杂度为O（n^2）。
关键词: 约束满足问题 方位关系 定性空间推理 组合表 求解算法 推理 空间关系 时间复杂度 人工智能 组成部分
Abstract: Constraint Satisfaction Problems （CSP）is a research domain of artificial intelligence. For example, spatial query, planning can be transformed into CSP. Orientation relation is important part of spatial relation, used to confirm the sequence between spati
Key words: Constraint satisfaction problems, Orientation relation, Qualitative spatial reasoning, Combinative table
郭平 侯睿 杨国洲 范丽. 方位关系约束满足问题的推理求解[J]. 计算机科学, 2005, 32(8): 170-172. https://doi.org/
Guo Ping;Hou Rui;Yang GuoZhou;Fan Li. [J]. Computer Science, 2005, 32(8): 170-172. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I8/170
Cited
首页