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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:InsideADONET
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题.方位关系是空间关系的重要组成部分,用以确定空间对象间的一种顺序.本文研究了空间方位关系模型,给出了方位关系约束的一般表示形式.在此基础上,利用组合表推理给出了方位关系约束满足问题的一个推理求解算法,该算法的时间复杂度为O(n2).
其他文献
介绍了国外情报系统价值增值方法。该方法以用户为基点研究情报系统行为,并对之进行评价;阐述了文献情报搜集、输出和利用环节的价值增值过程。这一研究方法对正在向社会化和
为提高低产能油层开发效果,有效开发复杂结构油气藏和底水油藏,扩大强化采油与油层处理方法的应用领域,本文对俄罗斯诺亚布里地区低产能油藏使用水平井开发的可能性和效果进
本文首先对电子图书馆的内涵作了概述,并基于Internet的应用、多媒体技术、电子图书等方面的发展,指出了建设电子图书馆不仅是必要的而且是可能的。文章在分析我国高校图书馆
介绍了实时光导纤维井下视频系统(DHV)(Downhole Video)及其在Prudhoe湾油井上作为一种解决生产问题的诊断工具的使用情况。镜头制备技术的最新发展以及在电子纤维光导电缆方
随着计算机技术和通讯技术的发展,传统图书馆在信息的收集和传递手段上发生了质的变化。但也因竞争对手的介入而导致横向交流职能的削弱。与此同时,各种类型的图书馆根据自身
本文提出了一种基于清晰度差异的不同聚焦点图像的融合方法。该方法首先选择了一种基于梯度向量模方和的清晰度定义,然后根据几何光学系统的成像模型,以及点扩散函数的作用效果提出了模拟光学系统的二次成像模型。然后根据二次成像前后各图像清晰度的差异情况,对各幅图像中的目标进行判断,并选择其中的清晰部分生成融合图像。实验结果表明,该方法可以提取出多聚焦图像中的清晰目标,生成的融合图像效果优于Laplacian塔
'熵'的概念普遍被许多学科引用,可用来表征一切具体系统的存在状态。馆藏文献系统信息的'熵'也可科学地阐明文献系统的内在运动、转变及相互联系的运行机制
对等网技术(P2P)已经在分布式计算系统中获得了广泛的应用,数字城市中的服务本质上也是对等的。本文提出基于P2P模式的数字城市服务管理系统,并对平台设计、实现进行了探讨。