人工智慧是一門研究如何構造智慧型機器(智慧型計算機)或智慧型系統,使它們能夠模擬、延伸和拓展人類智慧型的學科。
個人理解就是:研究人的智慧型,並且把人的智慧型放到機器上面,代替人思考。
人工智慧發展簡史:
孕育階段:
1.亞里斯多德三段論
2.英國哲學家培根:知識就是力量。
3.萊布尼茨:建立一種通用的符號語言以及在此符號語言上進行推理的演算。
4.布林:致力於使思維規律形式化和實現機械化,並創立了布林代數。
5.圖靈:提出了理想的計算機數學模型,稱作圖靈機。
6.美國神經生理學家麥克洛奇與匹茲在1943建立了第乙個神經網路模型。
7.美國愛荷華州立大學的阿塔納索夫和他的研究生貝瑞在2023年開發了世界上第一台電子計算機「阿塔納索夫-貝瑞計算機」。第一台計算機是在2023年產生,不是1946.
形成階段:
2023年麥卡錫召集多位有為的年輕學者開會,會議中正式採用了「人工智慧」這個術語,麥卡錫因此被稱為人工智慧之父。
在此之後的10年間,是人工智慧的第一次爆發,其中本人想單獨提出來的是美籍華人數理邏輯學家王浩於2023年在bim-704機器上用3~5min證明了《數學原理》中有關命題演算的全部定理(220條),並且還證明了謂詞演算中150條定理的85%。;2023年魯賓孫提出來歸結原理,為定理的機器證明做出了突破性的貢獻。
第乙個冬天:雙語翻譯難題。
第二次爆發:專家系統的應用。
第二個冬天:專家系統,神經網路的侷限性使人工智慧處於低速發展期。
現在:機器博弈,人機大戰。
人工智慧研究的基本內容:
1.知識表示:人類語言和文字的知識表示方法不適用於計算機處理,知識表示方法可分為:符號表示法和連線機制表示法。
2.機器感知
3.機器思維
4.機器學習:使機器自動的獲取知識。
5.機器行為
人工智慧主要的研究領域:
1.自動定理證明:定理證明的實質是證明由前提p得到結論q的永真性。
2.博弈
3.模式識別
4.機器視覺
5.自然語言理解
6.智慧型資訊檢索
7.資料探勘與知識發現
知識發現系統通過各種學習方法,自動處理資料庫中大量的原始資料,提煉出具有必然性且由意義的知識,從而揭示出蘊含在這些資料背後的內在聯絡和本質規律,實現知識的自動獲取。
8.專家系統
9.自動程式設計
10.機械人
11.組合優化問題
12.人工神經網咯
13.分布式人工智慧與多智慧型體
14.智慧型控制
15.智慧型**
16.智慧型cad等
17.智慧型cai
18.智慧型管理與智慧型決策
19.智慧型多**系統
20.智慧型作業系統
21.智慧型計算機系統
22.智慧型通訊
23.智慧型網路系統
24.人工生命:以計算機為研究工具,模擬自然界的生命現象,生成表現自然生命系統行為特點的**系統。主要研究天體生物學、宇宙生物學等等。。。
人工智慧入門01 什麼是人工智慧
圖靈測試 turing test 由艾倫 圖靈 alan turing 在1950年發明,指測試者與被測試者 乙個人和一台機器 隔開的情況下,通過一些裝置 如鍵盤 向被測試者隨意提問。測試滿足三個條件 進行多次測試後,如果機器讓平均每個詢問者做出超過30 的誤判,那麼這台機器就通過了測試,並被認為具...
什麼是人工智慧
人工智慧這個概念在最近幾年時間裡越來越流行,但是它的出現可以回溯到上世紀五十年代,當時在達特茅斯學院的一次會議,播下了人工智慧的第一顆種子。此後人工智慧的發展起起伏伏。直到近些年隨著計算機計算能力得到了飛速的提公升,人工智慧的發展越來越快了。人工智慧分為兩種,一種是叫做偽人工智慧,另一種叫做真人工智...
什麼是人工智慧?
人工智慧 artificial intelligence 英文縮寫為ai。它是研究 開發用於模擬 延伸和擴充套件人的智慧型的理論 方法 技術及應用系統的一門新的技術科學。人工智慧是電腦科學的乙個分支,它企圖了解智慧型的實質,並生產出一種新的能以人類智慧型相似的方式做出反應的智慧型機器,該領域的研究包...