First-order logic and automated theorem proving
First-order logic and automated theorem proving
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
From logic programming to Prolog
From logic programming to Prolog
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Professional Java Programming
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Autonomous Agents and Multi-Agent Systems
Multi-dimensional Dynamic Knowledge Representation
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Policy Conflict Analysis for Quality of Service Management
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
A rule-based approach to norm-oriented programming of electronic institutions
ACM SIGecom Exchanges
Requirements for Distributed Mission-Critical Decision Support Systems
ECBS '06 Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
On the relationship between roles and power: preliminary report
Proceedings of the 2006 ACM symposium on Applied computing
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent 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
Organisational change through influence
Autonomous Agents and Multi-Agent Systems
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Modeling communicative behavior using permissions and obligations
AC'04 Proceedings of the 2004 international conference on Agent Communication
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
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
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Acting on norm constrained plans
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
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Interaction protocols for cross-organisational workflows
Knowledge-Based Systems
A System for Governmental Virtual Institutions based on Ontologies and Interaction Protocols
International Journal of Distance Education Technologies
Conflict inside out: a theoretical approach to conflict from an agent point of view
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A model-based approach to the automatic revision of secondary legislation
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Detecting conflicts in legal systems
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |
Norms (permissions, obligations and prohibitions) offer a useful and powerful abstraction with which to capture social constraints in multi-agent systems. Norms should exclude disruptive or antisocial behaviour without prescribing the design of individual agents or restricting their autonomy. An important challenge, however, in the design and management of systems governed by norms is that norms may, at times, conflict with one another; e.g, an action may be simultaneously prohibited and obliged for a particular agent. In such circumstances, agents no longer have the option of complying with these norms; whatever they do or refrain from doing will lead to a social constraint being broken. In this paper, we present mechanisms for the detection and resolution of normative conflicts. These mechanisms, based on first-order unification and constraint solving techniques, are the building blocks of more sophisticated algorithms we present for the management of normative positions, that is, the adoption and removal of permissions, obligations and prohibitions in societies of agents. We capture both direct and indirect conflicts between norms, formalise a practical concept of authority, and model conflicts that may arise as a result of delegation. We are able to formally define classic ways for resolving conflicts such as lex superior and lex posterior.