人工智能重點總結(DOC 27頁)

內容摘要
人工智能重點總結
第一章：發展簡史（此處為簡答題）
1.人工智能的萌芽（1956年以前）
1936年，圖靈創立了自動機理論（後人稱為圖靈機），提出一個理論計算機模型，為電子計算機設計奠定了基礎，促進了人工智能，特別是思維機器的研究。
麥克洛克和皮茨於1943年提出“擬腦模型”是世界上第一個神經網絡模型（MP模型），開創了從結構上研究人類大腦的途徑。
1948年維納發表《控製論—關於動物與機器中的控製與通信的科學》，不但開創了近代控製論，而且為人工智能的控製學派樹立了裏程碑。
1、 古希臘偉大的哲學家思想家亞裏士多德的主要貢獻是為形式邏輯奠定了基礎。形式邏輯是一切推理活動的最基本的出發點。在他的代表作《工具論》中，就給出了形式邏輯的一些基本規律，如矛盾律、排中律，並且實際上已經提到了同一律和充足理由律。此外亞裏士多得還研究了概念、判斷問題，以及概念的分類和概念之間的關係判斷問題的分類和它們之間的關係。其最著名的創造就是提出人人熟知的三段論。
2、 英國的哲學家、自然科學家 Bacon（培根）（1561-1626），他的主要貢獻是係統地給出了歸納法，成為和 Aristotle 的演繹法相輔相成的思維法則。Bacon 另一個功績是強調了知識的作用。 Bacon 的著名警句是"知識就是力量"。
3、 德國數學家、哲學家 Leibnitz（萊布尼茨）（1646-1716），他提出了關於數理邏輯的思想，把形式邏輯符號化，從而能對人的思維進行運算和推理。他曾經做出了能進行四則運算的手搖計算機
4、 英國數學家、邏輯學家 Boole（布爾）（1815-1864），他初步實現了布萊尼茨的思維符號化和數學化的思想，提出了一種嶄新的代數係統--布爾代數。
5、 美籍奧地利數理邏輯學家Godel（哥德爾）（1906-1978），他證明了一階謂詞的完備性定理；任何包含初等數論的形式係統，如果它是無矛盾的，那麼一定是不完備的。此定理的意義在於，人的思維形式化和機械化的某種極限，在理論上證明了有些事是做不到的。

..............................