幾何推論

　形状に関する概念や理論，情報を用いた推論機構によって行う問題解決のこと．設計や生産の自動化のためには，このような幾何推論による図形や空間に関する処理が必要となる．