- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
1人工智慧與知識工程
21緒論1.1人工智慧的定義與發展1.2人類智能與人工智慧1.3人工智慧各學派的認知觀1.4人工智慧的研究與應用領域1.5課程安排
3推薦的電影人工智慧導演:斯皮爾博格提示:電影從一個小孩子的眼光來詮釋人與機器人的關係,並揭示了一個殘酷的事實:機器人永遠不能變成人類、他們不能有愛,即使有也只是一段程式。
4推薦的電影機械公敵(Irobot)影片根據艾薩克·阿西莫夫經典科幻短篇小說集《我,機器人》改編。故事發生在2035年,科技已經發展到相當高的水準,尤其是智能機器人領域,他們已經完全融進了人類的各種生產和生活中。機器人三大法則:機器人不得傷害人,或任人傷害而無所作為;機器人應服從人的一切命令,但命令與第一法則衝突時例外;機器人必須保護自身的安全,但不得與前兩條法則抵觸。
5推薦的電影駭客帝國(MATRIX)
61.1人工智慧的定義定義1智能機器能夠在各類環境中自主地或交互地執行各種擬人任務(anthropomorphictasks)的機器。斯坦福大學的Nilsson提出人工智慧是關於知識的科學(知識的表示、知識的獲取以及知識的運用)定義2人工智慧(學科)人工智慧(學科)是電腦科學中涉及研究、設計和應用智能機器的一個分支。它的近期主要目標在於研究用機器來模仿和執行人腦的某些智力功能,並開發相關理論和技術。定義3人工智慧(能力)人工智慧(能力)是智能機器所執行的通常與人類智能有關的智能行為,如判斷、推理、證明、識別、感知、理解、通信、設計、思考、規劃、學習和問題求解等思維活動。
71.1人工智慧的定義(續)定義4:人工智慧是一種使電腦能夠思維,使機器具有智力的激動人心的新嘗試(Haugeland,1985)。定義5:人工智慧是那些與人的思維、決策、問題求解和學習等有關活動的自動化(Bellman,1978)。定義6:人工智慧是用計算模型研究智力行為(Charniak和McDermott,1985)。定義7:人工智慧是研究那些使理解、推理和行為成為可能的計算(Winston,1992)。定義8:人工智慧是一種能夠執行需要人的智能的創造性機器的技術(Kurzwell,1990)。定義9:人工智慧研究如何使電腦做事讓人過得更好(Rick和Knight,1991)。定義10:人工智慧是一門通過計算過程力圖理解和模仿智能行為的學科(Schalkoff,1990)。定義11:人工智慧是電腦科學中與智能行為的自動化有關的一個分支(Luger和Stubblefield,1993)。
81.1.2人工智慧的起源與發展萌芽期(1956年以前)古希臘偉大的哲學家、思想家Aristotle(亞裏士多德)(西元前384-322),他的主要貢獻是為形式邏輯奠定了基礎。形式邏輯是一切推理活動的最基本的出發點。其最著名的創造就是提出三段論。英國的哲學家、自然科學家Bacon(培根)(1561-1626),他的主要貢獻是系統地給出了歸納法,成為和Aristotle的演繹法相輔相成的思維法則。Bacon另一個功績是強調了知識的作用。德國數學家、哲學家Leibnitz(萊布尼茨)(1646-1716),他提出了關於數理邏輯的思想,把形式邏輯符號化,從而能對人的思維進行運算和推理。他曾經做出了能進行四則運算的手搖電腦。英國數學家、邏輯學家Boole(布爾)(1815-1864),他初步實現了布萊尼茨的思維符號化和數學化的思想,提出了一種嶄新的代數系統--布爾代數。美籍奧地利數理邏輯學家Godel(哥德爾)(1906-1978),他證明了一階謂詞的完備性定理;任何包含初等數論的形式系統,如果它是無矛盾的,那麼一定是不完備的。此定理的意義在於,人的思維形式化和機械化的某種極限,在理論上證明瞭有些事是做不到的。英國數學家Turing(圖靈)(1912-1954),1936年提出了一種理想電腦的數學模型(圖靈機),1950年提出了圖靈測試,發表了電腦與智能的論文。
91.1.2人工智慧的起源與發展(續)形成時期(1956-1961)1956年美國的幾位心理學家、數學家、電腦科學家、資訊理論學家在美國的達特茅斯(Dartmouth)大學舉辦了一次長達2個月的研討會,認真熱烈地討論了用機器模擬人類智能的問題。首次使用了人工智慧這一術語。標誌了人工智慧學科的誕生,具有十分重要的歷史意義。在美國開始形成了以人工智慧為研究目標的幾個研究組:如Newell和Simon的Carnegie-RAND協作組;Samuel和Gelernter的IBM公司工程課題研究組;Minsky和McCarthy的MIT研究組等,這一時期人工智慧的研究工作主要在下述幾個方面:1957年Newell和Simon等人的心理學小組編制出一個稱為邏輯理論
文档评论(0)