人工智慧/邏輯

有關更深入的書籍，請參閱華夏公益教科書形式邏輯。這章關於人工智慧邏輯的目的是介紹僅與人工智慧相關的邏輯的特定元素。

什麼是邏輯？哲學上的定義是邏輯是對人們應該如何思考的描述。在人工智慧的背景下，邏輯是“形式的”，這意味著它在清晰度和沒有歧義方面類似於數學。

有很多不同型別的邏輯（時態邏輯、倫理邏輯等）。但是當大多數人，特別是在人工智慧領域，提到邏輯時，他們指的是命題邏輯或更復雜的謂詞邏輯。因此，雖然您可以使用任何您想要的規則和符號來建立邏輯，但大多數人提到邏輯時指的是在介紹性邏輯課程中普遍接受的規則和符號。