入力する従来のEBLでは、領域理論を事前に完備することが困難である。そこで、領域理論の記述を汎用的なフレーム部分とそれ以外に分離できることに着目し、学習途中に、物理法則等に基づく手続きによってフレームを具体化し、領域理論を自動生成する手法を開発した。線路総本数9本の変電所を例題として本システムの検証を行った結果、数千個の領域理論を網羅的に入力する代わりに、領域理論のフレーム8個、具体化手続き7件を入力することで、構成絞り込みのための知識486個を自動的に獲得できた。獲得した知識の利用により、最適解を見落とすことなく、問題解決時間を約1/90に削減できることを確認した。