基于知識(shí)編譯技術(shù)的描述邏輯推理問題研究.pdf

1、知識(shí)編譯作為自動(dòng)推理技術(shù)的一個(gè)方面，通常用來處理命題邏輯知識(shí)庫，其基本思想是將給定的知識(shí)庫轉(zhuǎn)換成范式的形式，從而提高對(duì)命題的查詢效率。最初，這種技術(shù)被廣泛用來處理命題推理的難求解性，近幾年隨著對(duì)描述邏輯推理服務(wù)的不斷研究，它已經(jīng)被成功地應(yīng)用到描述邏輯推理問題中。
　　推理服務(wù)是描述邏輯長期以來的研究重點(diǎn)，其最基本的問題即概念的推理效率沒有得到合理的提高。由于不同的描述語言表達(dá)能力也不同，因此描述邏輯中推理問題的計(jì)算復(fù)雜性與語言的表

2、達(dá)能力成正比關(guān)系，即語言的表達(dá)能力越強(qiáng)，計(jì)算復(fù)雜性越高。本文分析了描述邏輯中推理服務(wù)的研究現(xiàn)狀和存在問題，將知識(shí)編譯技術(shù)應(yīng)用于描述邏輯知識(shí)庫中。文中，首先對(duì)知識(shí)編譯基礎(chǔ)理論作了簡(jiǎn)要的介紹包括其處理對(duì)象;然后詳細(xì)介紹描述邏輯的基本語言、應(yīng)用領(lǐng)域、體系結(jié)構(gòu)及對(duì)描述邏輯推理問題進(jìn)行了深入的研究，闡述了目前方法中存在的問題;針對(duì)目前編譯方法中存在的不足，本文第四章提出了提出了一種編譯描述邏輯知識(shí)庫的數(shù)據(jù)結(jié)構(gòu)。
　　為證明新編譯方法的可行性