規(guī)則化描述方法及其驗(yàn)證技術(shù)的研究與應(yīng)用.pdf

1、隨著信息處理、計(jì)算機(jī)、機(jī)器人等技術(shù)的發(fā)展，出現(xiàn)了一大批復(fù)雜的人造動(dòng)態(tài)系統(tǒng)，這類系統(tǒng)不同子連續(xù)變量系統(tǒng)，它自身帶有異步與并發(fā)特性，稱之為離散事件動(dòng)態(tài)系統(tǒng)。這類系統(tǒng)的特點(diǎn)是對(duì)象變量、狀態(tài)數(shù)多，運(yùn)行規(guī)則復(fù)雜，變更頻繁。此時(shí)，面向問(wèn)題求解的傳統(tǒng)的程序設(shè)計(jì)方法已經(jīng)難以應(yīng)付這類新型人造系統(tǒng)的分析與設(shè)計(jì)。規(guī)則化描述方法將人工智能領(lǐng)域里的描述性思想引入到離散事件動(dòng)態(tài)系統(tǒng)的分析與設(shè)計(jì)中，采用邏輯規(guī)則描述語(yǔ)言對(duì)系統(tǒng)對(duì)象變量的狀態(tài)轉(zhuǎn)移過(guò)程進(jìn)行描述，形成規(guī)則庫(kù)

2、。規(guī)則庫(kù)是系統(tǒng)的核心，其工作效率直接影響到整個(gè)系統(tǒng)的性能，所獲得規(guī)則集合的正確性、一致性、完整性是影響系統(tǒng)性能的重要因素。所以對(duì)規(guī)則庫(kù)的校驗(yàn)就顯得極為重要。
　　 本論文首先對(duì)幾種流行的形式化技術(shù)進(jìn)行了討論，并引入了課題組自行研發(fā)的一種形式化描述語(yǔ)言——規(guī)則化邏輯描述語(yǔ)言，該語(yǔ)言適合于一般的離散事件控制系統(tǒng)。領(lǐng)域工程師使用該語(yǔ)言可直接描述系統(tǒng)事件邏輯行為，形成近似自然語(yǔ)言的規(guī)則集文件。接著討論和研究了規(guī)則化描述方法在離散事件動(dòng)態(tài)