[发明专利]基于约束满足框架的空间问题求解方法无效
| 申请号： | 201210156415.9 | 申请日： | 2012-05-17 |
| 公开（公告）号： | CN102722752A | 公开（公告）日： | 2012-10-10 |
| 发明（设计）人： | 廖士中;闫双双;赵宁;段孟华 | 申请（专利权）人： | 天津大学 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04 |
| 代理公司： | 天津市北洋有限责任专利代理事务所 12201 | 代理人： | 刘国威 |
| 地址： | 300072*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及用约束满足方法建立空间问题求解器的一般化模型。为使用现有的技术和方法来更好的实现图式推理中的空间约束问题求解，本发明采取的技术方案是，基于约束满足框架的空间问题求解方法，包括下列步骤：建立图示推理体系结构：输入的笔画经过识别和规整后，形成示意草图，将示意草图中各个图元以及它们之间的空间关系保存；对于特定的问题，根据已知条件对示意草图的初始化，即相应的赋值操作，然后根据推理规则完成推理过程，即求解空间问题，最后得出问题的解，或者示意图；采用规格语言描述各个图元间的空间约束关系。本发明主要应用于建立空间问题求解器。 | ||
| 搜索关键词： | 基于 约束 满足 框架 空间 问题 求解 方法 | ||
【主权项】：
1.一种基于约束满足框架的空间问题求解方法，其特征是，包括下列步骤：建立图示推理体系结构：输入的笔画经过识别和规整后，形成示意草图，将示意草图中各个图元以及它们之间的空间关系保存；对于特定的问题，根据已知条件对示意草图的初始化，即相应的赋值操作，然后根据推理规则完成推理过程，即求解空间问题，最后得出问题的解，或者示意图；采用规格语言描述各个图元间的空间约束关系，规格语言组织的图对象有：点，线段，矩形，圆，图对象的特性有点的坐标，线段的端点、长度，矩形的面积，圆的圆心、半径；用到的操作符有：布尔操作符![]()
量词![]()
算术操作符{+，-，×，÷}，动作：移动图元，对图元进行赋值操作。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于天津大学，未经天津大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210156415.9/，转载请声明来源钻瓜专利网。
