Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
International Journal of Intelligent Systems
Coordination and composition in multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A logical architecture of a normative system
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Mechanisms for norm emergence in multiagent societies
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Social norm emergence in virtual agent societies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A Normative Model for Behavioral Differentiation
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Social Norm Emergence in Virtual Agent Societies
Declarative Agent Languages and Technologies VI
The Use of Norms Violations to Model Agents Behavioral Variety
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Reasoning about Norms, Obligations, Time and Agents
Agent Computing and Multi-Agent Systems
Norm emergence in agent societies formed by dynamically changing networks
Web Intelligence and Agent Systems
Role model based mechanism for norm emergence in artificial agent societies
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A logical architecture of a normative system
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
Normative systems are traditionally described and analyzed using deontic logic, describing the logical relations among obligations and permissions. However, there is still a gap between deontic logic and normative multi-agent systems such as electronic institutions, which may be seen as an instance of the gap between on the one hand logical agent specification languages and on the other hand agent architectures and programming languages. To bridge the gap, in this paper we propose an architecture containing separate subsystems or components for counts-as conditionals, conditional obligations and conditional permissions. We add a norm database component in which the three kinds of rules are stored, and we use a channel based coordination model to describe the relations among the four normative components.