【摘 要】
：
冲突检测和冲突消解是策略一致性研究的两个主要方向。现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性。改变策略条件和基于优先级的冲突消解方法容易引起新的不一致
【机 构】
：
中山大学软件研究所,河南大学数据与知识工程研究所
论文部分内容阅读
冲突检测和冲突消解是策略一致性研究的两个主要方向。现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性。改变策略条件和基于优先级的冲突消解方法容易引起新的不一致性问题,而且优先权的赋予带有主观因素,难以实现。在此基础上,使用逻辑对策略和策略冲突进行形式化描述和分析,并提出了一种基于逻辑合一思想的多项式时间内的策略一致性检测算法;把策略冲突分为包容冲突、相交冲突和互补冲突,给出了一种包容冲突和相交冲突的自动解决方法,证明了该方法的可行性和完备性;利用辩论机制和理论对策略互补冲突进行了语义分析,为基于优先级的解决方案提供了理论基础;提出了一种策略互补冲突下的一致性策略子集的计算算法,并进行了复杂度分析。
其他文献
产后风湿病是指妇女产后或人工流产后感受风寒湿邪所引起的以肌肉、关节酸胀、疼痛为主要表现的慢性疾病,属中医“痹证”范畴.笔者应用《伤寒论》中当归四逆汤为基本方加味治
高渗透率的分布式发电接入配电网后,可能带来电压越限、弃风、弃光等问题,上述问题主要是由其发电方式的不确定性与波动性造成的。储能作为一种灵活电源,在一定程度上改变了
在新课程改革的不断推进下,小学语文的教育教学正不断得到完善,学生也在不断成长,而一些教师在小学语文的教学中常常会忽视习作的教学,对小学的习作不够重视,小学学生已经能
<正>公务员是党和政府各项政策、法律、法规、规章的执行者,是行政管理活动的领导者和管理者,其道德面貌如何,能否在各自岗位上以身作则,将直接影响整个社会的道德风尚。公务
制备了一种含硫、磷、钼的油溶性有机化合物，作为润滑油添加剂，分别将其加入到基础油、６８号汽轮机油和１０Ｗ／３０ＱＤ级汽油机油中，润滑油性能试验表明，可降低油品温升，并与油品中其他功能添加剂有
目的:使用Keratograph 5M新型眼表分析仪探讨2.2mm、3.2mm两种不同透明角膜切口对超声乳化术前后眼表状态的影响。方法:前瞻性研究,将2018年4月至2019年2月,在湖南省人民医院
<正>在冯小刚的贺岁大片《非诚勿扰2》中,孙红雷饰演的李香山面对葛优饰演的秦奋神神秘秘地脱下了脚上的袜子,撕开脚背上的纱布,露出一颗硕大的黑痣。李香山告诉秦奋,这叫黑
设置在屋面的露天活动场所,即使按照规范要求已设置接闪器,但依据滚球法和雷闪数学模型的原理,屋面人员仍可能直接遭受雷击而产生伤亡。针对此情况,进行了风险评估的计算分析
输电断面传送功率能力分析是电力系统的一个重要研究课题,文中依据电网分析中广泛采用的N-1原则,研究了输电断面潮流在N-1静态安全约束下的传输功率能力,建立了断面传输功率
<正>我国第三代核电AP1000自主化依托项目,其核岛部分由美国西屋公司设计。国家核电技术公司和西屋公司海阳项目现场联合管理组织机构(SPMO)作为工程管理单位,负责一期工程核