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

来源 :计算机科学 | 被引量 : 0次 | 上传用户：InsideADONET

【摘要】

：

约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题.方位关系是空间关系的重要组成部分,用以

【作者】

：

郭平侯睿杨国洲范丽

【机构】

：

重庆大学计算机学院

【出处】

：

计算机科学

【发表日期】

：

2005年8期

【关键词】

：

约束满足问题方位关系定性空间推理组合表求解算法推理空间关系时间复杂度人工智能组成部分 Constraint satisfaction prob

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

基于二次成像与清晰度差异的多聚焦图像融合

本文提出了一种基于清晰度差异的不同聚焦点图像的融合方法。该方法首先选择了一种基于梯度向量模方和的清晰度定义,然后根据几何光学系统的成像模型,以及点扩散函数的作用效果提出了模拟光学系统的二次成像模型。然后根据二次成像前后各图像清晰度的差异情况,对各幅图像中的目标进行判断,并选择其中的清晰部分生成融合图像。实验结果表明,该方法可以提取出多聚焦图像中的清晰目标,生成的融合图像效果优于Laplacian塔

期刊

二次成像图像融合Laplacian小波变换方法成像模型光学系统点扩散函数图像清晰度多聚焦图像融合方法梯度向量作用效果融合图像图像效果

基于P2P模式的数字城市服务模式及平台设计

对等网技术(P2P)已经在分布式计算系统中获得了广泛的应用,数字城市中的服务本质上也是对等的。本文提出基于P2P模式的数字城市服务管理系统,并对平台设计、实现进行了探讨。

期刊

数字城市P2P服务管理Digital city P2P Service management

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

其他学术论文