時(shí)態(tài)產(chǎn)生式規(guī)則的表示與推理機(jī)制的研究.pdf

1、時(shí)間是自然界無(wú)所不在的屬性，如何將時(shí)態(tài)信息引入知識(shí)庫(kù)成為知識(shí)庫(kù)系統(tǒng)是一大研究方向。隨著中間件技術(shù)的發(fā)展，尋找一個(gè)統(tǒng)一處理時(shí)態(tài)知識(shí)與數(shù)據(jù)的中間件是一個(gè)新的研究趨勢(shì)。由于知識(shí)的復(fù)雜性和多樣性，概括抽象出一個(gè)知識(shí)模型表示所有的知識(shí)是比較困難的，而縮小知識(shí)范圍，研究某類(lèi)具有類(lèi)似結(jié)構(gòu)特征的知識(shí)是可行且具有實(shí)際意義。 本文的研究對(duì)象是規(guī)則政策領(lǐng)域具有“IF<前提>THEN<結(jié)論>”結(jié)構(gòu)特征、帶時(shí)態(tài)約束的規(guī)則知識(shí)，又稱時(shí)態(tài)產(chǎn)生式規(guī)則；研究的主

2、要內(nèi)容是：在規(guī)則政策方面，如何架構(gòu)一個(gè)能在盡可能多的應(yīng)用領(lǐng)域進(jìn)行時(shí)態(tài)知識(shí)處理的系統(tǒng)，涉及到時(shí)態(tài)知識(shí)的獲取、表示以及推理等方面的問(wèn)題。 在時(shí)態(tài)知識(shí)的表示上，本文采用產(chǎn)生式方法來(lái)表示時(shí)態(tài)規(guī)則知識(shí)，擴(kuò)展了Allen區(qū)間代數(shù)來(lái)描述規(guī)則上的時(shí)態(tài)約束，并引入了時(shí)態(tài)頻度約束，建立時(shí)態(tài)規(guī)則的知識(shí)模型。規(guī)則知識(shí)被維護(hù)成一個(gè)時(shí)態(tài)知識(shí)庫(kù)，提出了根據(jù)規(guī)則動(dòng)作的不同，分類(lèi)成關(guān)聯(lián)規(guī)則庫(kù)以便對(duì)規(guī)則進(jìn)行分類(lèi)管理，提高推理性能。在知識(shí)的獲取上，利用關(guān)鍵詞表實(shí)現(xiàn)了

3、知識(shí)內(nèi)在和外在這兩種表現(xiàn)形式的一一映射，并討論了時(shí)態(tài)知識(shí)庫(kù)的一致性維護(hù)，提出了基于多維空間的知識(shí)一致性檢測(cè)方法。在知識(shí)推理上，本文重點(diǎn)研究了時(shí)態(tài)約束對(duì)推理過(guò)程的影響，探討了時(shí)態(tài)產(chǎn)生式規(guī)則表示模型指導(dǎo)下的時(shí)態(tài)知識(shí)推理機(jī)制，并用面向?qū)ο蟮姆椒▽?shí)現(xiàn)了推理機(jī)。 本文的主要貢獻(xiàn)有三個(gè)：(1)采用面向?qū)ο蟮姆椒ㄔO(shè)計(jì)和實(shí)現(xiàn)了時(shí)態(tài)產(chǎn)生式規(guī)則的知識(shí)模型和推理機(jī)模型；(2)利用規(guī)則結(jié)論中動(dòng)作的不同，生成關(guān)聯(lián)規(guī)則庫(kù)進(jìn)行規(guī)則管理；(3)初步討論時(shí)態(tài)知識(shí)