時態(tài)公開宣告邏輯初探

1、西南大學碩士學位論文時態(tài)公開宣告邏輯初探姓名：張麗申請學位級別：碩士專業(yè)：邏輯學指導教師：唐曉嘉20090501兩南大學碩十學位論文 A b s 仃a c tA P r e l i m i n a r yS t u d y o n T e m p o r a l P u b l i cA n n o u n c e m e n t L o g i cM a j o r ：L o g i c A u t h o r ：Z h a n g

2、L iS u p e r v i s o r ：P r o f e s s o r X i a o j i aT a n gA b s t r a c tI nd e s c r i b i n gm u t i - a g e n ti n t e l l i g e n t i n t e r a c t i o n ，p u b i ca n n o u n c e m e n tl o g i c ( P A L ) c o n

3、 c e r n s h o wa g e n t s ’e p i s t e m i cs t a t e sc h a n g ew h e nt r u ei n f o r m a t i o mi s p u b l i c l ya n n o u n c e d ．E p i s t e m i ct e m p o r a ll o g i c ( E T L ) c o n c e r n sw h a ti n f

4、 o r m a t i o n e v e n t sc a nt a k ep l a c ei n t h ec o u r s eo f a g e n t s ’i n t e r a c t i o n ．I nt h i s t h e s i s ，a l o g i c s y s t e mw i l l b ed i s c u s s e d - - - - - t e m p o r a l p u b i c

5、 a n n o u n c e m e n tl o g i c ，w h i c hC a nc a p t u r eb o t ht w o i m p o r t a n t i n g r e d i e n t sa n d m e r g e st h es e m a n t i cf r a m e w o r k o f p u b i ca n n o u n c e m e n tl o g i ca n d

6、e p i s t e m i ct e m p o r a l l o g i c ．P a r to n e ：P u b i ca n n o u n c e m e n tl o g i c ，t h ep r i m ee x a m p l e o fd y n a m i c e p i s t e m i cl o g i c ( D E L ) ，d e s c r i b e sh o wa g e n t s ’e

7、 p i s t e m i c s t a t e s c h a n g e w h e n t r u e i n f o r m a t i o m i s p u b l i c l y a n n o u n c e d ．S e q u e n t i a l l y , e p i s t e m i c t e m p o r a l l o g i c d e s c r i b e s h o wk n o w l

8、 e d g ee v o l v e s o v e rt i m e i n s o m ei n f o r m a t i o n a l p r o c e s s a n dc a n s t r a i g h t f o r w a r d l y c a p t u r e r e l a t i v e c o m m u n i c a t i o nc o n s t r a i n t s i nv a r i

9、 o u ss i t u a t i o n s ．P a r t t w o ：F i r s t l y , w ei n 仃o d u c eh o w c a i lg e n e r a t e E T L —m o d e l sf r o mP A L a n ds u p p o r taf e we x a m p l e s ．S e c o n d l y , w ed i s c u s st h e r e

10、l a t i o nb e t w e e nP A L a n dE T L ．N o ta l l E T L m o d e l sC a nb eg e n e r a t e db y aP A Lp r o t o c 0 1 ．I nf a c t ，s u c h g e n e r a t e d E T L - m o d e l sh a v ean u m b l e o fs p e c i a lp r o

11、 p e r t i e s ．P a r tt h r e e ：T e m p o r a l p u b i ca n n o u n c e m e n t l o g i cw h i c h m e r g e st h es e m a n t i cf r a m e w o r k o f p u b i ca n n o u n c e m e n tl o g i ca n de p i s t e m i ct

12、e m p o r a ll o g i c a n da s s i g n s t o e a c h s t a t ei n ag i v e ne p i s t e m i cm o d e l as e to fs e q u e n c e so f p u b i ca n n o u n c e m e n t s ．B u t ，T P A LC a n ’tr e d u c e t oP A L ．S o ，t

13、 h ep r o o f o fc o m p l e t e n e s si s av a r i a n to f t h e s t a n d a r dH e n k i nc o n s t r u c t i o n ．T h er e l a t i o nb e t w e e nT P A L a n d P A Li s n o t i m m e d i a t e l y ．P a r tf o u r ：

14、Ic o m m e n t o n t h eT P A L ，a n d g i v e s o m e p r o b l e m sf o rf u r t h e rr e s e a r c hi nt h e f u t u r e ．K e y w o r d s ：p u b i c a n n o u n c e m e n t l o g i c e p i s t e m i c t e m p o r a ll