修正的Atanassov命題邏輯及其廣義重言式.pdf

1、遼寧師范大學(xué)碩士學(xué)位論文修正的Atanassov命題邏輯及其廣義重言式姓名：陳文麗申請(qǐng)學(xué)位級(jí)別：碩士專(zhuān)業(yè)：基礎(chǔ)數(shù)學(xué)指導(dǎo)教師：陳圖云20030601修正的A t a n a s s o v 命題邏輯及其廣義重言式修正的A t a n a s s o v 命題邏輯及其廣義重言式研究生：指導(dǎo)教師：專(zhuān) 業(yè)：研究方向：陳文麗陳圖云基礎(chǔ)數(shù)學(xué)數(shù)理邏輯及其對(duì)計(jì)算機(jī)的應(yīng)用中文摘要本文將A t a n a s s o v 直覺(jué)主義邏輯中S 一型蘊(yùn)涵改為R

2、o 一蘊(yùn)涵，建立修正的A t a n a s s o v 邏輯系統(tǒng)，給出其中的廣義重言式和部分賦值的廣義重言式的定義，研究了該系統(tǒng)及其廣義重( 假) 言式的性質(zhì)。全文分為兩大部分，第一部分：引言．介紹邏輯系統(tǒng)研究概況及分析，指出邏輯學(xué)與尖端技術(shù)人工智能的關(guān)系，具體介紹直覺(jué)主義邏輯，并簡(jiǎn)述了本文工作的背景與意義：第二部分論文主體，分三章，第一章：討論有限A t a n a s s o v 直覺(jué)模糊邏輯代數(shù)，給出判別其子代數(shù)的充要條件．并將

3、王國(guó)俊教授在邏輯系統(tǒng)W ，W ，吼中的廣義重言式理論推廣井應(yīng)用到A t a n a s s o v 邏輯中，得出在A t a n a s s o v 邏輯中不存在絕對(duì)重1 5 ／) 言式，廣義重言式不隨系統(tǒng)變太而增多和廣義重言式前綴( 口，∥) 具有不靈敏性的結(jié)論第二章：將原A t a n a s s o v 邏輯中S 一型蘊(yùn)涵改為R o 一蘊(yùn)涵r 建立修正的A t a n a s s o v 邏輯代數(shù)I 。，找出其最大子代數(shù)I H ，

4、然后把王國(guó)俊教授在一維邏輯系統(tǒng)糾r 中的廣義重言式理論推廣到I 』中，最終得到1 月中廣義重( 假) 言式的分類(lèi)；第三章：給出部分賦值的廣義重言式的定義，采用同構(gòu)變換和對(duì)稱(chēng)表示賦值集的方法，并結(jié)合I “一( ( 口，盧) 一重言式) 的分類(lèi)，在I J ．中的廣義重( 假) 言式之間建立T - 種升( 降) 級(jí)算法。得出結(jié)論：在系統(tǒng)I 』一中任意一個(gè)@ ，∥) 一重( 假) 言式至多經(jīng)過(guò)( 2 ”+ ∥一口)次( ( 2 訂+ 口一∥)

5、次) 都可升( 降) 級(jí)為重( 假) 言式，并給出有限值系統(tǒng)中廣義重言式的表示定理．關(guān)鍵詞模糊邏輯；A t a n a s s o v 直覺(jué)主義邏輯；廣義重言式；重言式表示定理。引言作為當(dāng)今世界三大尖端技術(shù)之一的人工智能，近幾年得到了飛速的發(fā)展，對(duì)于其基礎(chǔ)理論之一的邏輯學(xué)的研究也取得了一定進(jìn)展。邏輯學(xué)是人類(lèi)思維和推理的理論基礎(chǔ)，人們?cè)诂F(xiàn)實(shí)生活中，常常自覺(jué)或不自覺(jué)地運(yùn)用著各種各樣的邏輯。亞里士多德從數(shù)學(xué)的研究中分離出邏輯學(xué)。萊布尼茨把數(shù)學(xué)