基于中介邏輯無窮值語義模型的否定知識表示與處理.pdf

1、江南大學(xué)碩士學(xué)位論文基于中介邏輯無窮值語義模型的否定知識表示與處理姓名：程天笑申請學(xué)位級別：碩士專業(yè)：應(yīng)用數(shù)學(xué)指導(dǎo)教師：潘正華20090601A b s t a e tA b a t r a c tH o w t o d e s c r i b ea n dp r o c e s sn e g a t i v e k n o w l e d g ei s ab a s i cp r o b l e m i ni n f o r m a

2、t i o ns c i e n c e ．I nc h a p t e r 2 ，t h e p a p e rm a k e a l l i n t r o d u c t i o n o fc o n c e p t e s s e n c e o fn e g a t i v ek n o w l e d g e ，a s c e r t a i n f i v e k i n d s n e g a t i v e r e l

3、 a t i o n ( C D C ，C F C ，O D C ，O F Ca n dR O M )b e t w e e n d i s t i n c tk n o w l e d g ea n d f u z z y k n o w l e d g e ．A c c o r d i n gt o f i v en e g a t i v e k i n d s n e g a t i v er e l a t i o n s ，

4、w ea n a l y s i st h ec a p a c i t yo fs o m ep o p u l a rl o g i ct h e o r i e sf o r n e g a t i v ek n o w l e d g er e p r e s e n t a t i o n a n dp r o c e s s i n g ，a n dw ef i n dt h a tm o s tl o g i c t h

5、e o r i e s C a n ’t d e a l 塒協(xié)t h en e g a t i v er e l a t i o n sp e r f e c t l ya n de x a c t l y ．O nt h eo t h e rh a n d ，m e d i u ml o g i ci s al o g i ct h e o r yw h i c hr e f l e c t s f i v e k i n d so

6、fn e g a t i v e r e l a t i o n s ，a n d i t s i n t e r p r e t a t i o n o fi n f i n i t e v a l u e dp r o v i d e s af o u n d a t i o n f o r k n o w l e d g e p r o c e s s i n g i n d i f f e r e n t d o m a i n

7、 s ．B a s e d o nt h ei n t e r p r e t a t i o n o fi n f i n i t e v a l u e d f o rm e d i u ml o g i c ，t h ep a p e rm a k e ss o m er e s e a r c h a b o u tn e g a t i v ek n o w l e d g e r e p r e s e n t a t i

8、o na n d p r o c e s s i n g ．I nc h a p t e r3 ，t h ep a p e rm a k e s a p r e s e n t a t i o na b o u t c l a s s i c a ld e s c r i p t i o nl o g i cA L C a n df u z z y d e s c r i p t i o n l o g i c F A L C ．A s

9、a f r a g m e n t o f p r e d i c a t el o g i c ，A L Cc a n ’td e p i c tt h e n e g a t i v er e l a t i o nb e t w e e n d i s t i n c tk n o w l e d g e ，w h i l eF A L C i s n ’tp r o v i d e d 謝t ht h ef a c u l t

10、yo f p r e s e n tn e g a t i v er e l a t i o nb e t w e e nf u z z yk n o w l e d g e a c c u r a t e l y ．T h ep a p e ri n t r o d u c e sf u z z yn e g a t i o n—Ca n do p p o s i t en e g a t i o n = 1C i n t o b a

11、 s i c d e s c r i p t i o nl o g i cA L C ．I t p r o p o s e san e w k i n do fd e s c r i p t i o nl o g i cM A L Cw i t h t h e a b i l i t y t o d e a l f u z z yi n f o r m a t i o n ．A n d t h e n ，w i t ht h ee x

12、t e n s i o no f i n t e r p r e tf u n c t i o n ，i tp r o v i d e sa ni m p r o v e ds e m a n t i c sf o rM A L C w h i c h b a s e d o nm o d e l o f i n f i n i t ev a l u e d o f m e d i u m p r o p o s i t i o nl

13、o g i c a n d t a b l e a u ·b a s e da l g o r i t h m f o r M A L C ．I nc h a p t e r4 ，t h e p a p e rs t u d y o nt h e a n s w e rs e tp r o g r a m m i n g ，a n di t i l l u m i n a t e s t h a tc l a s s i c

14、a la n s w e rs e tp r o g r a m m i n ga n d f u z z ya n s w e rs e tp r o g r a m m i n gh a v es o m el i m i t a t i o n sw h i c h C a n ’te x p l a i nt h ec l a s s i c a ln e g a t i o na n d n e g a t i o n a s

15、 f a i l u r e ．W ed e a l c l a s s i c a ln e g a t i o ni nA S P a sc o n t r a d i c t o r yn e g a t i o n ，w h i l en e g a t i o nb yd e f a u l ti nA S P i s t r e a t e dw i t ho p p o s i t en e g a t i o n ．n

16、l eL i t e r a l si nF A S P a r et r u ep a r t l y , a n dt h e n t h ei n t e r p r e t a t i o ns a t i s f i e s r u l e sa n dp r o g r a m p a r t l y ．F o rl i t e r a l s ，w ep r o p o s e n o t o n l y t h ei n

17、 t e r p r e t a t i o no f l i t e r a l sa n d i t sn e g m i o n s ．A n d f o ri n t e r p r e t a t i o nc o n s i s t e do f l i t e r a l s ，t h r e e f u n c t i o n sC j ，s ra n d S na r ep r o v i d e d ，w h i c

18、 hr e s p e c t i v e l ym e a s u r e t h ec o n s i s t e n td e g r e e o f i n t e r p r e t a t i o n sa n d d e g r e eo f r u l e sa n dp r o g r a ms a t i s f i e db y i n t e r p r e t a ．! ；o n s ．I nt h e e n

19、 d ，i td e f i n e s t h en e w a n s w e r s e t ．I nc h a p t e r5 ，t h 乙p a p e rs t u d i e st h ea p p r o x i m a t er e a s o n i n go f m e d i u m l o g i c ．T h ep a p e ra n a l y s e st h en e g a t i v er e

20、l a t i o nb e t w e e n f u z z y k n o w l e d g e ，w h i c hi sd e s c r i b e d b y m e d i u m l o g i ca n d i t si n t e r p r e t a t i o no f i n f i n i t e v a l u e df o r m e d i u m l o g i c ．強ep a p e r p

21、 r o v i d e sa n e w a r i t h m e t i cw h i c h e x p a n d s t h eC R I a r i t h m e t i c ．T h es e m a n t i cm a t c hd e g r e ea n d i t sf o r m u l a w h i c h i n c l u d es e m a n t i c s i m i l a r i t y

22、a n ds e m a n t i cd i s t a n c e a r ep u tf o r w a r d ．F u r t h e r ，t h ep a p e rp r o p o s e sa na p p r o x i m a t e r e a s o n i n g a p p r o a c hb a s e d o n t h em e a s u r e so f t h es e m a n t i

23、c m a t c hd e g r e e ．K e y w o r d s ：m e d i u m l o g i c ；i n f i n i t ev a l u e dm o d e l o fm e d i u m l o g i c ；d e s c r i p t i o nl o g i c s ；f u z z yd e s c r i p t i o nl o g i c ；a n s w e rs e t ；f