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.

STRIPS

    Definition – Result
      Let P be a set of facts, s ⊆ P a state, and a an action. The result result(s , ‹a› ) of applying a to s is:
      result(s , ‹a› ) = ( s ∪ add(a)) \ del(a) iff pre(a) ⊆ s ; undefined otherwise
      In the first case, the action a is said to be applicable in s . The result of applying an action sequence ‹ a 1 , ... , a n › of arbitrary length to s is defined by result(s , ‹ a 1 , . . . , a n › ) = result(result(s , ‹ a 1 , . . . , a n-1 › ), ‹ a n › ) and result(s , ‹› ) = s .

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.