人工智能（七）邏輯Agent

1、邏輯算法 邏輯是一種能夠從中找出結論的形式化語言。函數 句法（規則）用語言定義句子。 語義定義句子的含義。定義一個句子的真假性。 2、蘊含 即一個事情邏輯上是另外一個事情的必然結果:KB ╞ α 知識庫KB蘊含句子α，當且僅當α在全部KB爲真的世界裏均爲真。 蘊含是基於語法的句子關係。 3、命題邏輯 命題邏輯是最簡單的邏輯——只能代表基礎的思想 命題符號P1，P2等都是句子，則： 若是S1是句

>>阅读原文<<