On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans
Autonomous Agents and Multi-Agent Systems
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
International Journal of Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Roles and norms for programming agent organizations
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Embodying Organisations in Multi-agent Work Environments
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Instrumenting multi-agent organisations with organisational artifacts and agents
Autonomous Agents and Multi-Agent Systems
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A normative organisation programming language for organisation management infrastructures
COIN'09 Proceedings of the 5th 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
An interaction-oriented agent framework for open environments
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
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
A normative programming language for multi-agent organisations
Annals of Mathematics and Artificial Intelligence
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Multi-agent oriented programming with JaCaMo
Science of Computer Programming
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
In this paper, we show how we can automatically translate high-level organisation modelling languages into simpler languages based on the idea of normative programming. With this approach, while designers and agents still use a highly abstract organisational modelling language to specify and reason about the multi-agent organisation, the development of the organisation management infrastructure is facilitated in the following manner. The high-level organisation specification is automatically translated into a simple normative programming language that we have recently introduced and for which we have given formal semantics. The organisation management infrastructure can then be based on an interpreter for the simpler normative language. We illustrate the approach showing how MOISE's organisation modelling language (with primitives such as roles, groups, and goals) can be translated into our normative programming language (with primitives such as norms and obligations). We briefly describe how this all has been implemented on top of ORA4MAS, the distributed artifact-based organisation management infrastructure for MOISE.