Design of Logic-based Intelligent Systems

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.