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.


    Definition – Regression
    Let P be a set of facts, s P , and a an action. The regression regress(s , a) of s through a is:

    regress(s , a) = ( s \ add(a )) pre(a ) if add(a) s Ø, del(a ) s = Ø ; undefined otherwise

    In the first case, s is said to be regressable through a.
  • If s \ add(a ) = Ø ; then a contributes nothing
  • If s \ del(a ) Ø ; then we can’t use a to achieve p s p

Speaker notes:

Content Tools


There are currently no sources for this slide.