計(jì)算機(jī)科學(xué)的發(fā)展是與邏輯學(xué)緊密相連的。標(biāo)準(zhǔn)邏輯在人工智能早期的發(fā)展中扮演了重要的角色，根據(jù)數(shù)理邏輯，將人類的推理過(guò)程分解成一些簡(jiǎn)單的、機(jī)械的操作，才使得用機(jī)器代替人類推理的設(shè)想變成現(xiàn)實(shí)。 邏輯學(xué)的理論為人工智能的發(fā)展提供了有力的工具，使之在定理證明、模式識(shí)別和LISP語(yǔ)言等領(lǐng)域取得了重大突破。隨著處理知識(shí)的隨機(jī)性、模糊性和未知性等特點(diǎn)的出現(xiàn)，模糊邏輯在人工智能中得到發(fā)展。但是模糊邏輯只注意到了模糊命題邏輯真值的連續(xù)可變性，而沒(méi)有認(rèn)識(shí)到模糊命題連接詞的運(yùn)算模型的連續(xù)可變性。 隨著研究的深入，研究復(fù)雜系統(tǒng)的各個(gè)學(xué)科迫切需要能描述各種不確定性的邏輯，但是各個(gè)不同形式的非標(biāo)準(zhǔn)邏輯無(wú)法給他們以有力的支持。在分析模糊邏輯規(guī)律的基礎(chǔ)上，把三角范數(shù)理論和邏輯學(xué)緊密結(jié)合起來(lái)，利用三角范數(shù)理論提出泛邏輯學(xué)。突破標(biāo)準(zhǔn)邏輯“排斥一切不確定性”的局限性和非標(biāo)準(zhǔn)邏輯研究的狹隘性，建立盡可能能包容一切邏輯形態(tài)和推理模式的泛邏輯學(xué)已成為人工智能中邏輯學(xué)發(fā)展的新方向。我們已經(jīng)證明命題泛邏輯對(duì)二值命題邏輯、Bochvar三值邏輯、Luckasiewicz三值邏輯、Kleene強(qiáng)三值邏輯具有包容性。 概率... 

【文章來(lái)源】：首都師范大學(xué)北京市

【文章頁(yè)數(shù)】：66 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

零級(jí)泛與運(yùn)算模型圖

【參考文獻(xiàn)】：
期刊論文
[1]人工智能中泛邏輯學(xué)的研究[J]. 許海洋,王萬(wàn)森.  計(jì)算機(jī)應(yīng)用研究. 2005(10)
[2]模糊聚類分析在數(shù)據(jù)挖掘中的應(yīng)用研究[J]. 許海洋,汪國(guó)安,王萬(wàn)森.  計(jì)算機(jī)工程與應(yīng)用. 2005(17)
[3]基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究[J]. 王萬(wàn)森,何華燦.  軟件學(xué)報(bào). 2005(05)
[4]基于泛邏輯學(xué)的柔性命題邏輯研究[J]. 王萬(wàn)森,何華燦.  小型微型計(jì)算機(jī)系統(tǒng). 2004(12)
[5]泛邏輯的一級(jí)泛運(yùn)算模型的代數(shù)性質(zhì)[J]. 羅敏霞,何華燦.  計(jì)算機(jī)工程與應(yīng)用. 2004(30)
[6]概率邏輯的研究[J]. 季秋,王萬(wàn)森.  微機(jī)發(fā)展. 2004(09)
[7]基于泛邏輯學(xué)的模糊推理規(guī)則[J]. 馬盈倉(cāng),何華燦.  計(jì)算機(jī)科學(xué). 2004(08)
[8]關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問(wèn)題的十年研究綜述[J]. 裴道武.  工程數(shù)學(xué)學(xué)報(bào). 2004(02)
[9]考慮模糊集合相關(guān)性的T范式和T協(xié)范式算子[J]. 俞翰斌.  計(jì)算機(jī)學(xué)報(bào). 2003(12)
[10]對(duì)邏輯學(xué)范圍與性質(zhì)的反思[J]. 胡澤洪.  華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2002(02)

碩士論文
[1]命題泛邏輯學(xué)的包容性研究[D]. 王華.西北工業(yè)大學(xué) 2004



本文編號(hào)：3348098