2. Some Background Information 49 3. Definitions and Terminology 52 4. The One Clause at a Time (OCAT) Approach 54 4. 1 Data Binarization 54 4. 2 The One Clause at a Time (OCAT) Concept 58 4. 3 A Branch-and-Bound Approach for Inferring Clauses 59 4. 4 Inference of the Clauses for the Illustrative Example 62 4. 5 A Polynomial Time Heuristic for Inferring Clauses 65 5. A Guided Learning Approach 70 6. The Rejectability Graph of Two Collections of Examples 72 6. 1 The Definition of the Rej ectability Graph 72 6. 2 Properties of the Rejectability Graph 74 6. 3 On the Minimum Clique Cover of the...