推論エンジン（すいろんエンジン、）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。
アーキテクチャ.
さらに選択したインスタンスが第三段階に渡され、その規則が実行される。推論エンジンは選択された規則をインスタンス内のデータを引数として実行（あるいは発火）する。一般に規則の右辺にあるアクションはデータ格納部を変化させるが、それ以外に推論エンジン外の処理を変化させる場合もある（ユーザーとやり取りしたり、外部プログラムを呼び出したりなど）。データ格納部は一般に規則の実行によって更新されるので、次のサイクルでデータにマッチする規則の集合は変化する。
データ駆動処理と手続き的制御.
推論エンジンの制御はデータ格納部の状態を頻繁に評価することに基づいており、静的なプログラムの制御構造には依存しない。このような処理を「データ駆動」あるいは「パターン誘導」と言い、一般的な手続き的制御と対比される。規則はデータを介してのみ相互にやり取りが発生するのであって、一般的なプログラミング言語では手続きや関数は明示的に互いに呼び出しあう。命令とは異なり、規則は逐次的に実行されず、規則群だけを見てもどれが次に実行されるかは分からず、推論エンジンがいつ停止するかもわからない。
手続き的処理では、問題領域についての知識は制御構造の中に命令としてちりばめられるが、推論エンジンでは知識（規則）と制御（推論エンジン）がより明確に分離されている。オブジェクト指向プログラミングは、それらの中間レベルの分離がなされていると言える。
外部リンク.
いずれも英文
カルデロン
カルデロン（）は、スペイン系の姓。スペイン語圏では比較的ポピュラーな姓である。
鋼鉄都市
アシモフ最初のロボット長編であり代表作のひとつ。「ロボット工学三原則」の盲点を突いたSFミステリの傑作として名高い。
また、鋼鉄都市という殻の中に閉じこもっていた人類が再び宇宙に旅立っていこうとするビジョンが描かれている。
続編として『はだかの太陽』『夜明けのロボット』があり、更に『ロボットと帝国』においてアシモフのもう一つの代表作であるファウンデーションシリーズとの融合が図られている。
あらすじ.