First-order logic and automated theorem proving
First-order logic and automated theorem proving
Understanding fault-tolerant distributed systems
Communications of the ACM
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Solving normative conflicts by merging roles
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
From logic programming to Prolog
From logic programming to Prolog
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Introduction to Multiagent Systems
Introduction to Multiagent Systems
On Agent-Mediated Electronic Commerce
IEEE Transactions on Knowledge and Data Engineering
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm compliance of protocols in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Distributed norm management in regulated multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Five Guidelines for Normative Multiagent Systems
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Instrumenting multi-agent organisations with organisational artifacts and agents
Autonomous Agents and Multi-Agent 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
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 distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Using social power to enable agents to reason about being part of a group
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Towards adaptive normative systems for communities of agents
Web Intelligence and Agent Systems - Web Intelligence and Communities
Hi-index | 12.05 |
Norms explicitly represent prohibitions, permissions and obligations associated with software agents, changing as agents act and interact in pursuit of their goals. Norms provide means of regulating open and heterogeneous multi-agent systems; however, in order to truly reflect the nature of multi-agent systems, norms should be managed in a distributed fashion. A centralized account of norms creates a single point-of-failure and bottlenecks, and as a result fault-tolerance and scalability are jeopardized. The decentralized management of norms is, nevertheless, a challenging issue and we observe a lack of truly distributed computational realizations of normative models. To remedy this, we propose normative structures, which allow the propagation of changes in the norms associated with agents, as a result of their actions. Due to the dynamic nature of multi-agent systems and the potential concurrency of agents' actions, conflicts may arise, whereby an action is simultaneously prohibited and obliged (or prohibited and permitted). We thus present a run-time algorithm to detect and resolve conflicts during the enactment of a multi-agent system, and show how this algorithm can be put to use within a distributed setup.