利用基數(shù)約束規(guī)則編程消解ＥＣＡ策略沖突

摘要：為實(shí)現(xiàn)ECA策略沖突的自動(dòng)、靈活消解，提出一種利用基數(shù)約束規(guī)則編程的新方法。基數(shù)約束規(guī)則編程是一種基于穩(wěn)態(tài)模型語義的非單調(diào)邏輯編程技術(shù)，具有解決組合及其優(yōu)化問題的良好性質(zhì)。先后完成了ECA策略的邏輯編程表示、用于檢測(cè)和防止沖突的行動(dòng)約束定義、具有組合特征的沖突性質(zhì)分析和用于沖突消解的基數(shù)約束規(guī)則程序建立。該方法不僅具有邏輯嚴(yán)謹(jǐn)、自動(dòng)化程度高和結(jié)構(gòu)層次分明等優(yōu)點(diǎn)，更重要的是，還擴(kuò)展了被消解沖突的域。

關(guān)鍵詞：事件－條件－動(dòng)作策略；基數(shù)約束規(guī)則編程；沖突消解；行動(dòng)約束；穩(wěn)態(tài)模型

中圖分類號(hào)：TP181；TP182 文獻(xiàn)標(biāo)志碼：A 文章編號(hào)：1001－3695(2009)07－2543－04