CAJ | 학술논문

冲突检测和冲突消解是策略一致性研究的两个主要方向.现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性.改变策略条件和基于优先级的冲突消解方法容易引起新的不一致性问题,而且优先权的赋予带有主观因素,难以实现.在此基础上,使用逻辑对策略和策略冲突进行形式化描述和分析,并提出了一种基于逻辑合一思想的多项式时间内的策略一致性检测算法；把策略冲突分为包容冲突、相交冲突和互补冲突,给出了一种包容冲突和相交冲突的自动解决方法,证明了该方法的可行性和完备性；利用辩论机制和理论对策略互补冲突进行了语义分析,为基于优先级的解决方案提供了理论基础；提出了一种策略互补冲突下的一致性策略子集的计算算法,并进行了复杂度分析.
충돌검측화충돌소해시책략일치성연구적량개주요방향.현유적충돌검측산법시간복잡도고,차결핍령활성화확전성.개변책략조건화기우우선급적충돌소해방법용역인기신적불일치성문제,이차우선권적부여대유주관인소,난이실현.재차기출상,사용라집대책략화책략충돌진행형식화묘술화분석,병제출료일충기우라집합일사상적다항식시간내적책략일치성검측산법；파책략충돌분위포용충돌、상교충돌화호보충돌,급출료일충포용충돌화상교충돌적자동해결방법,증명료해방법적가행성화완비성；이용변론궤제화이론대책략호보충돌진행료어의분석,위기우우선급적해결방안제공료이론기출；제출료일충책략호보충돌하적일치성책략자집적계산산법,병진행료복잡도분석.