人工智能（七）邏輯Agent

一、邏輯 邏輯是一種可以從中找出結論的形式化語言。 句法（規則）用語言定義句子。 語義定義句子的含義。定義一個句子的真假性。 二、蘊含 即一個事情邏輯上是另一個事情的必然結果:KB ╞ α 知識庫KB蘊含句子α，當且僅當α在所有KB爲真的世界裏均爲真。 蘊含是基於語法的句子關係。 三、命題邏輯 命題邏輯是最簡單的邏輯——只能表明基礎的思想 命題符號P1，P2等都是句子，則： 如果S1是句子，那麼

>>阅读原文<<