Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

PSM Framework Example

  • Adapters between refinement levels can be represented as follows:
      PSM refinement adapter set-minimizer -> abduction-method
        correct(x) = complete(x);
        input = {h | h is hypothesis};
        H ⊆ H’ → explain(H) ⊆ explain(H’)
      endPSM refinement adapter
      PSM refinement adapter hill-climbing -> set-minimizer
        correct(input);
        select1(x) = {x};
        successor(x, y) ↔ ∃z . (z ∈ x ∧ y = x \ {z});
        x < y ↔ correct(y) ∧ y ⊂ x
      endPSM refinement adapter
      PSM refinement adapter local-search -> hill-climbing
        |select1(x)| = 1;
        ¬∃z . (z ∈ y’ ∧ y < z) → select2({y}, y’) = {y};
        |select2({y}, y’)| = 1
      endPSM refinement adapter

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.