2023年全國(guó)碩士研究生考試考研英語(yǔ)一試題真題(含答案詳解+作文范文)_第1頁(yè)
已閱讀1頁(yè),還剩67頁(yè)未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、在知識(shí)表示和自動(dòng)推理領(lǐng)域,命題邏輯是一種極其重要的形式化語(yǔ)言,其中命題邏輯可滿足性問(wèn)題是研究最廣泛的核心問(wèn)題之一,約簡(jiǎn)命題邏輯公式是由SAT問(wèn)題衍生的一個(gè)子問(wèn)題。有向超圖作為普通有向圖的推廣,能夠恰當(dāng)?shù)乇硎敬笮统W(wǎng)絡(luò)、數(shù)據(jù)庫(kù)系統(tǒng)、命題邏輯等研究課題和研究領(lǐng)域中各元素之間的關(guān)系。以有向超圖作為工具是眾多的命題邏輯公式約簡(jiǎn)方法中的一種。本文基于命題邏輯和有向超圖的相關(guān)知識(shí)、特別是近期的相關(guān)研究工作,主要取得了如下研究結(jié)果:
  1、針

2、對(duì)命題邏輯中一般的合取范式給出了與之一一對(duì)應(yīng)的關(guān)聯(lián)有向超圖的定義,給出一種新的超路徑表示方式,得到了刻畫兩個(gè)子句和兩條超邊之間的一些基本關(guān)系的等價(jià)命題和性質(zhì),為進(jìn)一步利用有向超圖尋找并約簡(jiǎn)具有特定的冗余結(jié)構(gòu)的公式奠定了理論基礎(chǔ)。
  2、通過(guò)定義擴(kuò)展B-圖來(lái)表示霍恩公式,得到了其可滿足性的若干結(jié)論及其約簡(jiǎn)性質(zhì),為進(jìn)一步約簡(jiǎn)特定結(jié)構(gòu)的一般公式奠定了基礎(chǔ)。
  3、將命題邏輯中的冗余對(duì)象分為絕對(duì)冗余變?cè)⒆詺w入子句、強(qiáng)歸結(jié)子句這

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論