Slide 1Assumption-Based Truth Maintenance Systems Meir Kalech Slide 2 Outline Last lecture: 1. Consistency-based diagnosis 2. GDE – general diagnosis engine 3. Conflict…