亚洲男人的天堂2018av,欧美草比,久久久久久免费视频精选,国色天香在线看免费,久久久久亚洲av成人片仓井空

這完全修訂第二版介紹統計模式識別。一般來說，模式識別涵蓋了廣泛的問題:它被應用于工程問題，如字符識別和波形分析，以及生物學和心理學的大腦建模。統計決策和估計，這是本書的主要主題，被認為是研究模式識別的基礎。這本書是適當的為模式識別的入門課程的文本，并作為在該領域的工作者的參考書。每一章包含計算機項目以及練習。

//www.elsevier.com/books/introduction-to-statistical-pattern-recognition/fukunaga/978-0-08-047865-4

從Facebook、萬維網和互聯網這樣的社交網絡，到我們身體細胞中蛋白質之間復雜的相互作用，我們不斷面臨著理解網絡結構和發展的挑戰。隨機圖的理論為這一理解提供了一個框架，在這本書中，作者對理解和應用這一理論的基本工具給出了細致的介紹。第一部分包括足夠的材料，包括練習，一個學期的課程在高等本科或初級研究生水平。然后，讀者為第二部分和第三部分更高級的主題做好了充分的準備。最后一部分提供了一個快速介紹所需的背景材料。所有那些對離散數學、計算機科學或應用概率及其應用感興趣的人都會發現這是一個理想的入門課程。

//www.cambridge.org/core/books/introduction-to-random-graphs/0F67A19795B731B0C97EAB5BB5748CF2#fndtn-information

形式化方法是保證計算機系統正確性與安全性的一種重要方法，其采用數學（邏輯）證明的手段對計算機系統進行建模、規約、分析、推理和驗證。

近年來，隨著世界各地的公司意識到需要改進驗證其產品的手段，驗證硬件和軟件系統的強大工具得到了發展。對形式推理基本方法的訓練要求越來越高，以使學生熟練掌握基于邏輯的驗證方法。這本成功的教科書的第二版解決了這兩個要求，通過繼續提供一個對形式推理的清晰介紹，它既與現代計算機科學的需求相關，又足夠嚴格的實際應用。對第一版的改進已經在整個過程中，與額外的和擴展的章節上的SAT解算器，存在/通用二階邏輯，微模型，通過契約編程和完全的正確性。模型檢查的覆蓋范圍已經得到了實質性的更新。還增加了進一步的練習。書的互聯網支持包括為教師的所有練習的工作的解決方案，和為學生的一些練習的模型解決方案。

//staff.ustc.edu.cn/~huangwc/book/LogicInCS.pdf

本書由計算理論領域的知名MichaelSipser所撰寫。他以獨特的視角，地介紹了計算理論的三個主要內容：自動機與語言、可計算性理論和計算復雜性理論。作者以清新的筆觸、生動的語言給出了寬泛的數學原理，而沒有拘泥于某些低層次的細節。在證明之前，均有“證明思路”，幫助讀者理解數學形式下蘊涵的概念。本書可作為計算機高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。

//staff.ustc.edu.cn/~huangwc/book/Sipser_Introduction.to.the.Theory.of.Computation.3E.pdf

這本書的書名聽起來有點神秘。如果這本書以一種錯誤的方式呈現了這個主題，人們為什么要讀它呢?書中哪些地方做得特別“不對”?

在回答這些問題之前，讓我先描述一下本文的目標受眾。這本書是“榮譽線性代數”課程的課堂講稿。這應該是高等數學學生的第一門線性代數課程。它的目標是一個學生，雖然還不是非常熟悉抽象推理，但愿意學習更嚴格的數學，在“烹飪書風格”的微積分類型課程。除了作為線性代數的第一門課程，它也應該是第一門向學生介紹嚴格證明、形式定義——簡而言之，現代理論(抽象)數學風格的課程。

目標讀者解釋了基本概念和具體實例的非常具體的混合，它們通常出現在介紹性的線性代數文本中，具有更抽象的定義和高級書籍的典型構造。

//www.math.brown.edu/streil/papers/LADW/LADW_2017-09-04.pdf

自然語言理解是人工智能的一個重要分支，主要研究如何利用電腦來理解和生成自然語言。本書重點介紹了自然語言理解所涉及的各個方面，包括語法分析、語義分析、概念分析、語料庫語言學、詞匯語義驅動、中間語言、WordNet、詞匯樹鄰接文法、鏈接文法、基于語段的機器翻譯方法、內識別與文本過濾、機器翻譯的評測等，既有對基礎知識的介紹，又有對新研究進展的綜述，同時還結合了作者（JamesPustejovsky，生成詞庫理論的創始人）多年的研究成果。本書內容全面、詳略得當，結合實例講解，使讀者更易理解。

編輯推薦

《面向機器學習的自然語言標注》內容全面、詳略得當，結合實例講解，使讀者更易理解。自然語言理解是人工智能的一個重要分支，主要研究如何利用計算機來理解和生成自然語言。

名人推薦

