A Schema-Based Approach to Specifying Conversation Policies

Lin, Fuhua; Norrie, Douglas H.; Shen, Weiming; Kremer, Rob

doi:10.1007/10722777_13

Cited by 19 publications

(17 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We make use of two initially empty, temporary sets, ∆ 1 , ∆ 2 . The algorithm loops through ∆ (lines [16][17][18][19][20][21][22][23][24][25] picking up those annotated prohibitions N Σ which conflict with the new obligation. There are, however, two cases to deal with: the one when a ground prohibition is found (line 17), and its exception, covering non-ground prohibitions (line 20).…”

Section: Conflict Resolutionmentioning

confidence: 99%

“…Any attempt to insert a ground prohibition which conflicts, yields the same normative state (line 4). When a new obligation is being added then the algorithm guarantees that all prohibitions are considered (lines [14][15][16][17][18][19][20][21][22][23][24][25][26][27], leading to the removal of conflicting ground prohibitions or the update of annotations of non-ground prohibitions. The algorithm always terminates: the loops are over a finite set ∆ and the conflict checks and set operations always terminate.…”

Section: Conflict Resolutionmentioning

confidence: 99%

“…In [5], conversations are first designed and analysed at the level of CPNs and thereafter translated into protocols. Lin et al [20] map conversation schemata to CPNs. To our knowledge, the use of this representation in the support of conflict detection in regulated MAS has not been reported elsewhere.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

See 2 more Smart Citations

Distributed norm management in regulated multiagent systems

Gaertner

García-Camino²,

Noriega³

et al. 2007

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems

View full text Add to dashboard Cite

Norms are widely recognised as a means of coordinating multi-agent systems. The distributed management of norms is a challenging issue and we observe a lack of truly distributed computational realisations of normative models. In order to regulate the behaviour of autonomous agents that take part in multiple, related activities, we propose a normative model, the Normative Structure (NS), an artifact that is based on the propagation of normative positions (obligations, prohibitions, permissions), as consequences of agents' actions. Within a NS, conflicts may arise due to the dynamic nature of the MAS and the concurrency of agents' actions. However, ensuring conflict-freedom of a NS at design time is computationally intractable. We show this by formalising the notion of conflict, providing a mapping of NSs into Coloured Petri Nets and borrowing well-known theoretical results from that field. Since online conflict resolution is required, we present a tractable algorithm to be employed distributedly. We then demonstrate that this algorithm is paramount for the distributed enactment of a NS.

show abstract

Section: Conflict Resolutionmentioning

confidence: 99%

Section: Conflict Resolutionmentioning

confidence: 99%

See 1 more Smart Citation

Distributed norm management in regulated multiagent systems

Gaertner

García-Camino²,

Noriega³

et al. 2007

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems

View full text Add to dashboard Cite

show abstract

“…Most investigations choose to separately represent individual roles within the interaction [1,2,4,5]. Separate places are used for separate roles, and thus different markings distinguish a conversation state where one agent has sent a message, from a state where the other agent received it.…”

Section: Individual Roles and Colored Petri Nets (Cp-nets)mentioning

confidence: 99%

“…Then, letting the corresponding transition fire implies the message being sent and received. Previous investigations using this approach include [1,4,5].…”

Section: Monitoring Conversationsmentioning

confidence: 99%