人工智能1章57(文件)
【正文】 需要浩繁的知識(shí)，而最難對(duì)付的知識(shí)是常識(shí)（不是專業(yè)知識(shí)）。 ? 即使就推理體系來(lái)說(shuō)，它的主要技術(shù)是狀態(tài)空間搜索，而在執(zhí)行中遇到的主要困難就是“組合爆炸”，事實(shí)表明，單靠一些思維原則是解決不了組合爆炸問(wèn)題的，要擺脫困境，只有大量使用理性的知識(shí)。 ? ? ? ? ? ? ? ? ? ? ? ? ? 2023/3/10 47 Ａ I的研究特點(diǎn) （ 3） ? ? ? ? ? ? ? ? ? ? ? ? ? ? 結(jié)論： ? 萬(wàn)能的邏輯推理體系至今沒(méi)有創(chuàng)造出來(lái)，并不是因?yàn)槿斯ぶ悄軐＜业谋臼虏粔?，而是因?yàn)檫@種萬(wàn)能的體系從根本上就是不可能有的。 ? McCarthy： 人工智能的所有問(wèn)題都是難解的。 ? 數(shù)據(jù)處理 知識(shí)處理，數(shù)據(jù) 符號(hào)。發(fā)展方向： ?使用生物芯片 在分子水平上，與生物學(xué)水平是一致的 ?使用量子器件 在更微觀的原子、光子或更深層次的水平上。 ? 以前的是基于邏輯的深思熟慮；現(xiàn)在是直覺(jué)、形象思維與模式識(shí)別的結(jié)合、 Situated AI ,Sensing and Acting的結(jié)合，并引入概率論、遺傳算法等理論。 包括大規(guī)模并行機(jī)和機(jī)群的體系結(jié)構(gòu)、并行操作系統(tǒng)與并行數(shù)據(jù)結(jié)構(gòu)，分布式 Client/Server計(jì)算模型及其處理技術(shù)，多專機(jī)系統(tǒng)的合作與知識(shí)共享技術(shù)等。 ? 日本政府于 1992年結(jié)束了為期十年的稱為“知識(shí)信息處理系統(tǒng)”的第五代計(jì)算機(jī)系統(tǒng)研究開發(fā)計(jì)劃。 ? 同年代， 1986年 Rumlhart領(lǐng)導(dǎo)的并行分布處理研究小組提出了神經(jīng)元網(wǎng)絡(luò)的反向傳播學(xué)習(xí)算法，解決了神經(jīng)網(wǎng)絡(luò)的根本問(wèn)題之一。硬件公司有上千個(gè)。同時(shí)很快就發(fā)現(xiàn)問(wèn)題：歸結(jié)法費(fèi)時(shí)、下棋贏不了全國(guó)冠軍、機(jī)器翻譯一團(tuán)糟。 2023/3/10 17 Ａ I的發(fā)展歷史 （ 5） ? 60年代 Simon由試驗(yàn)得到結(jié)論：人類問(wèn)題的求解是一個(gè)搜索的過(guò)程 ， 效果與啟發(fā)式函數(shù)有關(guān) 。 ? McCarthy（ 麥卡錫） —— 人工智能之父 。 ? 美國(guó)數(shù)學(xué)家 Shannon（ 香農(nóng)） ,1948年發(fā)表了《通訊的數(shù)學(xué)理論》，代表了“信息論”的誕生。意義在于，人的思維形式化和機(jī)械化的某種極限，在理論上證明了有些事是做不到的?！爸R(shí)就是力量” ? 德國(guó)數(shù)學(xué)家、哲學(xué)家 Leibnitz（ 布萊尼茨）（ 16461716）。 ? 《人工智能原理及其應(yīng)用》王萬(wàn)森，電子工業(yè)出版社 ， 2023年。人工智能 Artificial Intelligence 授課人：胡 文 單 位：計(jì)算機(jī)與信息工程學(xué)院 電 話： 84892058 Email： 歡 迎 大 家 學(xué) 習(xí) 2023/3/10 1 教學(xué)安排 ? 學(xué)時(shí)、學(xué)分 4 2 ? 考核形式 書面作業(yè)、試題考試 2023/3/10 2 AI學(xué)科體系分為三個(gè)層次 ? 人工智能理論基礎(chǔ) ? 數(shù)學(xué)基礎(chǔ) :離散數(shù)學(xué) ,模糊數(shù)學(xué) ? 思維科學(xué)理論 :認(rèn)知心理學(xué) ,邏輯或抽象思維學(xué) ,形象或直感思維學(xué) ? 計(jì)算機(jī)工程技術(shù) :硬件 ,軟件技術(shù) ? 人工智能原理 知識(shí)的獲取與學(xué)習(xí) ,知識(shí)的表達(dá) ,知識(shí)的使用 。 ? 《人工智能及其應(yīng)用》（第二版）蔡自興、徐光右，清華大學(xué)出版社 ， 1996年。 ? 英國(guó)的哲學(xué)家、自然科學(xué)家 Bacon（ 培根）（ 15611626），系統(tǒng)地給出了歸納法。 ? 美籍奧地利數(shù)理邏輯學(xué)家 Godel（ 哥德爾）（ 19061978），證明了一階謂詞的完備性定理；任何包含初等數(shù)論的形式系統(tǒng)，如果它是無(wú)矛盾的，那么一定是不完備的。 ? 美國(guó)數(shù)學(xué)家 Mauchly， 1946發(fā)明了
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1