Design of logic-based intelligent systems
Choice Reviews Online · 2004
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.