First-order logic and automated theorem proving
First-order logic and automated theorem proving
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Solving normative conflicts by merging roles
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
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
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
A Schema-Based Approach to Specifying Conversation Policies
Issues in Agent Communication
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third 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
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Coordination and Agreement in Multi-Agent Systems
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Coordination in Multi-Agent Systems: Towards a Technology of Agreement
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Agreeing on Institutional Goals for Multi-agent Societies
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Formalising Situatedness and Adaptation in Electronic Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Using Electronic Institutions for Hospitals Chronic Disease Management and Purchasing System
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Ignoring, forcing and expecting simultaneous events in electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
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
Norm enforceability in electronic institutions?
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Identifying conditional norms in multi-agent societies
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
A distributed architecture for enforcing norms in open MAS
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Artificial Intelligence
A distributed architecture for norm-aware agent societies: a retrospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Open issues for normative multi-agent systems
AI Communications
MaNEA: A distributed architecture for enforcing norms in open MAS
Engineering Applications of Artificial Intelligence
Organisational structures in next-generation distributed systems: Towards a technology of agreement
Multiagent and Grid Systems
Hi-index | 0.00 |
Norms are widely recognised as a means of coordinating multiagent 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.