Communications of the ACM
First-order logic and automated theorem proving
First-order logic and automated theorem proving
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
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
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second 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
Specifying and monitoring market mechanisms using rights and obligations
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
Implementing norms 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
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Informing Regulatory Dynamics in Open MASs
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
A Distributed Normative Infrastructure for Situated Multi-agent Organisations
Declarative Agent Languages and Technologies VI
Normative conflict resolution in multi-agent systems
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 management in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
An intensional programming approach to multi-agent coordination in a distributed network of agents
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
Rule schemata for game artificial intelligence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-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
| Hi-index | 0.00 |
We propose a distributed architecture to endow multi-agent systems with a social layer in which normative positions are explicitly represented and managed via rules. Our rules operate on a representation of the states of affairs of a multi-agent system. We define the syntax and semantics of our rules and an interpreter; we achieve greater precision and expressiveness by allowing constraints to be part of our rules. We show how the rules and states come together in a distributed architecture in which a team of administrative agents employ a tuple space to guide the execution of a multi-agent system.