動物のエキスパートシステム : セマンティックウェブ・ダイアリーこのブログページはオントロノミー合同会社発行の電子書籍「Common Lisp と 人工知能プログラミング[全]」(現在執筆中)の一部抜粋です．この内容を参考にして，５月２２日名古屋にて Common Lisp の講習会が行われます．このブログ内容に興味を持たれた方は，奮っての参加をお願いいたします．24.1 前向き推論と後向き推論推論(inference あるいは reasoning)と言っても，演繹的推論(reduction)，帰納的推論(induction)，仮説推論(abduction)という推論分類から，推論対象や推論方法に着目した常識推論，定性的推論，アナロジーによる推論，事例推論など，多種多様なものがあり，その全体像を一口で述べるのは不可能に近い．しかし，多くの推論方式において，モーダス・ポーネンスと呼ばれる最も基本的な規則が推論のベースとして用いられる．すなわち，事実として
