Other Payoffs Of TMSs
Provide “reusable” derivations
- “Tell” can check derivation records for supported conclusions
E.g.: KB contains S1
Support for S3 is {… (S1, S2) …}
“Tell S2” can add S3 to the KB
Support nonmonotonic reasoning
- Mark a “told” sentence as an assumption
- When “false” is derived, to remove inconsistency:
- Compute support of “told” sentences
- Remove a supporting sentence that was an assumption