AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Simulating organizations: computational models of institutions and groups
Simulating organizations: computational models of institutions and groups
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Autonomous Agents and Multi-Agent Systems
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
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
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Specifying and verifying holonic agents with GDT4MAS
International Journal of Agent-Oriented Software Engineering
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Model checking agent programming languages
Automated Software Engineering
Hi-index | 0.00 |
In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, namely constraints and content/context sets . These two aspects provide sufficient expressive power to allow us to represent, simply and with semantic clarity, a wide range of organisational structures for multi-agent systems. We not only introduce this approach, but provide its formal semantics, through modification of an operational semantics based on the core of AgentSpeak , 3APL and MetateM . In addition, we provide illustrative examples by simulating both constraints and content/context sets within the Jason interpreter for AgentSpeak . In summary, we advocate the use of these simple constructs in many logic-based BDI languages, by appealing to their applicability, simplicity and clear semantics.