目次
計算力学 バイオエンジニアリング 環境工学 産業・化学機械と安全 宇宙工学 技術と社会 材料力学 機械材料・材料加工 流体工学・流体機械 熱工学 エンジンシステム 動力エネルギーシステム 機械力学・計測制御 ロボティクス・メカトロニクス 情報・知能・精密機械 機素潤滑設計 設計工学・システム 生産加工・工作機械 FA（ファクトリーオートメーション） 交通・物流 マイクロ・ナノ 編集委員・執筆者 ~~DISCUSSION:off~~
命題や事実から結論を導く過程のこと．人工知能の分野においては，既知の事実から帰納や演えきによって新しい事実を導きだす過程をいう．より広い意味での推論にはreasoningという用語が対応する．推論にはルールが用いられ，このルールを推論規則という．推論は前向き推論と後ろ向き推論に分類できる．前向き推論では，与えられた事実からルールを用いて結論であるゴールを導きだす．一方後ろ向き推論では，ゴールから逆にルールをたどって，ゴールを証明するに足る事実の集合を見い出すことで推論を行う．
