合作机构中冲突检测与自动解决方法研究.pdfVIP

table{边框‑合并:塌陷;}table,th,td{边框:1px实线#000;}

合作机构中的规范检测与解决

TingtingLi∗计算机科学系英国巴斯大学t.li@cs.bath.ac.uk

称为规范框架）为开放分布式系统中的了一种有效的治理机制。一个机

构规定了一组规范，这些规范旨在实现某个或某些目标，通过权限、和义务来调节代

理的行为。然而，在大多数实际情况下，多个机构可能需要同时治理相同的实体，这很可

能会导致规范，尤其是在这些机构独立设计且通常具有不同目标的情况下。在本

中，我们的目标是：(i)识别组合机构的不同方式，(ii)通过扩展现有的单个机构模型，对

这些方式进行形式化和计算建模，(iii)自动检测不同类型组合机构中的，以及(iv)通

过基于归纳学习的方法自动修订规范来解决这些。

1引言

在开放环境中规范人的行为通常是一个棘手的问题，因为人通常是自私和