Conflict resolution in norm-regulated environments via unification and constraints

Authors:
M. J. Kollingbaum;W. W. Vasconcelos;A. García-Camino;T. J. Norman
Affiliations:
Dept. of Computing Science, Univ. of Aberdeen, Aberdeen, UK;Dept. of Computing Science, Univ. of Aberdeen, Aberdeen, UK;IIIA-CSIC, Bellaterra, Spain;Dept. of Computing Science, Univ. of Aberdeen, Aberdeen, UK
Venue:
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Year:
2007

Citing 13
Cited 4

First-order logic and automated theorem proving

First-order logic and automated theorem proving
Artificial intelligence and virtual organizations

Communications of the ACM
From logic programming to Prolog

From logic programming to Prolog
Representing social structures in UML

Proceedings of the fifth international conference on Autonomous agents
A computational theory of normative positions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction

Autonomous Agents and Multi-Agent Systems
Expressive global protocols via logic-based electronic institutions

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A rule-based approach to norm-oriented programming of electronic institutions

ACM SIGecom Exchanges
Mapping deontic operators to abductive expectations

Computational & Mathematical Organization Theory
Resolving conflict and inconsistency in norm-regulated virtual organizations

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
An algorithm for conflict resolution in regulated compound activities

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
The SCIFF abductive proof-procedure

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A distributed architecture for norm-aware agent societies

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies

Normative conflict resolution in multi-agent systems

Autonomous Agents and Multi-Agent Systems
A distributed architecture for norm management in multi-agent systems

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A norm-based organization management system

COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
A distributed architecture for norm-aware agent societies: a retrospective

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a mechanism to detect and resolve conflicts in virtual environments, populated by agents whose behaviours are regulated by norms, that is, explicit representations of obligations, permissions and prohibitions. A conflict arises when an action is simultaneously prohibited and obliged/permitted. We use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of norm curtailment. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.