人工智能課件第一次課42(編輯修改稿)
2025-01-28 01:23 本頁面
【文章內(nèi)容簡介】 庫），以及擁有類似于專家解決實際問題的推理機制（組成推理系統(tǒng)）。系統(tǒng)能對輸入信息進行處理，并運用知識進行推理，做出決策和判斷，其解決問題的水平達到專家的水準，因此能起到專家的作用或成為專家的助手。 專家系統(tǒng)的開發(fā)和研究是人工智能研究中面向?qū)嶋H應(yīng)用的課題，受到人們的極大重視。已開發(fā)的系統(tǒng)數(shù)以百計，應(yīng)用領(lǐng)域涉及化學(xué)、醫(yī)療、地質(zhì)、氣象、交通、教育、軍事等，可以說只要有專家工作的場合，就可以開發(fā)專家系統(tǒng)。 目前專家系統(tǒng)主要采用基于規(guī)則的演繹技術(shù)，開發(fā)專家系統(tǒng)的關(guān)鍵問題是知識表示、應(yīng)用和獲取技術(shù)，困難在于許多領(lǐng)域中專家的知識往往是瑣碎的，不精確的或不確定的，因此目前研究仍集中在這一核心課題。 對專家系統(tǒng)開發(fā)工具的研制發(fā)展也很迅速。 主要的應(yīng)用領(lǐng)域 ? 4. 定理證明（ Theorem Proving） 數(shù)學(xué)領(lǐng)域中對臆測的定理尋求一個證明，一直被認為是一項需要智能才能完成的任務(wù)。證明定理時，不僅需要有根據(jù)假設(shè)進行演繹的能力，而且需要有某些直覺的技巧。例如數(shù)學(xué)家在求證一個定理時，會熟練地運用他豐富的專業(yè)知識，猜測應(yīng)當先證明哪一個引理，精確判斷出已有的哪些定理將起作用，并把主問題分解為若干子問題，分別獨立進行求解。因此人工智能研究中機器定理證明很早就受到注視，并取得不少成果。 例如使用謂詞邏輯語言，其演繹過程的形式體系研究，幫助人們更清楚地理解推理過程的各個組成部分。 因此機器定理證明的研究具有普遍意義。 主要的應(yīng)用領(lǐng)域 ? 5. 博弈（ Game Playing） 博弈被認為是智能的活動，人工智能中主要是研究下棋程序，在六十年代就出現(xiàn)了很有名的西洋跳棋和國際象棋的程序，并達到了大師的水平。進入 90年代， IBM公司以其雄厚硬件基礎(chǔ)，支持開發(fā)后來被稱之為“深藍”的國際象棋系統(tǒng)，并為此開發(fā)了專用的芯片，以提高計算機的搜索速度。 1996年 2月，與國際象棋世界冠軍卡斯帕羅夫進行了第一次比賽，經(jīng)過六個回合的比賽之后，“深藍”以 2： 4告負。 1997年 5月，系統(tǒng)經(jīng)過改進以后，“深藍”又第二次與卡斯帕羅夫交鋒，并最終以： ，在世界范圍內(nèi)引起了轟動。 博弈問題為搜索策略、機器學(xué)習(xí)等問題的研究課題提供了很好的實際背景，所發(fā)展起來的一些概念和方法對其他人工智能問題也很有用。 主要的應(yīng)用領(lǐng)域 ? 6. 機器人學(xué)（ Robotics） 由于自動裝配、海洋開發(fā)、空間探索等實際問題的需要，對機器的智能水平提出了更高的要求。特別是危險環(huán)境，人們難以勝任的場合更迫切需要機器人，從而推動了智能機器的研究。 機器人學(xué)的研究推動了許多人工智能思想的發(fā)展，有一些技術(shù)可在人工智能研究中用來建立世界狀態(tài)模型和描述世界狀態(tài)變化的過程。關(guān)于機器人動作規(guī)劃生成和規(guī)劃監(jiān)督執(zhí)行等問題的研究，推動了規(guī)劃方法的發(fā)展。此外由于智能機器是一個綜合性的課題，除機械手和步行機構(gòu)外，還要研究機器視覺、觸覺、聽覺等傳感技術(shù)，以及機器人語言和智能控制軟件等?？梢钥闯鲞@是一個涉及精密機械、信息傳感技術(shù)、人工智能方法、智能控制以及生物工程等學(xué)科的綜合技術(shù)。 主要的應(yīng)用領(lǐng)域 ? 7. 自動程序設(shè)計（ Automatic Programming） 自動程序設(shè)計的任務(wù)是設(shè)計一個程序系統(tǒng)，它接受關(guān)于所設(shè)計的程序要求實現(xiàn)某個目標的非常高級的描述作為其輸入，然后自動生成一個能完成這個目標的具體程序。在某種意義上來說，編譯程序?qū)嶋H就是去做 自動程序設(shè)計 的工作。編譯程序接受一段有關(guān)干某件事情的源碼說明（源程序），然后轉(zhuǎn)換成一個目標碼程序（目的程序）去完成這件事情。而這里所說的自動程序設(shè)計相當于一種 超級編譯程序 ，它要求能對高級描述進行處理，通過規(guī)劃過程，生成得到所需的程序。因而自動程序設(shè)計所涉及的基本問題與定理證明和機器人學(xué)有關(guān)，要用到人工智能方法來實現(xiàn)，它也是軟件工程和人工智能相結(jié)合的課題。 自動編制出一份程序來獲得某種指定結(jié)果的任務(wù)同論證一份給定的程序?qū)@得某種指定結(jié)果的任務(wù)是緊密相關(guān)的，前者也稱程序綜合，后者稱為程序驗證。許多自動程序設(shè)計系統(tǒng)將產(chǎn)生一份輸出程序的驗證作為額外的收益。 自動程序設(shè)計研究的重大貢獻之一是把程序調(diào)試的概念作為問題求解的策略來使用。實踐已經(jīng)
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1