知識表現と推論制御(基盤技術とシステム化技術, 機械工業におけるAI応用)