人工智能50-全文預(yù)覽
【正文】 智能行為的充要條件是該系統(tǒng)是一個物理符號系統(tǒng)。不同學(xué)派的研究方法、學(xué)術(shù)觀點(diǎn)、研究重點(diǎn)有所不同。這就是啟發(fā)式搜索。Kleene將其抽象為有限自動機(jī)理論 Wiener創(chuàng)立控制論， Shannon創(chuàng)立信息論 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 二、人工智能的誕生 導(dǎo)因 現(xiàn)實(shí)世界中相當(dāng)多的問題求解是復(fù)雜的，常無算法可循，即使有計算方法，也是 NP問題。其中，智能行為包括：感知 (perception)、推理 (Reasoning)、學(xué)習(xí) (learning)、通信(municating)和復(fù)雜環(huán)境下的動作行為 (acting)。 注：智能是相對的、發(fā)展的。 人類個體的智能是一種綜合性能力。通俗地講，智能是個體認(rèn)識客觀事物、客觀世界和運(yùn)用知識解決問題的能力。具體地講，可包括： 7）實(shí)時地、迅速地、合理地應(yīng)付復(fù)雜環(huán)境的能力；8）預(yù)測、洞察事物發(fā)展變化的能力； 等。 人工智能是人工制品 (artifact)中所涉及的智能行為。 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 一、萌芽階段 Aristotle(公元前 384322)在 《 工具論 》 中提出形式邏輯（三段論） Bacon(15611626)在 《 新工具 》 中提出歸納法，提出“知識就是力量” Leibnitz(16461716)研制四則計算器，提出“通用符號”和“推理計算”概念，使形式邏輯符號化，從而能對人的思維進(jìn)行運(yùn)算和推理，奠定了數(shù)理邏輯的基礎(chǔ) 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 一、萌芽階段 Boole(18151864)創(chuàng)立布爾代數(shù)，在 《 思維法則 》中首次用符號語言描述思維活動的基本推理規(guī)則 Godel(19061978)提出不完備性定理，指出人的思維形式化和機(jī)械化的某些極限 Turing(19121954)提出理想計算模型 — 圖靈機(jī)，創(chuàng)立自動機(jī)理論，提出“圖靈試驗(yàn)”，用以判斷“ Can a machine think?” 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 一、萌芽階段 Mauchly和 Eckert等研制成功 ENIAC電子數(shù)字計算機(jī)，為人工智能研究奠定物質(zhì)基礎(chǔ) Von Neumann提出馮 ?諾依曼計算機(jī)模型 McCulloch和 Pitts建立神經(jīng)網(wǎng)絡(luò)數(shù)學(xué)模型，通過模擬人腦實(shí)現(xiàn)智能，開創(chuàng)人工神經(jīng)網(wǎng)絡(luò)研究。經(jīng)常會取得有關(guān)問題的滿意解，而非數(shù)學(xué)上的最優(yōu)解。對《 數(shù)學(xué)原理 》 中 38條定理進(jìn)行了證明，開創(chuàng)了利用計算機(jī)研究思維活動規(guī)律的工作 3） Chomsky提出語言文法，開創(chuàng)了形式語言研究 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 三、人工智能的發(fā)展 50年代 4） McCarthy建立 LISP，不僅可以處理數(shù)值，而且可更方便地處理符號，為人工智能研究提供了重要工具 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 三、人工智能的發(fā)展 60年代 前期以搜索問題、通用問題求解研究為主 1） Newell發(fā)表問題求解程序，使啟發(fā)式程序有更大的普遍性 2） Feigenbaum研制成功 DENDRAL化學(xué)專家系統(tǒng)，使人工智能研究從著重算法轉(zhuǎn)向知識表示的研究，也是人工智能研究走向?qū)嵱没臉?biāo)志 第一章 引言 第二節(jié) 人工智能的發(fā)展概況 三、人工智
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1