邏輯智能體-人工智能培訓課件(PPT 32頁)

主要內容
邏輯智能體 Logical Agents （知識，推理）
“Thinking Rationally”
邏輯智能體
要點
知識和推理 Knowledge & Reasoning
知識庫 Knowledge Base
通用的基於知識智能體 Generic KB-Based Agent
基於知識智能體的特性
Mine Sweeper
PEAS Analysis Mine Sweeper
怪獸問題 Wumpus World
怪獸問題的 PEAS 描述
Wumpus world 的特征
Exploring the Wumpus World
What is a logic?
蘊涵Entailment
模型 models
怪獸問題裏的蘊涵Entailment in the wumpus world
Wumpus models I
Wumpus models II
Wumpus models III
Wumpus models IV
推理過程Inference Procedures
語義企業管理圖
命題邏輯: 語法
命題邏輯: 語義
Truth tables for connectives
Wumpus world sentences
通過枚舉進行推理Inference by enumeration

..............................