SimPlanner: an execution-monitoring system for replanning in ... - UPV

1 downloads 70 Views 272KB Size Report
the case in domains with incomplete information where things do not always proceed as .... above each node stand for the action preconditions (Pre) and literals below ..... in Artificial Intelligence and Applications, 103-112, IOS Press, 1996. 10.
                           

                                  

         

      !     

   "   

 "  #  $   "    

 !        #            "     

!      !        "        !     

  %        %   % % "         

                    

           !         !  "     #              !       

        "     $          "  !            !  !   "       %&'       $     !  "      (          %)' *     "          +    "         ,   !           "    +              %-' .               "         *                 "  !      !  "         %-/'  0  ! *                  !         *             !   !   !     

         

         "    "     +

        "   1      

     1  !         "               "           "   1  !  "  !    .               2  1  !  "           !  "     #          Æ        "    "   1   1        3 + (         !    !     "         !         !  "    " 4           +                      ,                  

                        #   

  Æ  

        Æ       ,           "  !            !     !   

               !   Æ                    !   !                             !    !       

 

*         !   "  , "    5  -      !           *      6    "      )7   ! 

   !         !     !  " 4           0  !  $      !             "     ,    !       ,       "    "     +   ,       !              

              !          !  !   "    ,    !    5  8                              

      

,       !         "    "       

   

      ! ! , 0  !      $         "           !        +                 

    !           !       

  5  9           

2 -7          87        97      $  .     "  !           +     !      ,     ! !   6        7  !         !       65  )7 ,          $  ! 5  )      "    

 ! "   $           6   !      *87         6 7 

   5  :          "  6     7     "                                     , -  5  :        !      6 7             1  6 7   1  6  7 !            $             6  7  $     ,      1      

               

,  !  $   !      $   !           "           $    !                    

     /     $    

7 , $   !               , *;           ;   + "   %9'            , *;              !  6     7    !  6  +  + 7 , *;   "    6 1       7                    6        7  2 -  "            !                "     9 - * +         "            !   , !          6 7      6 7           "     

 

   (  !          !

     !      ,      6 7  67  6 7  6 7  6 7  6 7   6 7  6 7  6 7 

,  

   !        ,       , = 5  !       =      !      !           !   ! 6 6 77    



      ! "

 

 

 



 



 





  5      %    .  %    /0 / 0  /+0   /,*0   /,0  ,  /+0   /,*0   /,)0  /+0   /,*0   /,0 +  /+0   /,*0   /,+0 4  /+0   /,*0   /,-0   /+0   /,40   /,0    /+0   /,40   /,)0 +  /+0   /,40   /,0 4     /,,0   /,*0   /,0     /,,0   /,40   /,0 +     /,0   /,*0   /,0 +     /,0   /,40   /,0 4     / 0 

 / 0 ,

   

  





















6 6 77     !& 6 6 77 >           

       6 7  6 7         6 7  = G !                 

           6!7 >"      6%7 ,    !        ! =       !     (  " & !      #    ! 67  !               6!7 

 (         >     "   67      (    67              !   !     (     # % ) $  '    

  ,      *  ;   $    $            

   

"  ! !   

        5   !  /¼         =    ,

 6, E7     ! "          ,

                 5  D

  &                     

         

























 



 





#  #   

    %  

  3     %   

  

*          1    !   ! +       ,      #  H  +         5   !           "    2 2

 

   !     $      !  "     2      !   0  6         "   7   2   ! $       2     "          

            !                  2           1   !                          5  &   +

   !  1          !          1    !   6   +

 7 ,     !        !     

   !     ,  !               &      !            !      .            &&& %D' %8' ,  1                    5  &

       6 "   "        

 "



  

*     "           +   "  !             !        "  

   "    *

 !   "           "    "     *    !     0     

   ,    *      .                 !   "        !         

"   +            67        !                   *           !    !       (        

, 2 %$ "  7   6  "  " 

 " 5#   8  " $   " 222 $++ +)9-+ /,-++0

 :   36 2        ;    .      ;   6!!!    ) : 2 ( 3 8(6 3  

 " ; " 

 "   < ?  >6 2 %     

 "          2 

 "    "   >

7 1 %  :6 ; 33 

 "  6    "    " $     7   2'   "  .    ,6*)9) , 4 &   5  %  ( 8 @  56         

 " %  52 $ !=        

 " A   " (  1   2   " $  " , + 3# 8 ( " 6 ;21 %             /,---0 -     86  $"      "  

 "  5#   3    2'   "   2   ,)$,, &   ,-- , B=  5 8  C(6 2      . 

 "  8 "  

 " 2    2   

 " ;  " 494 ,--