Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009, Revised Selected Papers

ISBN-13: 9783642148422 / Angielski / Miękka / 2010 / 285 str.

Lars Braubach; Jean-Pierre Briot; John Thangarajah

Opis

The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference in the early 1970s, Hewitt described actors as entities with knowledge and goals. Research on actors continued to focus on AI with the development of the Sprites model in which a monotonically growing knowledge base could be accessed by actors (inspired by what Hewitt called "the Scienti?c Computing Metaphor"). In the late1970sandwellinto 1980s, controversyragedinAIbetweenthosearguingfor declarative languages and those arguing for procedural ones. Actor researchers stood on the side of a procedural view of knowledge, arguing for an open s- tems perspective rather than the closed world hypothesis necessary for a logical, declarativeview. In the open systemsview, agentshad armslength relationships and could not be expected to store consistent facts, nor could the information in a system be considered complete (the "negation as failure" model). Subsequent work on actors, including my own, focused on using actors for general purpose concurrent and distributed programming. In the late 1980s, a number of actor languages and frameworks were built. These included Act++ (in C++) by Dennis Kafura and Actalk (in Smalltalk) by Jean-Pierre Briot. In recent times, the use of the Actor model, in various guises, has proliferated as new parallel and distributed computing platforms and applications have become common: clusters, Webservices, P2Pnetworks, clientprogrammingonmulticore processors, and cloud computing.

Spis treści

Communication Models.- Programming Multiagent Systems without Programming Agents.- Elements of a Business-Level Architecture for Multiagent Systems.- A Computational Semantics for Communicating Rational Agents Based on Mental Models.- Formal Models.- Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.- Probabilistic Behavioural State Machines.- Golog Speaks the BDI Language.- Organizations and Environments.- A Middleware for Modeling Organizations and Roles in Jade.- An Open Architecture for Service-Oriented Virtual Organizations.- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments.- Analysis and Debugging.- Debugging BDI-Based Multi-Agent Programs.- Space-Time Diagram Generation for Profiling Multi Agent Systems.- Infrastructure for Forensic Analysis of Multi-Agent Based Simulations.- Agent Architectures.- Representing Long-Term and Interest BDI Goals.- Introducing Relevance Awareness in BDI Agents.- Modularity and Compositionality in Jason.- Applications.- A MultiAgent System for Monitoring Boats in Marine Reserves.- Agent-Oriented Control in Real-Time Computer Games.