Documents Assumption-Based Truth Maintenance Systems Meir Kalech.

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

Documents Assumption-Based Truth Maintenance Systems

Assumption-Based Truth Maintenance Systems Meir Kalech Outline Last lecture: Consistency-based diagnosis GDE – general diagnosis engine Conflict generation using ATMS Candidate…