然后用数值法求解此方程(如牛顿法)。其中 F:(12"n)是一系列函数;D:(d14d)是F函数的变量,表 示尺寸约束;X:(x,xx)是F函数的变量,表示最后获取 的几何特征的坐标,包括结果值。 B.几何推理法( Geometric reasoning) 将人工智能的技术应用到实体造型中,其原理是:根 据已知元素和几何约束,通过推理确定未知元素。属于 局部求解,用人工智能语言( LISP, Prolog等)编程。 几何推理本身又分为两种,即基于推理机的方法和基 于普通程序设计的方法。 根据初始条件和提供的约束,经过推理,而知道用哪些约 束可解出哪些知识;而根据这些知识,又可解出另一些知识,从 而把可解的知识全部解出来,直到获得最后解。可见几何推理是 局部求解的,是一步步推导出来的