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

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

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