Design of logic-based intelligent systems /
Saved in:
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 |
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