首页> 中国专利> 基于约束满足框架的空间问题求解方法

基于约束满足框架的空间问题求解方法

摘要

本发明涉及用约束满足方法建立空间问题求解器的一般化模型。为使用现有的技术和方法来更好的实现图式推理中的空间约束问题求解,本发明采取的技术方案是,基于约束满足框架的空间问题求解方法,包括下列步骤:建立图示推理体系结构:输入的笔画经过识别和规整后,形成示意草图,将示意草图中各个图元以及它们之间的空间关系保存;对于特定的问题,根据已知条件对示意草图的初始化,即相应的赋值操作,然后根据推理规则完成推理过程,即求解空间问题,最后得出问题的解,或者示意图;采用规格语言描述各个图元间的空间约束关系。本发明主要应用于建立空间问题求解器。

著录项

  • 公开/公告号CN102722752A

    专利类型发明专利

  • 公开/公告日2012-10-10

    原文格式PDF

  • 申请/专利权人 天津大学;

    申请/专利号CN201210156415.9

  • 发明设计人 廖士中;闫双双;赵宁;段孟华;

    申请日2012-05-17

  • 分类号G06N5/04;

  • 代理机构天津市北洋有限责任专利代理事务所;

  • 代理人刘国威

  • 地址 300072 天津市南开区卫津路92号

  • 入库时间 2023-12-18 06:52:28

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2015-03-18

    发明专利申请公布后的视为撤回 IPC(主分类):G06F19/00 申请公布日:20121010 申请日:20120517

    发明专利申请公布后的视为撤回

  • 2012-11-28

    实质审查的生效 IPC(主分类):G06N5/04 申请日:20120517

    实质审查的生效

  • 2012-10-10

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号