目次
計算力学 バイオエンジニアリング 環境工学 産業・化学機械と安全 宇宙工学 技術と社会 材料力学 機械材料・材料加工 流体工学・流体機械 熱工学 エンジンシステム 動力エネルギーシステム 機械力学・計測制御 ロボティクス・メカトロニクス 情報・知能・精密機械 機素潤滑設計 設計工学・システム 生産加工・工作機械 FA（ファクトリーオートメーション） 交通・物流 マイクロ・ナノ 編集委員・執筆者 ~~DISCUSSION:off~~
知識が増えた場合に，それから導かれる結論が減ることがある推論をさす．述語論理のように，常に正しい知識だけであれば，単調性が成り立つ．常識のように例外を含む知識があれば，単調性が成り立たない．非単調論理のための推論法や，知識ベースを維持する方法がいくつか提案されている．
