08361 Abstracts Collection -- Programming Multi-Agent Systems

From 31th August to 5th September, the Dagstuhl Seminar 08361 ``Programming Multi-Agent Systems\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems

From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Reasoning about the safety of information: from logical formalization to operational definition

We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive answers to standard queries and to safety queries. The design of this logic is based on signaling act theory. Two strong simplifications lead to a logic S" with two modalities to represent explicit beliefs and implicit beliefs. Then, we present an operational view of S" in terms of First Order Logic, with meta predicates, which is implemented by a Prolog meta program. lt is proved that answers derived in S" and computed by the meta program are identical. This property gives a clea.r meaning to computed answers. Content areas: Epistemological foundations, Theorem proving, Logic programming, Multi-agent systems

Multi-Agent Programming Contest 2011 - The Python-DTU Team

We provide a brief description of the Python-DTU system, including the overall design, the tools and the algorithms that we plan to use in the agent contest.Comment: 4 page

Multi-Agent Programming Contest 2010 - The Jason-DTU Team

We provide a brief description of the Jason-DTU system, including the methodology, the tools and the team strategy that we plan to use in the agent contest.Comment: 4 page

Evaluation of a Conversation Management Toolkit for Multi Agent Programming

The Agent Conversation Reasoning Engine (ACRE) is intended to aid agent developers to improve the management and reliability of agent communication. To evaluate its effectiveness, a problem scenario was created that could be used to compare code written with and without the use of ACRE by groups of test subjects. This paper describes the requirements that the evaluation scenario was intended to meet and how these motivated the design of the problem. Two experiments were conducted with two separate sets of students and their solutions were analysed using a combination of simple objective metrics and subjective analysis. The analysis suggested that ACRE by default prevents some common problems arising that would limit the reliability and extensibility of conversation-handling code. As ACRE has to date been integrated only with the Agent Factory multi agent framework, it was necessary to verify that the problems identified are not unique to that platform. Thus a comparison was made with best practice communication code written for the Jason platform, in order to demonstrate the wider applicability of a system such as ACRE.Comment: appears as Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Paper

Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules: The DECOMAS Architecture

The embedding of self-organizing inter-agent processes in distributed software applications enables the decentralized coordination system elements, solely based on concerted, localized interactions. The separation and encapsulation of the activities that are conceptually related to the coordination, is a crucial concern for systematic development practices in order to prepare the reuse and systematic integration of coordination processes in software systems. Here, we discuss a programming model that is based on the externalization of processes prescriptions and their embedding in Multi-Agent Systems (MAS). One fundamental design concern for a corresponding execution middleware is the minimal-invasive augmentation of the activities that affect coordination. This design challenge is approached by the activation of agent modules. Modules are converted to software elements that reason about and modify their host agent. We discuss and formalize this extension within the context of a generic coordination architecture and exemplify the proposed programming model with the decentralized management of (web) service infrastructures

Commercial software tools for intelligent autonomous systems

This article identifies some of the commercial software tools that can potentially be examined, or relied upon for their techniques, within new EPSRC projects entitled "Reconfigurable Autonomy" and "Distributed Sensing and Control.." awarded and to be undertaken between Liverpool, Southampton and Surrey Universities in the next 4 years. Although such projects strive to produce new techniques of various kinds, the software reviewed here could also influence, shape and help to integrate the algorithmic outcome of all 16 projects awarded within the EPSRC Autonomous and Intelligent Systems programme early 2012. To avoid mis-representation of technololgies provided by the software producer companies listed, most of this review is based on using quotes from original product descriptions