专利名称：基于约束满足框架的空间问题求解方法
技术领域：
本发明涉及用约束满足方法建立空间问题求解器的一般化模型，是一种解决空间问题的图示推理方法研究，具体讲，涉及基于约束满足框架的空间问题求解方法。
背景技术：
I.空间推理(SR)空间推理(Spatial Reasoning SR)是指利用空间理论和人工智能Al (Artificial Intelligence)技术对空间对象进行建模、描述和表示,并据此对空间对象间的空间关系进行定性或定量分析和处理的过程。目前，空间推理被广泛应用于地理信息系统、机器人导航、高级视觉、自然语言理解、工程设计和物理位置的常识推理等方面，并且正在不断向其他领域渗透，其内涵非常广泛。空间推理的研究在人工智能中占有很重要的地位，是人工智能领域的一个研究热点。空间推理从几何、使用和功能三个方面研究空间知识的表示和处理，主要研究的内容包括空间推理与机器人视觉、形式化的绘图知识、空间关系语言、定性空间推理等等。近几年，由于认识到空间知识本质上是定性的，定性空间推理(Qualitative SpatialReasoning)研究成为空间推理研究的主流，发展出公理化、几何约束满足和基于模型的推
理等方法。公理化方法以逻辑学或部分学(Mereology)为基础，选择一组基本的关系和谓词，建立一类空间概念和关系的公理和推理规则，以此表示并处理空间知识。几何约束满足方法充分表示并利用几何领域的约束，通过约束满足方法实现空间知识的表示和推理。基于模型的方法首先建立空间知识的一种模型，如位形空间、符号投影串等，然后把空间推理问题归约为经典的定性推理问题。2.约束满足问题(CSP)在人工智能领域和计算机科学领域中，有大量的问题可以被看作约束满足问题(Constraint Satisfaction Problem CSP)。例如机器视觉、调度、图形处理、建筑平面图设计、时态推理、遗传实验设计、满足性问题、电路设计等。形式化地说，约束满足问题是由一个变量集合=X1, X2,…，Xn，和一个约束集C1, C2,…，(；定义的。每个变量都有一个非空的可能值域Dp每个约束Ci包括一些变量的子集，并指定了这些子集的值之间允许进行的合并。问题的一个状态是由对一些或全部变量的一个赋值定义的，(Xi = Vi,Xj = Vj,…}。一个不违反任何约束条件的赋值称作相容的或者合法的赋值，一个完全赋值是每个变量都参与的赋值，而CSP问题的解是满足所有约束的完全赋值。当η是问题的约束变量的个数，该问题称为η元CSP问题。N皇后问题和地图染色问题都是二元CSP问题。通常，一个二元CSP问题P可以定义为三元组P = {X，D，R}，其中X是η个变量(X1, X2,…，Xn)的集合；D是η个域(D1,D2,…，Dn)的集合，其中任意i，I < i彡!!,Di是Xi的可能的取值的有限集合。R是二元约束关系{iy的序列，任意Rij e R，Rij是对变量Xi和Xj的约束。N皇后问题是将N个皇后放置在NXN棋盘的N个位置，条件是任意的两个皇后不能互相攻击。当两个皇后处在同一行或是同一列或是对角线时，她们相互攻击。因此，4皇后问题可以定义如下变量X = (X1, X2, X3, XJ，变量Xi的值表示在i行的皇后所在的列。域D= (D17D27D3, D4I, Xi 对应于 Di, I 彡 i 彡 4，Di = {1,2,3,4} 约束R = (Rij I i < j并且I彡i，j彡4}，对每一个约束Rij I).没有两个皇后在同一行，给变量做定义后这一约束变得没什么价值。 2).没有两个皇后在冋一列=Xi古Xj。3).没有两个皇后在同一对角线I i-j I Φ I Xi-Xj I。区域染色问题也可以建模为CSP框架。在这一问题中，给定一些颜色的集合，给地图的每一个区域染色，条件是任意相邻的两个区域的颜色不能相同。地图着色问题可表达为如下的CSP问题变量X :每一个变量表示地图的一个区域X = (X1, X2, X3, X4, X5，X6, X7}，这里假设共有7个区域。域每个变量的域的范围是给其着色的颜色范围，每一个变量的赋值表示给这一地区所染的颜色。约束R={RXX |/ Ψ j ,地域相邻的变量Xi馬取值不等,Xi Φ Xi] O一个约束满足问题的解是所有变量对于其值域的一组取值组合，使得每一个约束都得到满足。约束满足问题的解包括唯一解，全部解，最优解。求解约束满足问题可以使用系统搜索算法对所有变量的取值空间进行搜索，直到得出问题的解或者无解。3.图示推理图示推理是一种基于图形的推理方法，该方法结合了符号表示和空间表示两种形式。在有些情况下，图式推理有着比其他推理方式更为简捷的步骤，并且其结果更直观，并且利于人类理解和交流。在人工智能领域中，图表示也称之为真表示，使得计算机能够根据图表示信息来进行问题的求解，在某些领域的应用中能够得到更低的复杂度。图式推理过程中使用的图称为示意图，它是一种模拟的或者是直接的知识表示机制，它的特点是表示结构与被描述结构间的平行对应关系。图式推理过程就是对示意图进行直接操作和检测作为推理的基本方式，即从示意图中获取信息，并根据问题的需要在示意图中修改对象或者创建新对象。具体的在图式推理中，需要建立特殊的描述语言表示空间关系和求解的问题，在推理中需要建立有效的空间搜索框架实现推理中的检测和操作行为以求得问题的解。在最近几十年的发展中，产生了许多图式推理的系统应用于不同的领域，比如SKETCHY系统用于热力学和经济学的图形认知；REDRAW系统用于土木工程的结构分析；ARCHIMEDES系统用于欧几里得几何的定理证明等等。在图示推理的应用中，问题的求解中需要解决一些与领域无关的空间问题，求解这些空间问题是图示推理的关键，因此要求建立求解这些空间问题的框架。约束满足问题可以很好的描述人工智能和计算机其他领域中的许多官渡调度和组合优化的应用问题，已经成为人工智能中成功的问题求解范例之一。在空间问题求解的过程中，许多研究者已经注意到以约束满足框架为基础的空间问题求解器的许多优势，已经有一定的成果。近几年Bonny Baner jee提出了一种图示推理框架,在没有人类干预的情况下，执行推理过程中的感知和操作，并且绕开了复杂的计算步骤，节省了时间。图形以其更直观的表示，以及更易于人们理解和交流的优势，现在逐渐的受到人们的重视。如何使用现有的技术和方法来更好的实现图式推理中的空间约束问题求解，是值得深入研究的方向。
发明内容
本发明旨在克服现有技术的不足，使用现有的技术和方法来更好的实现图式推理中的空间约束问题求解，为达到上述目的，本发明采取的技术方案是，基于约束满足框架的空间问题求解方法，包括下列步骤建立图示推理体系结构输入的笔画经过识别和规整后，形成示意草图，将示意草图中各个图元以及它们之间的空间关系保存；对于特定的问题，根据已知条件对示意草图的初始化，即相应的赋值操作，然后根据推理规则完成推理过 程，即求解空间问题，最后得出问题的解，或者示意图；采用规格语言描述各个图元间的空间约束关系，规格语言组织的图对象有点，线段，矩形，圆，，图对象的特性有点的坐标，线段的端点、长度，矩形的面积，圆的圆心、半径；用到的操作符有布尔操作符卜，八，V}，量词{V，3}，算术操作符{+，-，X，+}，动作移动图元，对图元进行赋值操作。所述建立图示推理体系结构直到最后得出问题的解，或者示意图的步骤，进一步细化为第I步草图识别对于输入的笔画进行识别，用到的工具是支持向量机，识别的分类有线段、矩形和圆；第2步建立约束关系集从已经识别的图元和已知的空间位置关系类型，搜索所有的图对象，判断它们之间的位置关系类型，并使之以图元特性保存，建立空间约束关系集；第3步空间问题求解问题初始化，根据问题中的已知条件设置示意图中的变量；对问题进行求解，从已知条件开始根据保存的空间关系和推理法则推理出问题的解，必要时在示意图中显示出来解的结果。采用规格语言描述各个图元间的空间约束关系具体细化为将变量对应为其相应的物体，则使用到的变量有绳子Str ing,重物Heavy ,滑轮Pu 11 ey,天花板Wal I ; 二维图对象的域为R2，非二维图对象的域为R ;图对象间的约束关系有吊起 Hang (String, Heavy)、吊起 Hang (String, Pulley)、连接 Connect (String,Pulley);然后根据推理规则完成推理过程具体细化为在滑轮组系统受力分析中，运用到的法则是牛顿定律，当一个系统保持平衡的时候，其各个方向上的受力之和为零，根据这个定律，在进行受力分析的时候，细化出以下几个法则一、当重物只由一根绳子悬挂的时候，绳子的拉力等于重物的重力；二、当绳子绕过滑轮时，该绳子两端的拉力相等；三、当绳子悬挂滑轮，或者说绳子是系在滑轮上的时候，该绳子的拉力等于绕过滑轮的绳子的两端拉力之和；四、当重物由两根绳子悬挂的时候，重物的重力等于两根绳子的拉力之和；将这些推理规则使用定义的语言描述如下
权利要求
1.一种基于约束满足框架的空间问题求解方法，其特征是，包括下列步骤建立图示推理体系结构输入的笔画经过识别和规整后，形成示意草图，将示意草图中各个图元以及它们之间的空间关系保存；对于特定的问题，根据已知条件对示意草图的初始化，即相应的赋值操作，然后根据推理规则完成推理过程，即求解空间问题，最后得出问题的解，或者示意图；采用规格语言描述各个图元间的空间约束关系，规格语言组织的图对象有点，线段，矩形，圆，图对象的特性有点的坐标，线段的端点、长度，矩形的面积，圆的圆心、半径；用到的操作符有布尔操作符h，A, v}，量词{V，3}，算术操作符{+，-，X，+}，动作移动图元，对图元进行赋值操作。
2.如权利要求I所述的基于约束满足框架的空间问题求解方法，其特征是，所述建立图示推理体系结构直到最后得出问题的解，或者示意图的步骤，进一步细化为 第I步草图识别 对于输入的笔画进行识别，用到的工具是支持向量机，识别的分类有线段、矩形和 圆； 弟2步建立约束关系集 从已经识别的图元和已知的空间位置关系类型，搜索所有的图对象，判断它们之间的位置关系类型，并使之以图元特性保存，建立空间约束关系集； 第3步空间问题求解 问题初始化，根据问题中的已知条件设置示意图中的变量； 对问题进行求解，从已知条件开始根据保存的空间关系和推理法则推理出问题的解，必要时在示意图中显示出来解的结果。
3.如权利要求I所述的基于约束满足框架的空间问题求解方法，其特征是，采用规格语言描述各个图元间的空间约束关系具体细化为将变量对应为其相应的物体，则使用到的变量有绳子String,重物Heavy,滑轮Pulley,天花板Wall ;二维图对象的域为R2,非二维图对象的域为R ;图对象间的约束关系有 吊起 Hang(String, Heavy)> 吊起 Hang (String, Pulley)> 连接 Connect(String,Pulley);然后根据推理规则完成推理过程具体细化为在滑轮组系统受力分析中，运用到的法则是牛顿定律，当一个系统保持平衡的时候，其各个方向上的受力之和为零，根据这个定律，在进行受力分析的时候，细化出以下几个法则一、当重物只由一根绳子悬挂的时候，绳子的拉力等于重物的重力；二、当绳子绕过滑轮时，该绳子两端的拉力相等；三、当绳子悬挂滑轮，或者说绳子是系在滑轮上的时候，该绳子的拉力等于绕过滑轮的绳子的两端拉力之和；四、当重物由两根绳子悬挂的时候，重物的重力等于两根绳子的拉力之和； 将这些推理规则使用定义的语言描述如下 Hanu (Stringl .Heavv) a VStrine String ^ Strinszl λ —iHanii (Striniz.Heavv}(.、C* \C> ~JfOOOO \O J f => Equal (Force (String I), Force( Heavy))Connect (String I,Pulley) λ Connect (String2,Puliey) => Equal (Force (Stringl)，Force(String2)) Hang(StnngI5Pulley) λ Connect(Siring2,Pulley) λ Connect (String3,Pulley) => Equal(Force(StringI), Force(Stiing2) +Force(Striiigj)) Hang (String I, Heavy) λ Hang (String2, Heavy) λ(-1). VString String 丰 Stringl /\String 丰 String2 λ—iHang(String. Heavy) => Equal (VVeighr.( Heavy) ,Force (String I) + Force (String2)) 式中equal是等于，weight是重量，force是施力； 定滑轮经绳子悬挂在天花板上，两个重物由绕过滑轮的绳子的两端分别连接；因此识别的基本图元有一个天花板，一个滑轮，三根绳子和两个重物；空间约束关系有天花板悬挂绳子，绳子悬挂滑轮，绳子连接滑轮，绳子悬挂重物；初始化将已知条件中的重物的重力赋值给相应的重物特性；根据推理法则从已知重力的重物开始，与其有约束关系的只有一根绳子，因此绳子的拉力等于重物的重力，与该绳子有约束关系的除了重物外是滑轮，根据推理法则连接滑轮的两根绳子拉力相等，则进行赋值，继续下去得到与绳子相连的重物为该绳子的拉力，得到问题的解，结束。
全文摘要
本发明涉及用约束满足方法建立空间问题求解器的一般化模型。为使用现有的技术和方法来更好的实现图式推理中的空间约束问题求解，本发明采取的技术方案是，基于约束满足框架的空间问题求解方法，包括下列步骤建立图示推理体系结构输入的笔画经过识别和规整后，形成示意草图，将示意草图中各个图元以及它们之间的空间关系保存；对于特定的问题，根据已知条件对示意草图的初始化，即相应的赋值操作，然后根据推理规则完成推理过程，即求解空间问题，最后得出问题的解，或者示意图；采用规格语言描述各个图元间的空间约束关系。本发明主要应用于建立空间问题求解器。
文档编号G06N5/04GK102722752SQ20121015641
公开日2012年10月10日 申请日期2012年5月17日 优先权日2012年5月17日
发明者廖士中, 段孟华, 赵宁, 闫双双 申请人:天津大学