班萨利，S。；克莱默，G.A。；T·J·霍尔。 符号几何约束满足的原则方法。 （英语） Zbl 0900.68428号 J.人工制品。智力。研究（JAIR） 4, 419-443 (1996). 摘要：几何推理中的一个重要问题是找到一组几何体的构型，以满足一组给定的约束。最近，有人建议通过对几何进行符号推理，可以有效地解决这个问题。这种称为自由度分析的方法使用一组称为计划片段的专门例程，指定如何更改一组实体的配置以满足新约束，同时保留现有约束。限制这种方法可伸缩性的一个潜在缺点是编写计划片段的困难。在本文中，我们通过展示如何使用几何体、动作和拓扑的第一原理自动合成这些计划片段来解决这一限制。 引用于1文件 MSC公司： 68单位05 计算机图形；计算几何（数字和算法方面） 软件：6月2日 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bhansali｝等人，J.人工制品。智力。决议（JAIR）4419-443（1996；Zbl 0900.68428）