【正文】 泛的學(xué)科交叉，涉及眾多的課題，機(jī)器人已在各領(lǐng)域獲得越來越普遍的應(yīng)用。因此，在人工智能方法的研究中定理證明是一個極其重要的論題。量子計(jì)算機(jī)的概念源于對可逆計(jì)算機(jī)的研究。這是人工智能的基本條件。 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工智能的起源與發(fā)展（ 3） 以知識是為中心的研究（ 20世紀(jì) 70年代至 80年代） 專家系統(tǒng) 是一個具有大量專門知識，并能夠利用這些知識去解決特定領(lǐng)域中需要專家才能解決的那些問題的計(jì)算機(jī)程序。 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工智能的定義與發(fā)展 人類智能與人工智能 人工智能各學(xué)派的認(rèn)知觀 人工智能的研究與應(yīng)用領(lǐng)域 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工智能的定義 定義 （ 智能機(jī)器 （ Intelligent machine）） 能夠在各類環(huán)境中自主地或交互地進(jìn)行各種擬人任務(wù) （ anthropomorphic task） 的機(jī)器 。 (5)建立符號結(jié)構(gòu)：通過找出各符號間的關(guān)系，在符號系統(tǒng)中形成符號結(jié)構(gòu)； (6)條件性遷移 (conditional transfer):根據(jù)已有符號，繼續(xù)完成活動過程。這就是說， 人和計(jì)算機(jī)這兩個物理符號系統(tǒng)所使用的物理符號是相同的，因而計(jì)算機(jī)可以 模擬人類的智能活動過程。 行為主義 認(rèn)為人工智能源于控制論。學(xué)習(xí)是一個有特定目的的知識獲取過程，其內(nèi)部表現(xiàn)為新知識結(jié)構(gòu)的不斷建立和修改，而外部表現(xiàn)為性能的改善。 數(shù)據(jù)挖掘是通過綜合運(yùn)用統(tǒng)計(jì)學(xué)、粗糙集、模糊數(shù)學(xué)、機(jī)器學(xué)習(xí)和專家系統(tǒng)等多種學(xué)習(xí)手段和方法，從大量的數(shù)據(jù)中提煉出抽象的知識，從而揭示出蘊(yùn)涵在這些數(shù)據(jù)背后的客觀世界的內(nèi)在聯(lián)系和本質(zhì)規(guī)律，實(shí)現(xiàn)知識的自動獲取。 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工生命 人工生命 (Artificial Life, ALife)旨在用計(jì)算機(jī)和精密機(jī)械等人工媒介生成或構(gòu)造出能夠表現(xiàn)自然生命系統(tǒng)行為特征的仿真系統(tǒng)或模型系統(tǒng)。 神經(jīng)網(wǎng)絡(luò)已在模式識別、圖象處理、組合優(yōu)化、自動控制、信息處理、機(jī)器人學(xué)和人工智能的其它領(lǐng)域獲得日益廣泛的應(yīng)用。 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工智能的研究與應(yīng)用領(lǐng)域 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 問題求解 人工智能的第一個大成就是發(fā)展了能夠求解難題的下棋 (如國際象棋 )程序 ， 它包含問題的表示 、 分解 、 搜索與歸約等 。神經(jīng)計(jì)算機(jī) (neural puter)能夠以類似人類的方式進(jìn)行“思考”，它力圖重建人腦的形象。反之，任何系統(tǒng)如果具有這 6種功能，那么它就能夠表現(xiàn)出智能；這種智能指的是人類所具有的那種智能。 定義 （ 人工智能 （ 能力 ）） 是智能機(jī)器執(zhí)行的通常與人類智能有關(guān)的功能 ， 如判斷 、 推理 、 證明 、 識別 、 感知 、 理解 、 設(shè)計(jì) 、 思考 、 規(guī)劃 、 學(xué)習(xí)和問題求解等思維活動 。 文學(xué)志 南京信息工程大學(xué)計(jì)軟學(xué)院 2023年 2月 人工智能的起源與發(fā)展（ 2） 形成期（ 1956—— 1970年） 1956年夏季，達(dá)特茅斯（ Dartmouth）大學(xué)數(shù)學(xué)家、計(jì)算機(jī)專家 麥卡錫 和他的 3位朋友：哈佛大學(xué)數(shù)學(xué)家、神經(jīng)學(xué)家明斯基， IBM公司信息中心負(fù)責(zé)人 洛切斯特 ，貝爾實(shí)驗(yàn)室信息部數(shù)學(xué)研究員 香農(nóng) 共同發(fā)起在達(dá)特茅斯大學(xué)舉行了一個為期兩個月的夏季學(xué)術(shù)研討會（用機(jī)器模擬人類智能） —— 人工智能誕生 以人工智能為目標(biāo)的 3個研究小組 紐厄爾和西蒙的卡內(nèi)基 蘭德小組（心里學(xué)小組） 塞繆爾的 IBM公司