A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global compu...
详细信息
The proceedings contain 18 papers. The topics discussed include: interoperability for Bayesian agents in the Semantic Web;the A&A programming model and technology for developing agent environments in MAS;a practic...
详细信息
ISBN:
(纸本)354079042X
The proceedings contain 18 papers. The topics discussed include: interoperability for Bayesian agents in the Semantic Web;the A&A programming model and technology for developing agent environments in MAS;a practical agentprogramming language;a common semantic basis for BDI languages;adding structure to agentprogramming languages;modules as policy-based intentions;modular agentprogramming in GOAL;tracking causality by visualization of multi-agent interactions using causality graphs;hybrid multiagentsystems with timed synchronization - specification and model checking;developing a team of gold miners using Jason;going for gold with 2APL;JIAC IV in multi-agentprogramming contest 2007;and an agent team based on FLUX for the ProMAS contest 2007.
The aim of the paper is to present the software tool Perseus and show how it can be used to examine multi-agentsystems where the ability to persuade is specified. Especially we want to study the issues such as: what ...
详细信息
The aim of the paper is to present the software tool Perseus and show how it can be used to examine multi-agentsystems where the ability to persuade is specified. Especially we want to study the issues such as: what arguments individuals use to successfully convince others, what type of a persuader guarantees a victory etc. This work describes implementation of the tool and discusses what questions about persuasion process Perseus can answer and how it is done.
Max-plus-linear (MPL) systems are a class of nonlinear systems that can be described by models that are 'linear' in the max-plus algebra. We provide here Solutions to the three types of finite-horizon min-max ...
详细信息
Max-plus-linear (MPL) systems are a class of nonlinear systems that can be described by models that are 'linear' in the max-plus algebra. We provide here Solutions to the three types of finite-horizon min-max control problems for uncertain MPL systems. depending on the nature of the control input over which we optimize: open-loop input sequences, disturbances feedback policies, and state feedback policies. We assume that the uncertainty lies in a bounded polytope and that the closed-loop input and state sequence should satisfy a given set of linear inequality constraints for all admissible disturbance realizations. Despite the act that the controlled system is nonlinear, we provide sufficient conditions that allow one to preserve convexity of the optimal value function and its domain. As a consequence. the min-max control problems can be either recast its a linear program or solved via N parametric linear programs, where N is the prediction horizon. In some particular cases of the uncertainty description (e.g. interval matrices), by employing results from dynamic programming. we show that a min-max control problem can be recast as a deterministic optimal control problem. Copyright (C) 2008 John Wiley & Soils, Ltd.
This paper presents a general and formal approach to designing robot controllers. It is based on structuring the controller into subsystems dealing with effectors, receptors, inter-agent transmission and internal memo...
详细信息
This paper presents a general and formal approach to designing robot controllers. It is based on structuring the controller into subsystems dealing with effectors, receptors, inter-agent transmission and internal memory. The behaviour of the controller is governed by transition functions. They are the basis for the definitions of robot behaviours. A systematic method of partitioning the task of a robot into separate bio-inspired elementary behaviours and the method of composing those behaviours into actions performed by the robot in the real environment are presented. Those general considerations are illustrated by an example of the design of behavioural controllers for robots executing a joint transportation task. The robots only observe the effects of the others activities in the environment (stigmergy). The presented specific solution to the joint box pushing example has its own merits, however the paper focuses on the general aspects of formal approach to controller design of multi-robot systems. (C) 2008 Elsevier Ltd. All rights reserved.
In recent years, the declarative programming philosophy has had a visible impact on new emerging disciplines, such as heterogeneous multi-agentsystems and flexible business processes. We address the problem of formal...
详细信息
An essential aspect of autonomous agents is that they must display proactive behaviour. Designing such software then requires explicit consideration of the goals the agent ought to achieve, and similarly its implement...
详细信息
ISBN:
(纸本)1902956680
An essential aspect of autonomous agents is that they must display proactive behaviour. Designing such software then requires explicit consideration of the goals the agent ought to achieve, and similarly its implementation also needs to be based on explicit representations of such goals. This is part of the reason why the BDI (Belief-Desire- Intention) agent architecture [16, 17] has since the early 90's been the best known architecture for developing software agents. As the BDI notions are also used in "folk psychology" (i.e., how people ordinarily refer to other people's behaviour) it also makes it useful for modelling goal-directed human behaviour [12].
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global compu...
ISBN:
(纸本)9780981738116
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global computational tasks. This paper develops a principled approach to global-to-local programming, for pattern formation problems in a one-dimensional multi-agent model. We present theoretical analysis that addresses the existence, construction, and resource tradeoffs of robust local rule solutions to global patterns, and which together form a "global-to-local compiler".
This paper presents a flexible agent-oriented programming framework that provides native support for bio-inspired mechanisms. This solution, developed within the Perplexus IST European project, [IST-034632](1) aims at...
详细信息
ISBN:
(纸本)9783540858560
This paper presents a flexible agent-oriented programming framework that provides native support for bio-inspired mechanisms. This solution, developed within the Perplexus IST European project, [IST-034632](1) aims at providing a means for the specification of applications running on a distributed and pervasive network of mobile nodes In such applications the deployed systems may face time-changing environments and bio-inspiration may prove useful bringing self-adaptability to the system. The presented framework features are demonstrated on a proof-of-concept application made of simple robots that autonomously improve their behaviour over time.
This report describes the "Roles'07 - Roles and Relationships" workshop held at ECOOP'07 in Berlin on July 30 and 31, 2007. The aims and organization of the workshop are described, and the main contr...
详细信息
暂无评论