人工智能（七）逻辑Agent

一、逻辑 逻辑是一种可以从中找出结论的形式化语言。 句法（规则）用语言定义句子。 语义定义句子的含义。定义一个句子的真假性。 二、蕴含 即一个事情逻辑上是另一个事情的必然结果:KB ╞ α 知识库KB蕴含句子α，当且仅当α在所有KB为真的世界里均为真。 蕴含是基于语法的句子关系。 三、命题逻辑 命题逻辑是最简单的逻辑——只能表明基础的思想 命题符号P1，P2等都是句子，则： 如果S1是句子，那么

>>阅读原文<<