時態(tài)知識推理機(jī)制及其在工資系統(tǒng)中的應(yīng)用.pdf

1、　　時間是自然界普遍存在的一種屬性，研究時態(tài)是計算機(jī)研究的一個重要方向?，F(xiàn)實(shí)世界中，以工資政策為代表的一大類知識具有強(qiáng)烈的時態(tài)性，而且在某些應(yīng)用中其時態(tài)性還發(fā)揮著關(guān)鍵的作用。因此，對這類時態(tài)知識表示與利用的研究很有意義。另一方面，隨著知識庫與數(shù)據(jù)庫技術(shù)的發(fā)展，兩者的結(jié)合已越來越受到重視。如何利用關(guān)系數(shù)據(jù)庫成熟的信息管理與快速查詢技術(shù)對知識進(jìn)行管理是知識庫研究中一個有意義的方向。由于產(chǎn)生式規(guī)則表示形式統(tǒng)一，因此有很多學(xué)者研究其數(shù)據(jù)庫的存儲

2、與推理方式并已取得了很多應(yīng)用成果。本文的主要工作有：首先分析并刻畫了基于工資政策的“狀態(tài)→行動”式的時態(tài)產(chǎn)生式規(guī)則上的時態(tài)約束，并借助知識庫與數(shù)據(jù)庫的結(jié)合技術(shù)，把該類型的時態(tài)產(chǎn)生式規(guī)則進(jìn)行分解描述并將其存儲于數(shù)據(jù)庫中，以借助成熟的數(shù)據(jù)庫技術(shù)對知識進(jìn)行管理。知識的表示在于利用，而知識的利用方式是推理，因此本文著重研究了在推理過程中時態(tài)約束的影響，由此探討了適合時態(tài)產(chǎn)生式規(guī)則推理的新的推理機(jī)制，并詳細(xì)討論了在推理的各個階段時態(tài)約束的處理方法