3. 知識と推論

3-3 推論

質問に対して答えを導くこと

• 「山本君は3年2組の生徒である」
• 「3年2組の担任は松田先生である」
  • Q. 「山本君の担任は誰ですか」
  • A. 「松田先生です」

三段論法 (A ⊃ B) ∧ (B ⊃ C) ⊃ (A ⊃ C)

• 事実と規則から結論を導き出す → 演繹
• 事実と結論から規則を導き出す → 帰納
• 規則と結論から事実を導き出す → 推定

「山本君の担任は松田先生である」という知識は無いが、導き出せる (推論)　⇔ 検索

4. エキスパートシステム

4.1 エキスパートシステムの構成

知識ベース
 ↑ ↓
推論機構 → 推論過程説明モジュール
 ↑ ↓
ユーザインタフェース

4-3 AIツール

空の知識ベース
　↑ ↓
推論機構
 ↑ ↓
ユーザインタフェース

1. ルール型システム
2. フレーム型システム
3. 黒板型システム

4-4 AI言語

• FORTRAN
• COBOL
• Lisp
• Prolog

4-5 AIワークステーション