文档介绍:r e p r i n t e d f r o m t h e P r o c . o f t h e S e c o n d I n t e r n a t i o n a l C o n f e r e n c e o n P r i n c i p l e s o f K n o w l e d g e R e p r e s e n t a t i o n a n d R e a s o n i n g , C a m b r i d g e , M A A p r i l , 1 9 9 1 P l an n i n g as Te mp o r a l R e as on i n g J a m e s F A l l e n D e p a r t m e n t o f C o m p u t e r S c i e n c e U n i v e r s i t y o f R o c h e s t e r R o c h e s t e r , N Y 1 4 6 2 7 A b s t r ac t T h i s p a p e r d e s c r i b e s a r e a s o n i n g s y s t e m b a s e d o n a t e m p o r a l l o g i c t h a t c a n s o l v e p l a n n i n g p r o b l e m s a l o n g t h e l i n e s o f t r a d i t i o n a l p l a n n i n g s y s t e m s . B e c a u s e i t i s c a s t a s i n f e r e n c e i n a g e n e r a l r e p r e s e n t a t i o n , h o w e v e r , t h e r a n g e s o f p r o b l e m s t h a t c a n b e d e s c r i b e d i s c o n s i d e r a b l y g r e a t e r t h a n i n t r a d i t i o n a l p l a n n i n g s y s t e m s . I n a d d i t i o n , o t h e r m o d e s o f p l a n r e a s o n i n g , s u c h a s p l a n r e c o g n i t i o n o r p l a n m o n i t o r i n g , c a n b e f o r m a l i z e d w i t h i n t h e s a m e f r a m e w o r k . 1 I N T R O D U C T I O N T h e r e i s s t r o n g i n t e r e s t c u r r e n t l y i n d e s i g n i n g p l a n n i n g s y s t e m s t h a t c a n r e a s o n a b o u t r e a l i s t i c w o r l d s . I n m o v i n g f r o m t h e t o y - w o r l d d o m a i n s t h a t c h a r a c t e r i z e d e a r l y w o r k , r e s e a r c h e r s a r e l o o k i n g a t a w i d e r a n g e o f i s s u e s , i n c l u d i n g r e a s o n i n g i n u n c e r t a i n w o r l d s , i n t e r a c t i n g w i t h p r o c e s s e s a n d e v e n t s b e y o n d t h e a g e n t ' s d i r e c t c o n t r o l , a n d c o n t r o l l i n g m e c h a n i s m s i n r e a l - t i m e ( i . e . r o b o t i c s ) . O n e o f t h e p r o b l e m s f a c e d i n e x