問題領域に関する知識を複数入力してやると，その問題領域の
             状況に応じた矛盾のない知識ベースを自動的に構築してくれる
             ようなシステムの基礎になる研究です．