隱偏好邏輯研究

1、hJ 伽。4獨(dú)創(chuàng)性聲明本人提交的學(xué)位論文是在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。論文中引用他人已經(jīng)發(fā)表或出版過的研究成果，文中己加了特別標(biāo)注。對(duì)本研究及學(xué)位論文撰寫曾做出貢獻(xiàn)的老師、朋友、同仁在文中作了明確說明并表示衷心感謝。學(xué)位論文作者： 薹欄U 簽字日期：矽皿年占月2 日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解西南大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。

2、本人授權(quán)西南大學(xué)研究生院( 籌) 可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。( 保密的學(xué)位論文在解密后適用本授權(quán)書，本論文：財(cái)不保密，口保密期限至 年 月止) 。學(xué)位論文作者簽名：善程奄簽字日期：力膽年與月2 日導(dǎo)師簽名： 庶壤簽字日期：z o ／z 拜- 上月乙日^，，，0目錄中文摘要?????????????????????????。?????．IA b s t r

3、a c t ?????????????????????????????????????????I I I第1 章緒論?????????????????????????????11 ．1 問題提出及研究現(xiàn)狀???????????????????????．11 ．2 研究思路及主要內(nèi)容????????????????????????2第2 章信息隱信息與直覺主義邏輯???????????????????32 ．1 邏輯與信息????????

4、???????????????????．．32 1 ．1 作為編碼的信息????????????????????????．．3．／2 ．1 ．2 作為范圍的信息???????????????????????．．32 ．1 ．3 作為關(guān)聯(lián)的信息????????????????????????42 ．2 顯信息和隱信息?????????????????????????．52 ．3 直覺主義邏輯????????????????????????

5、???52 ．3 ．1 直覺主義邏輯與經(jīng)典邏輯???????????????????。52 ．3 ．2 直覺主義邏輯的語(yǔ)言和語(yǔ)義??????????????????。72 ．3 ．3 直覺主義邏輯的公理演算系統(tǒng)??????????????????82 ．3 ．4 可靠性和完全性???????????????????????。92 ．3 ．5 直覺主義邏輯到S 4 的嵌入???????????????????．92 ．4 直覺主義邏輯與認(rèn)

6、知邏輯中的信息?????????????????。92 ．4 ．1 直覺主義邏輯與信息?????????????????????。1 02 ．4 ．2 認(rèn)知邏輯與信息???????????????????????．1 02 ．4 ．3 二者比較????????????????????????．j ??1 1第3 章偏好邏輯與隱偏好邏輯?????????????????????．．1 33 ．1 偏好邏輯?????????????????

7、???????????。1 33 ．1 ．1 偏好邏輯的語(yǔ)言及語(yǔ)義?????????????????????．．1 33 ．1 ．2 偏好邏輯語(yǔ)言的表達(dá)力????????????????????．1 43 ．1 ．3 偏好邏輯的公理演算系統(tǒng)???????????????????．．1 53 ．1 ．4 可靠性和完全性????????????????。???????1 53 ．1 ．5 偏好邏輯的動(dòng)態(tài)化擴(kuò)張????????????????