“語言標注是自然語言處理的一個關鍵部分，但是現有的計算語言學課程卻少有涉及。本書是難得的一本從實踐角度討論自然語言標注，并且以服務于機器學習算法為目的來考察標注規格與設計的專著。它必將成為本科生和研究生計算語言學課程的一個標準。” ——Nancy Ide瓦薩學院計算機科學系教授

作者簡介 James Pustejovsky教授是美國布蘭代斯（Brandeis University）大學計算機科學系和Volen國家綜合系統中心教授。先后在美國麻省理工學院和馬薩諸塞大學獲得學士學位和博士學位。 Pustejovsky教授主要從事自然語言的理論和計算研究。研究領域包括：計算語言學、詞匯語義學、知識表征、話語語義學、時間推理和抽取等。已經出版多部專著。

本書旨在介紹大數據處理的一些定義、方法、工具、框架和解決方案，從信息提取和知識表示的過程開始，通過知識處理和分析，再到可視化、意義構建和實際應用。本書的每一章都講述了數據處理鏈的一些相關方面，特別關注于理解企業知識圖、語義大數據架構和智能數據分析解決方案。這本書是針對研究生從技術學科，專業觀眾繼續教育短期課程，并研究人員從不同的領域自學課程。具備計算機科學、數學和統計學的基本技能。

//www.springer.com/gp/book/9783030531980

知識表示和推理是人工智能挑戰的核心: 要充分理解智能和認知的本質，使計算機能夠表現出類似人類的能力。早在1958年，約翰·麥卡錫(John McCarthy)就考慮過可以運用常識的人工智能系統。從這些早期工作中，研究人員確信(人工)智能可以被形式化為具有明確知識表征的符號推理，而研究的核心挑戰是弄清楚如何在計算機中表示知識，并使用它的算法來解決問題。

多年以后，這本書調研了構成知識表示和推理領域的大量科學和工程見解。在三個方面取得了進展。首先，研究人員探索了知識表示和推理的一般方法，解決了跨越應用領域的基本問題。其次，研究人員開發了專門的知識表示和推理方法來處理核心領域，如時間、空間、因果關系和行動。第三，研究人員處理了知識表示和推理的重要應用，包括查詢回答、規劃和語義網。因此，本書分為三個部分來涵蓋這些主題。

//www.elsevier.com/books/handbook-of-knowledge-representation/van-harmelen/978-0-444-52211-5

第一部分主要介紹人工智能系統中表示知識的一般方法。它從經典邏輯和定理證明的背景開始，然后轉向擴展經典邏輯的新方法——例如，處理定性的或不確定的信息——并改進其計算可處理性。

• 第一章通過調研自動化推理的經典邏輯和方法，為后面章節提供了背景知識。
• 第二章描述了可滿足性(SAT)求解器的顯著成功。研究人員發現，這類自動推理可以用于越來越多的實際應用，而且效率驚人。
• 第三章回顧了描述邏輯的研究，提供了用術語知識表示和推理的方法。描述邏輯是語義Web表示語言的核心。
• 第四章描述了約束規劃，一個解決組合搜索問題的強大范例。這種類型的知識表示和推理結合了來自人工智能、運籌學、算法和圖論的廣泛技術。
• 第五章回顧了在概念圖方面有影響的研究。這種結構化的表示提供了一種表達性語言和強大的推理方法，這對于自然語言理解等應用程序是必不可少的。
• 第六章介紹了非單調邏輯，它處理與處理一般規則異常相關的復雜問題。這些邏輯被稱為“非單調”，因為它們描述了當考慮到額外的異常時從知識庫撤回信息的情況。
• 第七章建立在上一章的基礎上，描述了答案集邏輯，它巧妙地處理了默認規則和例外，以及它們所產生的非單調推理。這種邏輯形式也支持關于行為的因果效應的推理——常識的另一個關鍵特征。
• 第八章通過對信念修正技術的調查繼續了這個主題，也就是說，一個主體是如何根據與之前的信念相矛盾的新信息改變其知識庫的。
• 第九章解釋了連續系統定性模型的作用。這些模型實現了常識的另一個關鍵特征: 使用不完整信息進行推理。這種推理形式可以計算，例如，一個系統可能的未來狀態，這是重要的許多任務，如診斷和輔導。
• 第十章證明了這些理論和技術為問題解決者建立了基礎，這些解決者利用系統行為的明確模型來完成諸如設計、測試和診斷等任務。這種基于模型的問題解決器以基本原理知識和具有正式邏輯基礎的推理引擎為基礎，而不是與特定實例和情況相關聯的經驗，實現了知識表示和推理技術的工業應用所需的能力和健壯性。
• 第十一章直面現實世界領域中不可避免的不確定性問題，并調查了貝葉斯網絡作為一種建模和基于不確定信念進行推理的方法的廣泛研究。

第二部分探討了用知識的一些核心領域(包括時間、空間、因果關系和行動)來表示和推理的特殊挑戰。這些挑戰在應用程序領域中普遍存在，因此解決方案必須是通用的和可組合的。

