multi-agent programming

[...]... promising new paradigm We are convinced that the next step in furthering the achievement of the multi-agent systems project is irrevocably associated with the development of programming languages and tools that can effectively support multi-agent programming, including the implementation of key notions in multi-agent systems in a unified framework We hope this book will turn out to be a useful contribution... which is a programming language for implementing multi-agent sys- XXVI tems It has been developed over the last eight years in Utrecht and it is still subject of ongoing research The 3APL programming language supports direct implementation of BDI agents and provides programming constructs to implement interaction among agents, and between agents and their shared environment The development of multi-agent. .. Programming Multi-Agent Systems in general Finally, we thank Peter Novak, Tristan M Behrens, Alexandru Suna, and Yingqian Zhang for various help with either this book or the workshop series We dedicate this book to all the enthusiasts of this exciting new approach to programming I LOGIC- OR PROCESS ALGEBRA-BASED AGENT PROGRAMMING LANGUAGES Chapter 1 JASON AND THE GOLDEN FLEECE OF AGENT-ORIENTED PROGRAMMING. .. develop expressive programming languages and well-developed platforms so that the concepts and techniques of multi-agent systems can be easily and directly implemented The idea for this book evolved over several years, when the editors started the ProMAS workshop ( h t t p : //www c s u u n l / P r o M A S / ) series as well as an AgentLink III Technical Forum Group on Programming Multi-Agent Systems... evolved, and programming languages became richer, the importance of a proper theoretical foundation for programming languages also became apparent, and a host of mathematically rich formalisms were developed in an attempt to gain a clear understanding of how programming languages could and should behave And yet, for all these technical developments, every programmer knows that what makes a "good" programming. .. fun, more natural, just better to use This book is about programming languages for a relatively new class of computer systems, called multi-agent systems Much has been written about multi-agent systems and why they are an important idea, and this foreword is not the place to add to this mountain of words Suffice to say that the key feature of a multi-agent system is that it contains multiple, interacting... to program agents? The term "agent-oriented programming language" was coined by Yoav Shoham from Stanford University in the late 1980s In a highly influential paper [206], he presented both the concept of agent-oriented programming, and a prototype programming language, called AGENTO, which embodied some of the ideas that he felt would be central to this new programming paradigm Since the early 1990s,... from the University of Sao Paulo, Brazil, in 2003 The subject of his thesis was the modelling of multi-agent organisations and the process of reorganisation in multi-agent systems His research interests are on models of organisation in multi-agent systems and tools to support the development of BDI-based multi-agent systems Winfried Lamersdorf is full Professor in the Department of Computer Science... computational logic or process algebra All programming languages described in these chapters have formal semantics and use heavy machinery based on formal methods, but also provide working platforms for the development of multi-agent systems In the first chapter of Part I, Rafael Bordini, Jomi Hiibner, and Renata Vieira present their work on Jason, an interpreter for a programming language based on the BDI... Parma In 2002 Rafael H Bordini Is a Lecturer In Computer Science at the University of Durham His research Interests are centred mainly on agent-oriented programming languages, verification of multi-agent systems through model checking, and applications of multi-agent systems to social simulation He received a PhD In Computer Science from the University of London (University College London) In 1999 Before . Interests are centred mainly on agent-oriented programming languages, verification of multi-agent systems through model checking, and applications of multi-agent systems to social simulation. He. of reorganisation in multi-agent systems. His research interests are on models of organisation in multi-agent systems and tools to support the development of BDI-based multi-agent systems Acknowledgments xxxii Part I Logic- or Process Algebra-based Programming Languages 1 Jason and the Golden Fleece of Agent-Oriented Programming 3 Rafael H. Bordini, Jomi E Hiibner, andRenata