Maintaining Derived Results
Consider the following sequence of events:
- Derive sentence S3 from sentences S1 and S2
- Store the derived result, S3 in the KB
- Untell S1
- Ask: S3?
Problem: What is to be done with S3?
Truth maintenance systems solve that problem