導論
通用人工智能的定義：
包含人類水平的任務，涉及機器的持續學習。
必然性的演繹推理和不確定性的歸納、類比推理以及模糊推理are vital.
發展脈絡
-
【萌芽】：亞里斯多德主要貢獻爲：邏輯及形而上學兩方面的思想；主謂命題及邏輯推理方法（三段論證）
命題，真或假。他認爲，主謂命題包含量詞(任意/存在)-主詞S-系詞（T/F）-謂詞P
亞里士多德：演繹法，三段論
培根：歸納法
圖靈：用機器精確定義可計算函數。
馮諾依曼：計算機
-
【誕生】：多項式複雜程度的非確定性問題NP。達特莫斯會議確定AI
各個學派不同思想
-
【發展】：1961年之後，機器證明->專家系統->
主要學派
**符號主義：**以知識的符號爲基礎，通過推理進行問題求解；起源於數理邏輯，演繹推理，啓發式算法，專家系統，知識工程理論與技術
**連接主義：**起源於仿生學，非程序的、適應性的、大腦風格信息處理。eg,人工神經網絡。
**行爲主義：**模擬、延伸、擴展人的智能。只能只是在與環境的交互作用中表現出來。
啓發式搜索：利用先驗經驗或者說問題擁有的啓發信息引導搜索，減小搜索範圍，降低問題複雜度。