Design of Logic-Based Intelligent Systems

Name: Design of Logic-Based Intelligent Systems
Price: 12.09 USD
Availability: InStock
ISBN: 9780471484035

ISBN-10: 0471484032

ISBN-13: 9780471484035

Edition: 2004

Authors: Klaus Truemper

List price: $173.95

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $135.79

Marketplace

4 new & used from $12.09

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $173.95
Copyright year: 2004
Publisher: John Wiley & Sons, Incorporated
Publication date: 5/20/2004
Binding: Hardcover
Pages: 366
Size: 6.38" wide x 9.43" long x 0.87" tall
Weight: 1.408
Language: English



Preface



Introduction



Overview



Terminology



Levels of Thinking



Logic Tools



Formulation of Models



Computational Complexity



Software



Suggested Reading Sequences



Logic Problems



Introduction to Logic and Problems SAT and MINSAT



Overview



Propositional Logic



First-order Logic



Classification of Propositional Formulas



Theorem Proving and Decision Making



Logic Minimization



Other Kinds of Logic



Further Reading



Exercises



Variations of SAT and MINSAT



Overview



Problem MAXCLS SAT



Problem MINCLS UNSAT



Problem MAXVAR SAT



Problem MINVAR UNSAT



Problem MAXSAT



Further Reading



Exercises



Quantified SAT and MINSAT



Overview



Problem Q-ALL SAT



Problem Q-MIN UNSAT



Problem Q-MAX MINSAT



More Complicated Quantified Problems



Heuristic Algorithms



Further Reading



Exercises



Formulation of Logic Systems



Basic Formulation Techniques



Overview



Variables and Clauses



Redundant Clauses



Inconsistent Clauses



Validation



Decision Pyramid



Explanations



Accelerated Theorem Proving



Decision Graphs



Difficult Cases



Further Reading



Exercises



Uncertainty



Overview



Basic Rule



Satisfiability



Minimum Cost Satisfiability



Quantified SAT and MINSAT



Defuzzification



Further Reading



Exercises



Learning



Learning Formulas



Overview



Basic Concepts



Separation of Two Sets



Min and Max Formulas



Optimized Formulas



Additional Logic Constraints



Reversing the Roles of Sets



Voting



Further Reading



Exercises



Accuracy of Learned Formulas



Overview



Subsets of Training Data



Logic Formulas for Subsets



Classification Errors



Vote Distributions



Classification Control



Multipopulation Classification



Further Reading



Exercises



Advanced Reasoning



Nonmonotonic and Incomplete Reasoning



Overview



Nonmonotonicity



Incompleteness



Uncertain Nonmonotonicity and Incompleteness



Further Reading



Exercises



Question-and-Answer Processes



Overview



Basic Process



Definitions



Reduction of CNF System



Proof of Conclusions



Selection of Goal Set



Low-cost Assignments



Selection of Tests



QA Process



Explanations



Variation: Optimization



Evaluation of Learned Formulas



Further Reading



Exercises



Applications



Applications



Overview



Correctness of Design



Music Composition Assistant



Management of Hazardous Materials



Traffic Control



Credit Rating



Deciding Word Sense



Differential Medical Diagnosis