Impact, Cont.
Message for KR&R
- Asymmetry between our ability to show satisfiability vs. unsatisfiability, argues for model-finding (show sat) over theorem proving (show unsat).
- Examples:
- Vivid repr. (Levesque 1985)
- Planning (Kautz and Selman 1992)
- Abduction / diagnosis / deduction
- Model-based repr. versus formula-based repr. (Kautz, Kearns, and Selman 1994; Khardon and Roth 1994)
- Case-based reasoning (Kolodner 1991)
Impact, Cont.