基于不均勻概率的模糊模態(tài)邏輯.pdf

1、摘要ABSTRACT符號說明目錄第一章引言與預備oeeeoQooooo$eo$oo$oooo$oo001ooQQOOOOO000OOOOQO000OOQO$O$000O000$1411引言。12預備知識第二章模糊模態(tài)邏輯系統(tǒng)21模糊模態(tài)算子O棚口B22含有◇棚口1噸的模糊模態(tài)邏輯系統(tǒng)13第三章基本模態(tài)邏輯的模糊語義31賦值格為IOll的模糊模態(tài)邏輯32賦值格為Wn的模糊模態(tài)邏輯及其上的廣義模態(tài)重言式第四章小結(jié)與展望202021參考文獻3

2、0致謝揚州大學學位論文原創(chuàng)性聲明和版權使用授權書33揚州大學碩士學位論文Abstract2一Withtheincreasinglywidespreadapplicationofmodallogicinthinkingscience，computerscienceandotherfields，todiscussfuzzymodallogicappearsverysignificantManyscholarsusedifferentmeth

3、odstostudyfuzzymodallogic，suchasthefuzzydefinitionofmodaloperatorthemodalreduction，theintuitionalfuzzymodallogicresearchetcBasedonthebasicmodallogicsystem，thispaperintroducestheconceptoffuzzymodaloperatorthengivesthenews

4、emanticoffuzzymodaloperatorbyintroducingnonevenprobabilityPintothedomainWofthemodalM；㈣RV)，provesthedualpropertiesofthefuzzymodaloperators，bringsfuzzymodaloperatorsintothemodallogicandgivesproperjusticesetsandreasoningrul

5、es，andgetsafuzzymodallogicsystemwhichisbetterthanmodallogicsysteminrepresentingandreasoningabilityThispaperalsodiscussesthefuzzymodallogicassignedonW★，givesthedefinitionofgeneralizedmodaltautologiesassignedonWn，classifie

6、sthegeneralizedmodaltautologyofWi，provesthatthereachablegeneralizedtautologyisnotemptyintypesandkindsofmutualdifferenttheoremofgeneralizedmodaltautologyetcThesestudiesnotonlyenableustohaveamoreprofoundunderstandingofgene

7、ralizedmodaltautologybutalsoprovideusnewresearchmethodandnewvitalityintothestudyoffuzzymodallogicAspreliminaries，thefirstchapterintroducessomesimpleknowledgeofmodallogicandprobabilityThesecondchapterbasedonthedescription

8、of‘‘a(chǎn)littlelikely”，”verylikely”whichoftenappearsindailylife，putsforwardtwonewmodalwords“Iq13”and“◇a”Bythenewmodalwords，wegivethesemantictheoryofthefuzzymodalphrase”apossibility”and“13certamty”andgetsomeusefulconclusionsB

9、ybringingthefuzzymodaloperatorsintomodallogicsystemwegetafuzzymodallogicsystemwhichisbetterthanbasicmodallogicsysteminrepresentingandreasoningabilityInthethirdclmpterwediscretetheassignmemlattice【0，1】intoWjbasedonsemanti

10、cofassignmentVinmodallogicsystemThenwemainlydiscusstheconceptofgeneralizedmodaltautologywhichsatisfiesV唧，吶，andclassifythegeneralizedmodaltautologywhichassignedonWn，andprovethemutuallydifferentclassestheoremofgeneralizedm

11、odaltautologyThemodaltautologyrepresentationtheoremofthegeneralizedmodaltautologyisalsogivenThefourthchaptersummarizesthemainresultsofthispaperandarisessomequestionsworthconsideringinthefutureKeywords：nonevenprobability；