STRIPS 到底怎么回事

1. 算法过程：

//S 是Source，G是目标空间状态

STRIPS(S,G){

IF (S = G) Then 直接返回S;

ELSE

DIFF == difference between S and G

Loop1:

IF empty(DIFF) Then 直接返回失败;

ELSE

D == POP(DIFF);

OPER == operators(D);

/* Put all operators reducing D in OPER */

Loop2:

IF empty(OPER) Then jump Loop1;

ELSE

 OP == POP(OPER);

  PC == PRECOND(OP);

  S1 == STRIPS(S,PC);

  IF S1 == FAIL Then jump Loop2;

  ELSE

S2 == PERFORM(OP,S1);

S3 == STRIPS(S2,G);

IF S3 == Fail Then jump Loop2;

Return S3;

}

未完，待续。例子很精彩。