基于格蘊(yùn)涵代數(shù)的格值邏輯中的近似推理研究.pdf

1、西南交通大學(xué)博士學(xué)位論文基于格蘊(yùn)涵代數(shù)的格值邏輯中的近似推理研究姓名：周平申請學(xué)位級別：博士專業(yè)：交通信息工程及控制指導(dǎo)教師：徐揚(yáng)20061001第1 I 頁 西南交通大學(xué)博士研究生學(xué)位論文A b s t r a c tH u m a n i n t e l l i g e n c ea c t i o n sa r ea l w a y si n v o l v e dw i t ha c q u i r i n g ，r e f i

2、 n i n g ，j u d g m e n t ，r e a s o n i n g a n d d e c i s i o n - m a k i n g a b o u t u n c e r t a i n t y i n f o r m a t i o n ．U n c e r t a i n t y r e a s o n i n gp l a y s t h e k e y r o l e i n t h e i n t

3、 e l l i g e n c e a c t i v i t i e s o fh u m a n k i n d ．I ti S a l s ot h ei m p o r t a n ts u b j e c to f c o m p u t e rs c i e n c ea n da r t i f i c i a li n t e l l i g e n c et e c h n o l o g y ．A f t e rZ

4、 a d e h ’Sf u z z yr e a s o n i n gm e t h o dp r o p o s e d ，S Om a n y u n c e r t a i n t yr e a s o n i n gm e t h o d sa n d t h e o r i e sa r ep r o p o s e d ．N a t u r a l l y , t h em u l t i ·v a l u e

5、 d l o g i c a n df u z z y l o g i c b e c o m et h e f o u n d a t i o n o fu n c e r t a i n t yr e a s o n i n g ．T h e ya r ee x p a n d i n go f c l a s s i c a ll o g i cw h o s e v a l u a t i o nf i e l d f r o

6、mt w o - v a l u e d t o m u l t i - v a l u e do rI n f i n i t i v e v a l u e d ．B u tt h e yc a no n l yd e a lw i t ht h e o r d e ro r c o m p a r a b i l i t y i n f o r m a t i o n w i t h t h e i r l i n e a r -

7、 v a l u e d f i e l d ．T h el a t t i c e i s ak i n d o fi m p o r t a n t a l g e b r a i c s t r u c t u r e ．M a n y n o n - c o m p a r a b i l i t yp h e n o m e n ac a nb e d e s c r i b e d b y l a t t i c e i n

8、 r e a l w o r d ．L a t t i c e ·v a l u e d l o g i cw h i c hv a l u a t i o nf i e l d i s l a t t i c ec a nd e a lw i t hn o to n l yo r d e ri n f o r m a t i o nb u ta l s o n o n - o r d e r i n f o r m a t

9、i o n ．T h e r e f o r e ，i t c a n d e a l w i t h t h e r e a s o n i n g o fc o m p a r a b i l i t y a n d n o nc o m p a r a b i l i t y i n f o r m a t i o n ．X u Y a n g p r o p o s e d t h eL a t t i c e I m p l

10、i c a t i o nA l g e b r a ，a n dp u tt h e l o g i co ni t ，s u c h a sL P ( X ) ，L F ( X ) ，L v p la n d L v f l ．B a s e d o n l a t t i c e - v a l u e d p r o p o s i t i o n a l l o g i c s y s t e m s L P ( X ) ，L

11、 v p la n dl a t t i c e ·v a l u e d f i r s t - o r d e r l o g i cs y s t e m sL F ( X ) ，L v f l ，t h ea u t h o r s t u d i e d t h er u l e s o fu n c e r t a i n t y r e a s o n i n g ，t h e u n c e r t a i n

12、 t y r e a s o n i n g w i t h g e n e r a l i z e dq u a n t i t i e r , a n d p r o b e d s y n t a x p r o p e r t i e s a n d 口一r e s o l u t i o n p r i n c i p l e ．T h em a i n s p e c i f i cc o n t e n t sa r e

13、a sf o l l o w1 ．W ep r o v e d t h er e a s o n i n gr u l e so f F M P , F M T a n d t h e i rr e s t o r a t i o nt h e o r e m si nt h el a t t i c e - v a l u e dp r o p o s i t i o n a ll o g i c s a n dl a t t i c

14、 e - v a l u e df i r s t ·o r d e rl o g i c s ．2 ．W e g a v e t h e d e f i n i t i o n o fg e n e r a l i z e d q u a n t i f i e r i n t h e l a t t i c e - v a l u e df i r s t - o r d e r l o g i c L F ( X ) a

15、 n dL v f l ．W ea l s o g a v et h e i n c l u s i o nr e l a t i o n ，u n i o na n d p r o d u c to p e r a t i o no fg e n e r a l i z e dq u a n t i f i e r sa n d p r o v e d r e a s o n i n gr e s u l t sw i t ht h

16、e m ．3 ．W e g a v e t h e e x t e n d e d d e f i n i t i o n o fc l o s e d L ·t y p e f u z z y s e t w i t h t h eg e n e r a l i z e d q u a n t i f i e ri n l a t t i c e ·v a l u e d f i r s t - o r d e r