買這商品的人也買了...
- 
                
                   信號與系統 (Signals & Systems, 2/e) 信號與系統 (Signals & Systems, 2/e)$840$798
- 
                
                   Database System Concepts, 4/e Database System Concepts, 4/e$800$784
- 
                
                   ADO.NET 程式設計開發指南 ADO.NET 程式設計開發指南$690$587
- 
                
                   作業系統概念 (Operating System Concepts, 6/e Windows XP Update) 作業系統概念 (Operating System Concepts, 6/e Windows XP Update)$780$741
- 
                
                   Artificial Intelligence: A Modern Approach, 2/e Artificial Intelligence: A Modern Approach, 2/e$1,100$1,078
- 
                
                   無線通訊與網路 (Wireless Communications and Networks) 無線通訊與網路 (Wireless Communications and Networks)$600$588
- 
                
                   ASP.NET 程式設計徹底研究 ASP.NET 程式設計徹底研究$590$466
- 
                
                   STRUTS 實作手冊(Struts in Action: Building Web Applications with the Leading Java Framework) STRUTS 實作手冊(Struts in Action: Building Web Applications with the Leading Java Framework)$690$538
- 
                
                   CMOS 電路模擬與設計─使用 Hspice CMOS 電路模擬與設計─使用 Hspice$350$315
- 
                
                   MediaStudio Pro 7 影音蒙太奇 MediaStudio Pro 7 影音蒙太奇$390$308
- 
                
                   鳥哥的 Linux 私房菜─基礎學習篇增訂版 鳥哥的 Linux 私房菜─基礎學習篇增訂版$560$476
- 
                
                   CCNA Self-Study: Interconnecting Cisco Network Devices (ICND) 640-811, 640-801, 2/e CCNA Self-Study: Interconnecting Cisco Network Devices (ICND) 640-811, 640-801, 2/e$2,220$2,109
- 
                
                   人月神話:軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e) 人月神話:軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)$480$379
- 
                
                   JSP 2.0 技術手冊 JSP 2.0 技術手冊$750$593
- 
                
                   CCNA 認證教戰手冊 Exam 640-801 (CCNA Cisco Certified Network Associate Study Guide, 4/e) CCNA 認證教戰手冊 Exam 640-801 (CCNA Cisco Certified Network Associate Study Guide, 4/e)$780$663
- 
                
                   舞動 Windows Server 2003 網站架設與規劃 舞動 Windows Server 2003 網站架設與規劃$450$383
- 
                
                   JSP 與 Servlet 500 個應用範例技巧大全集 JSP 與 Servlet 500 個應用範例技巧大全集$590$460
- 
                
                   MCAD/MCSD 專業認證訓練手冊─使用 Visual Basic.NET 與 C# .NET 開發 XML Web Service 與伺服器元件(MCAD/MCSD Self-Paced Training Kit: Developing XML Web Services and Server Components with Microsoft Visu MCAD/MCSD 專業認證訓練手冊─使用 Visual Basic.NET 與 C# .NET 開發 XML Web Service 與伺服器元件(MCAD/MCSD Self-Paced Training Kit: Developing XML Web Services and Server Components with Microsoft Visu$890$703
- 
                
                   Project 2003 徹底研究 Project 2003 徹底研究$690$538
- 
                
                   CMMI Distilled 中文版 (CMMI Distilled, 2/e) CMMI Distilled 中文版 (CMMI Distilled, 2/e)$450$360
- 
                
                   Reporting Service 實戰演練 Reporting Service 實戰演練$690$587
- 
                
                   Windows 驅動程式設計指南 (Programming the Microsoft Windows Driver Model, 2/e) Windows 驅動程式設計指南 (Programming the Microsoft Windows Driver Model, 2/e)$890$703
- 
                
                   Word 排版藝術 Word 排版藝術$620$490
- 
                
                   Linux 程式設計教學手冊 Linux 程式設計教學手冊$780$616
- 
                
                   Fedora Core 3 Linux 架站實務 Fedora Core 3 Linux 架站實務$650$553
商品描述
Description:
Principles for constructing intelligent systems
Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner.
Topics include:
- Levels of thinking and logic
- Special cases: expert systems and intelligent agents
- Formulating and solving logic systems
- Reasoning under uncertainty
- Learning logic formulas from data
- Nonmonotonic and incomplete reasoning
- Question-and-answer processes
- Intelligent systems that construct intelligent systems
Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises. The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com.
Table of Contents:
Preface.
Chapter 1. Introduction.
PART I: LOGIC PROBLEMS.
Chapter 2. Introduction to Logic and Problems SAT and MINSAT.
Chapter 3. Variations of SAT and MINSAT.
Chapter 4. Quantified SAT and MINSAT.
PART II: FORMULATION OF LOGIC SYSTEMS.
Chapter 5. Basic Formulation Techniques.
Chapter 6. Uncertainty.
PART III: LEARNING.
Chapter 7. Learning Formulas.
Chapter 8. Accuracy of Learning Formulas.
PART IV: ADVANCED REASONING.
Chapter 9. Nonmonotonic and Incomplete Reasoning.
Chapter 10. Question-and-Answer Processes.
PART V: APPLICATIONS.
Chapter 11. Applications.
References.
Author Index.
Subject Index.
商品描述(中文翻譯)
**描述:**  
構建智能系統的原則  
《基於邏輯的智能系統設計》發展了構建智能系統的原則和方法,這些系統用於人類輕鬆完成但對機器來說困難的複雜任務。目前的人工智慧(AI)方法依賴於各種構造和方法(生產規則、神經網絡、支持向量機、模糊邏輯、貝葉斯網絡等)。相較之下,本書使用了一種擴展的命題邏輯,以統一且數學上相容的方式處理智能系統的所有方面。  
主題包括:  
- 思考和邏輯的層次  
- 特殊情況:專家系統和智能代理  
- 公式化和解決邏輯系統  
- 不確定性下的推理  
- 從數據中學習邏輯公式  
- 非單調和不完整推理  
- 問答過程  
- 構建智能系統的智能系統  
《基於邏輯的智能系統設計》既是AI從業者的手冊,也是高級本科生和研究生智能系統課程的教科書。書中包含四十多個算法,以及大量的例子和練習。購買本書的讀者可以通過互聯網在leibnizsystem.com免費獲得隨附的軟體包(Leibniz System)。
**目錄:**  
前言。  
第一章。介紹。  
第一部分:邏輯問題。  
第二章。邏輯及SAT和MINSAT問題介紹。  
第三章。SAT和MINSAT的變體。  
第四章。量化的SAT和MINSAT。  
第二部分:邏輯系統的公式化。  
第五章。基本公式化技術。  
第六章。不確定性。  
第三部分:學習。  
第七章。學習公式。  
第八章。學習公式的準確性。  
第四部分:高級推理。  
第九章。非單調和不完整推理。  
第十章。問答過程。  
第五部分:應用。  
第十一章。應用。  
參考文獻。  
作者索引。  
主題索引。  

 
     
     
     
     
    
 
     
     
     
    