计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2009年
7期
2543-2546
,共4页
事件-条件-动作策略%基数约束规则编程%冲突消解%行动约束%稳态模型
事件-條件-動作策略%基數約束規則編程%遲突消解%行動約束%穩態模型
사건-조건-동작책략%기수약속규칙편정%충돌소해%행동약속%은태모형
为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法.基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质.先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立.该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域.
為實現ECA策略遲突的自動、靈活消解,提齣一種利用基數約束規則編程的新方法.基數約束規則編程是一種基于穩態模型語義的非單調邏輯編程技術,具有解決組閤及其優化問題的良好性質.先後完成瞭ECA策略的邏輯編程錶示、用于檢測和防止遲突的行動約束定義、具有組閤特徵的遲突性質分析和用于遲突消解的基數約束規則程序建立.該方法不僅具有邏輯嚴謹、自動化程度高和結構層次分明等優點,更重要的是,還擴展瞭被消解遲突的域.
위실현ECA책략충돌적자동、령활소해,제출일충이용기수약속규칙편정적신방법.기수약속규칙편정시일충기우은태모형어의적비단조라집편정기술,구유해결조합급기우화문제적량호성질.선후완성료ECA책략적라집편정표시、용우검측화방지충돌적행동약속정의、구유조합특정적충돌성질분석화용우충돌소해적기수약속규칙정서건립.해방법불부구유라집엄근、자동화정도고화결구층차분명등우점,경중요적시,환확전료피소해충돌적역.