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)

Previous slide

Next slide

Back to first slide

View graphic version