== 3. 知識と推論 == === 3-3 推論 === 質問に対して答えを導くこと * 「山本君は3年2組の生徒である」 * 「3年2組の担任は松田先生である」 * Q. 「山本君の担任は誰ですか」 * A. 「松田先生です」 三段論法 (A ⊃ B) ∧ (B ⊃ C) ⊃ (A ⊃ C) * 事実と規則から結論を導き出す → 演繹 * 事実と結論から規則を導き出す → 帰納 * 規則と結論から事実を導き出す → 推定 '''「山本君の担任は松田先生である」という知識は無いが、導き出せる (推論)''' ⇔ 検索 == 4. エキスパートシステム == === 4.1 エキスパートシステムの構成 === {{{ 知識ベース ↑ ↓ 推論機構 ↑ ↓ ユーザインタフェース }}}