動態(tài)認(rèn)知邏輯發(fā)展初探

1、河南大學(xué)碩士學(xué)位論文動態(tài)認(rèn)知邏輯發(fā)展初探姓名：劉珂申請學(xué)位級別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：李振江20080501A b s t r a c tD y n a m i c c o 印i t i V e L o g i ca i m s a tp m V i d i n g a f o n n a l 印p r o a c h f o rt h ei n f ．o m a t i o nc h 趾g e ．I t i sa n o n -

2、c l a S s i c a Jl o g i cb e 觚e e n p l l i l o s o p h y l o g i ca l l dc a l c u l a t i o n l o g i c ．T K sp 印e r i sd i V i d e di n t o t h r e ep a r t s ．P a r tI ：I n t r o d u c t i o n ，ar o u 曲u n d e r s t

3、 a l l d i n g o n d y n 撇i cc o 蛐t i V e l o g i c ．T h eb 戚ct h e o r y o f d y n 鋤i c c o g I l i t i V e l o g i c ，f o c u so n t 1 1 ep r o c e s so f i n f o m a t i o n ．T h e p r o c e s so fi n f o m a t i o n

4、i sc o r n p l e t e db yc o 弘i t i V el o g i c ．D y n 鋤i cc o g I l i t i V e l o g i ci st h es c i e n t i f i cp r o c e s so f s t u d y i n gr e a S o I l i n ga n d i n f o n n a t i o nc h a n g e ．D y n 鼬i c c

5、o g I l i t i V el o g i ce x p r e s s e sa I l dc h a r a c t e r i z e s 也ec h a l l g e so f t h e k n o w l e d g ec a u s e d b y e x t e m a l a c t i o n ．P a r t I I ：n l em a r ko f d y n a m i cc o 印i t i V eL

6、 o g i c ．P u b l i ca 1 1 n o u I l c e m e n tl o g i c s t a r t s、析t h t h i s a 1 1 n o u n c e m e n t ，C k 瞰l c t e r i z i I 培t h ei m p a c to fk n o w l e d g e t o c o m p l e t e t h ep r o c e s s i n go fa

7、c t i o n ．I t m 2 L i n l yi n s p e c t sh o w t oc o r n p l e t e t l l e c o n V e r S i o no fs t a t i c t od y n a m i c ．L a t e r ，m 鋤ys y s t e m si s e s t a ．b l i s h e dt 1 1 r o u g ha V a r i e t yo f e

8、x p a n s i o nb a S e d o nP A L -P a n I I I ：W i t hd e e p a Ⅵ，a r e n e s so nt h ec o 印i t i V eL o g i c ，m u l t i - a g e n tc o g I l i t i V el o g i cc a u s e s c o n c e m ． I n m u l t i - a g e n t s y s

9、t e m ， t h e c o n c 印t o fp u b l i c k n o w l e d g e i s V e 叫i r n p o n a m ．T h e m a i ne f f e c t s 鋤d i n t e r a c t i o nb e 觚e e nt h e a g e n t s a r eb u i l t o nt h ef o u n d a t i o no f t h ep u b

10、l i ck n o w l e d g e ．D y n 鋤i cc o g I l i t i V eL o g i c w i t hP u b l i ck n o w l e d g ei m p r o v e s i nc o g l l i t i V ea b i l i 夠a n dc h a r a c t e r i z a t i o n o f t h ei n t e r a C t i o nb e 觚e

11、 e n t h ea g e m s ．A tt h es a m et i m e ，t h ed i f ! f i c u l t y o f t h ec o m p l e x i t ) ，o fs y s t e ma 1 1 d t h ec o m p l e t e n e s sp r o o fw i l l i n c r e a u s e ．1 1 1 e r e f o r e ，h o w t o u

12、 I l d e r s t a n d p u b l i c k I l o w l e d g e i n d y n 鋤i cc o g n i t i V ei sa h o ti s s u e ．h r e a u s o n i n g o f m u l t i - a g e n t c o g n i t i V e l o g i c ，A s a I l a g e n t ，h e s h o u l dn

13、o t o n l yk n o w s t h es i t u a t i o no f t h ew o r l d ，b u ta l s ok n o w s t l l er e a S o l l i n gi n V o l V e di no m e r a g e n t s ．h e s h o u l d c h a n g e s r e a s o I l i n gs t 印s 、Ⅳi m a l l o