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

下載本文檔

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

文檔簡介

1、智能規(guī)劃是人工智能研究領(lǐng)域的一個(gè)重要分支,已在許多領(lǐng)域得以廣泛應(yīng)用。求解智能規(guī)劃問題的一個(gè)重要方法即把智能規(guī)劃問題轉(zhuǎn)化為命題邏輯公式求解。動(dòng)作和世界狀態(tài)確定的規(guī)劃問題可以轉(zhuǎn)化成經(jīng)典命題邏輯問題(SAT)求解;動(dòng)作確定,初始狀態(tài)不確定的一致性規(guī)劃可以在有效時(shí)間內(nèi)轉(zhuǎn)化成量化布爾公式(Quantified Boolean Formulae,簡稱QBF)問題求解。QBF是SAT的泛化,它可以對狀態(tài)空間較大的一致性規(guī)劃問題求解。QBF問題作為標(biāo)準(zhǔn)

2、的PSPACE完備問題在人工智能領(lǐng)域的重要性日益增長。非單調(diào)性推理,并行一致性推理等許多人工智能領(lǐng)域問題也可以在多項(xiàng)式時(shí)間內(nèi)轉(zhuǎn)換成QBF問題,并且實(shí)驗(yàn)數(shù)據(jù)表明基于轉(zhuǎn)換的方法比基于域依賴的方法有效。
   知識編譯是近年來出現(xiàn)的一個(gè)新的研究方向,它用于處理一般命題邏輯推理的計(jì)算復(fù)雜性。根據(jù)這種方法,推理過程被分為兩個(gè)階段:離線編譯階段和在線查詢階段。離線階段,命題理論被編譯成某種易處理的目標(biāo)語言;在線階段編譯目標(biāo)被用于有效應(yīng)答指數(shù)

3、級數(shù)量的查詢。知識編譯的主要?jiǎng)訖C(jī)是將主要花銷放在離線階段,用無數(shù)次的有效在線查詢抵消,并生成一個(gè)快捷的在線推理系統(tǒng)。知識編譯是應(yīng)用于命題邏輯SAT上的,并在SAT上取得了很好的效果,QBF是SAT的泛化,知識編譯同樣可以應(yīng)用于QBF。
   本文討論了EPCCL、D-FNNF、FNNF、D-OFNNF、OFNNF這五種命題語言的基本性質(zhì),完備性,易處理性,以及它們的簡潔性。根據(jù)OFNNF的性質(zhì),我們提出一種新的模型計(jì)數(shù)方法-表推

溫馨提示

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

評論

0/150

提交評論