Skeleton-based agent development for electronic institutions

Authors:
Wamberto W. Vasconcelos;Jordi Sabater;Carles Sierra;Joaquim Querol
Affiliations:
University of Edinburgh, Edinburgh, UK;Artificial Intelligence Research Institute, Catalonia, Spain;Artificial Intelligence Research Institute, Catalonia, Spain;Artificial Intelligence Research Institute, Catalonia, Spain
Venue:
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Year:
2002

Citing 15
Cited 16

Knowledge-based programming: a survey of program design and construction techniques

IEEE Transactions on Software Engineering
Introduction to algorithms

Introduction to algorithms
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Applying techniques to skeletons

Constructing logic programs
Applying Prolog programming techniques

International Journal of Human-Computer Studies
From logic programming to Prolog

From logic programming to Prolog
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Petri Nets

ACM Computing Surveys (CSUR)
Program development by stepwise refinement

Communications of the ACM
Automatic programming systems

Communications of the ACM
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Towards a Formal Specification of Complex Social Structures in Multi-agent Systems

Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
A Practical Approach for Logic Program Analysis and Transformation

MICAI '00 Proceedings of the Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations

LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation

Skeletal Jade Components for the Construction of Institutions

AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
Role-assignment in open agent societies

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Expressive global protocols via logic-based electronic institutions

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

Automated Software Engineering
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

Annals of Mathematics and Artificial Intelligence
A Manifesto for Agent Technology: Towards Next Generation Computing

Autonomous Agents and Multi-Agent Systems
Organizing Multiagent Systems

Autonomous Agents and Multi-Agent Systems
Artificial institutions: a model of institutional reality for open multiagent systems

Artificial Intelligence and Law
Programming Organization-Aware Agents

ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Engineering Social Reality with Inheritance Relations

ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Dynamic composition of electronic institutions for teamwork

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Open agent systems ???

AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Formal methods in agent-oriented software engineering

AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
OMNI: introducing social structure, norms and ontologies into agent organizations

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Coherence constraints for agent interaction

AC'04 Proceedings of the 2004 international conference on Agent Communication
Enacting and deacting roles in agent programming

AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe an approach for semi-automatic agent development. We focus on the scenario in which agents are designed to follow an electronic institution, a formalism to specify open agent organisations. In our approach, an initial design pattern is automatically extracted from a given electronic institution. This pattern is then offered to programmers willing to develop agents to perform in the electronic institution. Our approach supports developers when modifying the initial simple design pattern into more sophisticated programs.