Design of logic-based intelligent systems /

Saved in:
Bibliographic Details
Author / Creator:Truemper, K., 1942-
Imprint:Hoboken, NJ : John Wiley, 2004.
Description:xii, 352 p. ; 24 cm.
Language:English
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5186011
Hidden Bibliographic Details
ISBN:0471484032 (cloth)
Notes:"A Wiley-Interscience publication."
Includes bibliographical references and indexes.
Table of Contents:
  • Preface
  • Chapter 1. Introduction
  • 1.1. Overview
  • 1.2. Terminology
  • 1.3. Levels of Thinking
  • 1.4. Logic Tools
  • 1.5. Formulation of Models
  • 1.6. Computational Complexity
  • 1.7. Software
  • 1.8. Suggested Reading Sequences
  • Part I. Logic Problems
  • Chapter 2. Introduction to Logic and Problems SAT and MINSAT
  • 2.1. Overview
  • 2.2. Propositional Logic
  • 2.3. First-order Logic
  • 2.4. Classification of Propositional Formulas
  • 2.5. Theorem Proving and Decision Making
  • 2.6. Logic Minimization
  • 2.7. Other Kinds of Logic
  • 2.8. Further Reading
  • 2.9. Exercises
  • Chapter 3. Variations of SAT and MINSAT
  • 3.1. Overview
  • 3.2. Problem MAXCLS SAT
  • 3.3. Problem MINCLS UNSAT
  • 3.4. Problem MAXVAR SAT
  • 3.5. Problem MINVAR UNSAT
  • 3.6. Problem MAXSAT
  • 3.7. Further Reading
  • 3.8. Exercises
  • Chapter 4. Quantified SAT and MINSAT
  • 4.1. Overview
  • 4.2. Problem Q-ALL SAT
  • 4.3. Problem Q-MIN UNSAT
  • 4.4. Problem Q-MAX MINSAT
  • 4.5. More Complicated Quantified Problems
  • 4.6. Heuristic Algorithms
  • 4.7. Further Reading
  • 4.8. Exercises
  • Part II. Formulation of Logic Systems
  • Chapter 5. Basic Formulation Techniques
  • 5.1. Overview
  • 5.2. Variables and Clauses
  • 5.3. Redundant Clauses
  • 5.4. Inconsistent Clauses
  • 5.5. Validation
  • 5.6. Decision Pyramid
  • 5.7. Explanations
  • 5.8. Accelerated Theorem Proving
  • 5.9. Decision Graphs
  • 5.10. Difficult Cases
  • 5.11. Further Reading
  • 5.12. Exercises
  • Chapter 6. Uncertainty
  • 6.1. Overview
  • 6.2. Basic Rule
  • 6.3. Satisfiability
  • 6.4. Minimum Cost Satisfiability
  • 6.5. Quantified SAT and MINSAT
  • 6.6. Defuzzification
  • 6.7. Further Reading
  • 6.8. Exercises
  • Part III. Learning
  • Chapter 7. Learning Formulas
  • 7.1. Overview
  • 7.2. Basic Concepts
  • 7.3. Separation of Two Sets
  • 7.4. Min and Max Formulas
  • 7.5. Optimized Formulas
  • 7.6. Additional Logic Constraints
  • 7.7. Reversing the Roles of Sets
  • 7.8. Voting
  • 7.9. Further Reading
  • 7.10. Exercises
  • Chapter 8. Accuracy of Learned Formulas
  • 8.1. Overview
  • 8.2. Subsets of Training Data
  • 8.3. Logic Formulas for Subsets
  • 8.4. Classification Errors
  • 8.5. Vote Distributions
  • 8.6. Classification Control
  • 8.7. Multipopulation Classification
  • 8.8. Further Reading
  • 8.9. Exercises
  • Part IV. Advanced Reasoning
  • Chapter 9. Nonmonotonic and Incomplete Reasoning
  • 9.1. Overview
  • 9.2. Nonmonotonicity
  • 9.3. Incompleteness
  • 9.4. Uncertain Nonmonotonicity and Incompleteness
  • 9.5. Further Reading
  • 9.6. Exercises
  • Chapter 10. Question-and-Answer Processes
  • 10.1. Overview
  • 10.2. Basic Process
  • 10.3. Definitions
  • 10.4. Reduction of CNF System
  • 10.5. Proof of Conclusions
  • 10.6. Selection of Goal Set
  • 10.7. Low-cost Assignments
  • 10.8. Selection of Tests
  • 10.9. QA Process
  • 10.10. Explanations
  • 10.11. Variation: Optimization
  • 10.12. Evaluation of Learned Formulas
  • 10.13. Further Reading
  • 10.14. Exercises
  • Part V. Applications
  • Chapter 11. Applications
  • 11.1. Overview
  • 11.2. Correctness of Design
  • 11.3. Music Composition Assistant
  • 11.4. Management of Hazardous Materials
  • 11.5. Traffic Control
  • 11.6. Credit Rating
  • 11.7. Deciding Word Sense
  • 11.8. Differential Medical Diagnosis