人工智能/逻辑

有关更深入的书籍，请参阅维基教科书形式逻辑。这章关于人工智能逻辑的目的是介绍仅与人工智能相关的逻辑的特定元素。

什么是逻辑？哲学上的定义是逻辑是对人们应该如何思考的描述。在人工智能的背景下，逻辑是“形式的”，这意味着它在清晰度和没有歧义方面类似于数学。

有很多不同类型的逻辑（时态逻辑、伦理逻辑等）。但是当大多数人，特别是在人工智能领域，提到逻辑时，他们指的是命题逻辑或更复杂的谓词逻辑。因此，虽然您可以使用任何您想要的规则和符号来创建逻辑，但大多数人提到逻辑时指的是在介绍性逻辑课程中普遍接受的规则和符号。