概率動(dòng)態(tài)認(rèn)知邏輯初探

1、西南大學(xué)碩士學(xué)位論文概率動(dòng)態(tài)認(rèn)知邏輯初探姓名：程莉申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：彭自強(qiáng)20090501兩南入學(xué)碩十’≯何論文 A b s t r a c tA P r e l i m i n a r yS t u d y o n L o g i c o f P r o b a b i l i s t i cD y n a m i c E p i s t e m i cM a j o r ：L o g i c A u t h o

2、 r ：L i C h e n gS u p e r v i s o r ：P r o f e s s o r Z i Q i a n g P e n gA b s t r a c tE p i s t e m i cl o g i ci s am o d a ll o g i cu s e d t o r e a s o na b o u t i n f o r m a t i o n ，i n c l u d i n gh i g

3、h e ro r d e ri n f o r m a t i o n ．P r o b a b i l i s t i c e p i s t e m i c l o g i c c a l l b e u s e d t o M a s o n a b o u t i n f o r m a t i o n a n di n f o r m a t i o n c h a n g e ，b u t h i g h e r o r d

4、 e r i n f o r m a t i o n i s o v e r l o o k e d ．I n t h i s p a p e r I c o m b i n ep r o b a b i l i s t i c l o g i c w i t h d y n a m i ce p i s t e m i cl o g i c y i e l d i n g an e wl o g i c , p r o b a b i

5、 l i s t id y n a m i ce p i s t e m i c l o g i c ( P D E L ) ，t h a t d e a l s w i t h c h a n g i n g p r o b a b i l i t i e s a n d t a k e s h i g h e r o r d e ri n f o r m a t i o n i n t oa c c o u n t ．A tl a

6、s t ，Ip r o v i d e as o u n da n d c o m p l e t ep r o o f s y s t e m f o rP D E L ．P a r to n e ：f i r s t ，e p i s t e m i c l o g i c C a nb ei n t r o u d u c e d ．E p i s t e r n i cl o g i c i s s u i t e dt o d

7、 e a lw i t hs t i t u a t i o n si n v o l v i n gm o r et h a n o n ea g e n t ．I n t h i sw a y e p i s t e m i c l o g i ca l s od e a l sw i t hh i g h e ro r d e ri n f o r m a t i o n ，i ．e ，i n f o r m a t i o na

8、 b o u ti n f o r m a t i o n ．D y n a m i ce p i s t e m i cl o g i c sa r ee x t e n s i o n so f e p i s t e m i c l o g i cw h i c h c a nb eu s e d t o r e a s o na b o u ti n f o r m a t i o na n d i n f o r m a t

9、i o nc h a n g e ．A tt h es a m e t i m e ，i t ’Sf a l s et oe x p r e s st h ee f f e c to f o n e ’Sd e g r e eo f b e l i e fw h e n h ea c q u i r e dt h em a t t e r o fi n c o r p o r a t i n gn e wi n f o r m a t

10、i o n ．A n d t h e n i n t r o d u c e P E L ．P E LC a nb e d e s c r i b e dap r o c e s s o fc h a n g e b e l i e f , b u t h i g h e ro r d e r i n f o m a t i o n i s o v e r l o o k e d ，S O c o m b i n e dD E La n

11、 dP E L ，t h e nw e g e tP D E L ，a l o g i cf o rr e a s o n i n ga b o u t p r o b a b i l i t y , i n f o r m a t i o n ，a n di n f o r m a t i o nc h a n g et h a tt a k e sh i g h e ro r d e r i n f o m a t i o n i

12、n t oa c c o u n t ．P a r t t w o ：P r o b a b i l i s t i c e p i s t e m i cm o d e l s a r e i n t r o u c e d ．T h e l a n g u a g e o fP D E L c a nb ei n t e r p r e t e d o n t h e s em o d e l s a n d b y m a k i

13、 n g ad y n a m i c v e r s i o no f P E L ，w e c a n g e t P D E L ．P a r t t h r e e ：I i n t r o u c e am e t h o df o rm a k i n gm o d e l sf o r s p e c i f i cs t i t u a t i o n sa n dp r o v i d es y n t a x ，s

14、e m a n t i c sa n dc o m p l e t e p r o o f s y s t e mf o rP D E L ．A n da t l a s t ，I g i v ea e x a m p l ef o ru s eP D E L ．A n d a tl a s t ，I g i v ea ne x a m p l e f o ru s i n gP D E L ．P a r t f o u r ：Ic o

15、 m m e n to nt h e P D E L ，a n d g i v e s o m ep r o b l e m sf o r f u r t h e r r e s e a r c hi nt h ef u t u r e ．K e y w o r d s ：D y n a m i c E p i s t e m i eL o g i c H i g h e xO r d e r I n f o r m a t i o n