• 第十二章討論了如何表示一個不斷變化的時序世界。在這個貫穿本節的主題中，這提出了各種有趣的本體論問題——比如時間應該用點還是間隔來建模，以及在什么層次上粒度化——以及這些決定的實際后果。
• 第十三章調研了空間的定性表示，包括拓撲、方向、形狀、大小和距離，以及適用于每個空間的推理方法。雖然沒有單一的理論涵蓋這些主題全面，研究人員已經產生了一個強大的工具包。
• 第十四章建立在前兩章的基礎上，并對定性建模進行了研究，以解決一般的物理推理問題。發展了兩個重要的領域理論(液體和固體)，并探討了在替代模型之間轉換的關鍵問題。
• 第十五章調研了一個主體的知識和信念的表現，包括關于其他主體的知識狀態的命題(例如，“湯姆相信瑪麗知道……”)。這種工作可以很好地擴展到在智能體社區中處理公共知識和分布式知識。
• 第十六章考察了“情境演算”的悠久歷史——為處理動態世界而設計的知識表示。麥卡錫和海斯首先定義的情形是“宇宙在某一時刻的完整狀態”。因為情境是可以被量化的一階對象，這個框架已經被證明是關于變化的推理的一個強有力的基礎。
• 第十七章描述了事件演算作為一種情景演算的替代，它具有一些額外的好特性。特別是，事件演算有助于表示連續事件、不確定性影響、持續時間事件、觸發事件等等。
• 第十八章通過引入時態動作邏輯，繼續開發為動態世界設計的表示語言。這個語言家族特別適合于推理持久性，也就是說，世界上的特性會隨著時間的推移而不變，直到一個動作影響到它們。它簡化了不確定性動作、有持續時間的動作、并發動作和動作的延遲效果的表示，部分原因是它使用了顯式時間，并且它將自動計劃器與形式主義緊密地結合在一起。
• 第十九章關注于非單調因果邏輯，它使用框架問題的強解決方案來處理動態世界。這一邏輯始于這樣的假設:每件事都有一個原因:要么是先前的動作，要么是慣性(持久性)。這導致了一些關鍵問題的很好的形式化，比如分支、隱含的操作前提條件和操作的并發交互影響。

第三部分介紹了知識表示和推理的重要應用。應用領域涵蓋了人工智能的廣度，包括問題回答、語義網、計劃、機器人和多智能體系統。每一項應用都廣泛借鑒了第一部分和第二部分中所述的研究結果。

• 第二十章調研了問答系統。這些系統會回答相關文檔的問題，在某些情況下，還會回答常識信息的知識庫。該系統的挑戰是選擇相關的文本段落(一個信息檢索任務)，解釋它們(一個自然語言理解任務)和推斷問題的答案(一個推理任務)。
• 第二十一章回顧了語義網的發展:萬維網的一個擴展，在它的內容是用一種正式的語言表達的，使軟件代理能夠發現、整合和推理它。這帶來了許多挑戰，包括將知識表示方法縮放到Web的大小。
• 第二十二章調查了自動化規劃的進展，這使得這些系統比早期人工智能的“經典規劃”更加強大。例如，新框架支持不確定性操作和部分可觀察性，這是現實領域的重要屬性。
• 第二十三章將知識表示和推理擴展到一個新的方向:認知機器人。這一應用的挑戰在于，機器人的世界是動態的、不完全已知的，這需要重新思考傳統的人工智能任務方法，比如規劃，以及耦合高級推理和低級感知。
• 第二十四章對多智能體系統的研究進行了調查，其中每個智能體代表和推理環境中的其他智能體是很重要的。當代理有不同的，或者更糟的——沖突的目標時，這就特別具有挑戰性。
• 第二十五章描述了知識工程的工具和技術:如何獲得可以用其他章節中描述的形式來表達的知識。

此外，這25章，組織在三個部分“一般方法”，“專門的表示和“應用”，提供了一個獨特的調研，最好的知識表示已經取得，由幫助塑造領域的研究人員寫。我們希望學生，研究人員和從業者在所有領域的人工智能和認知科學將發現這本書是一個有用的資源。

本書圍繞虛擬化、并發和持久性這三個主要概念展開，介紹了所有現代系統的主要組件（包括調度、虛擬內存管理、磁盤和I/O子系統、文件系統）。全書共50章，分為3個部分，分別講述虛擬化、并發和持久性的相關內容。作者以對話形式引入所介紹的主題概念，行文詼諧幽默卻又鞭辟入里，力求幫助讀者理解操作系統中虛擬化、并發和持久性的原理。本書內容全面，并給出了真實可運行的代碼（而非偽代碼），還提供了相應的練習，很適合高等院校相關專業的教師開展教學和高校學生進行自學。?

本書具有以下特色：

• 主題突出，緊緊圍繞操作系統的三大主題元素——虛擬化、并發和持久性。
• 以對話的方式引入背景，提出問題，進而闡釋原理，啟發動手實踐。
• 包含眾多“補充”和“提示”，拓展讀者知識面，增加趣味性。
• 使用真實代碼而不是偽代碼，讓讀者更加深入透徹地了解操作系統。
• 提供作業、模擬和項目等眾多學習方式，鼓勵讀者動手實踐。
• 為教師提供教學輔助資源。