Incremental Deletion
WS Presentations Main Page
Next: ``Top-Down'' Deletion Algorithm.
Up: Document: incanal
Previous: Incremental vs. Non-incremental
- Already existing analysis is correct.
- We can do nothing.
- This is simple but inaccurate.
- Narrowing-like strategy.
- .
- It is also inaccurate. Starting analysis from scratch often
produces more accurate results.
- We look for incremental analysis as accurate as analysis from
scratch.
- Ideally, useful for clause deletion at run-time (retract
and abolish).
Thu Jan 18 11:22:51 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>