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

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

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