先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発