Design of Logic-based Intelligent Systems

Klaus Truemper

  • 出版商: Wiley
  • 出版日期: 2004-05-20
  • 售價: $6,000
  • 貴賓價: 9.5$5,700
  • 語言: 英文
  • 頁數: 352
  • 裝訂: Hardcover
  • ISBN: 0471484032
  • ISBN-13: 9780471484035
  • 海外代購書籍(需單獨結帳)

買這商品的人也買了...

商品描述

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從業者的手冊,也是高級本科和研究生智能系統課程的教材。書中包含了40多個算法,以及眾多的例子和練習題。購買本書的讀者可以免費獲得附帶的軟件包(Leibniz System),該軟件包可在leibnizsystem.com上通過互聯網獲得。

目錄:
- 前言
- 第1章:引言
- 第一部分:邏輯問題
- 第2章:邏輯和SAT、MINSAT問題簡介
- 第3章:SAT和MINSAT的變體
- 第4章:量化的SAT和MINSAT
- 第二部分:邏輯系統的制定
- 第5章:基本制定技術
- 第6章:不確定性
- 第三部分:學習
- 第7章:學習公式
- 第8章:學習公式的準確性
- 第四部分:高級推理
- 第9章:非單調和不完全推理
- 第10章:問答過程
- 第五部分:應用
- 第11章:應用
- 參考文獻
- 作者索引
- 主題索引