Coordinating autonomous entities
Published 1 January 1998Open access
Oliver Krone, Fabrice Chantemargue, Thierry Dagaeff, Michael Schumacher, Béat Hirsbrunner
Citations10
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
STL's power and expressiveness are shown through a preliminary distributed implementation of a generic autonomybased multi-agent system, which is applied to a collective robotics simulation, thus demonstrating the appropriateness of STL for developing a generic coordination platform for autonomous agents.
Abstract
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a generic autonomybased multi-agent system, which is applied to a collective robotics simulation, thus demonstrating the appropriateness of STL for developing a generic coordination platform for autonomous agents.
Keywords
Computer Science
Project Muse (Johns Hopkins University)The Embodied Mind: Cognitive Science and Human Experience
5,982 Citations2017Francisco J. Varela, Evan Thompson +1 more
Autopoiesis and Cognition: The Realization of the Living
4,733 Citations1980Humberto R. Maturana, Francisco J. Varela +1 more
The aim of this book is to provide a Discussion of the Foundations of Cognitive Function and its Applications in Autopoiesis, and to clarify the role of language in the development of cognition.
Artificial IntelligenceIntelligence without representation
4,625 Citations1991Rodney A. Brooks
The fundamental decomposition of the intelligent system is not into independent information processing units which must interface with each other via representations, but into independent and parallel activity producers which all interface directly to the world through perception and action.
ACM Computing SurveysThe interdisciplinary study of coordination
3,439 Citations1994Thomas W. Malone, Kevin Crowston
This survey characterizes an emerging research area, sometimes called coordination theory, that focuses on the interdisciplinary study of coordination, that uses and extends ideas about coordination from disciplines such as computer science, organization theory, operations research, economics, linguistics, and psychology.
ACM Transactions on Programming Languages and SystemsGenerative communication in Linda
2,273 Citations1985David Gelernter
This work is particularly concerned with implementation of the dynamic global name space that the generative communication model requires, and its implications for systems programming in distributed settings generally and on integrated network computers in particular.
Intelligence Without Reason
1,556 Citations2018Rodney A. Brooks
It is claimed that the state of computer architecture has been a strong influence on models of thought in Artificial Intelligence over the last thirty years.
Concurrency Practice and ExperiencePVM: A framework for parallel distributed computing
1,173 Citations1990Vaidy Sunderam
The PVM system is a programming environment for the development and execution of large concurrent or parallel applications that consist of many interacting, but relatively independent, components that operate on a collection of heterogeneous computing elements interconnected by one or more networks.
Communications of the ACMCoordination languages and their significance
1,006 Citations1992David Gelernter, Nicholas Carriero
Artificial IntelligenceA dynamical systems perspective on agent-environment interaction
747 Citations1995Randall D. Beer
A general theoretical framework for the synthesis and analysis of autonomous agents is sketched, in which an agent and its environment are modeled as two coupled dynamical systems whose mutual interaction is in general jointly responsible for the agent's behavior.
Lecture notes in control and information sciencesMobile robot miniaturisation: A tool for investigation in control algorithms
456 Citations2005Francesco Mondada, E. Franzi +1 more
This invention relates to chess-type board games with movable playing pieces wherein the playing pieces are moved in accordance with selected patterns by one player in order to capture playing pieces of another player.
Communications of the ACMProgramming by multiset transformation
306 Citations1993Jean-Pierre Banâtre, Daniel Le Métayer
A new formalism called Gamma is presented in which programs are described in terms of multiset transformations, with the possibility of expressing algorithms in a very abstract way, without any artificial sequentiality.
Knowledge Growth in an Artificial Animal
267 Citations1986Stewart W. Wilson
This paper describes work using an artificial, behaving, animal model (termed an “ani-mat”) to study intelligence at a primitive level, and wishes to provide the animat with adaptive mechanisms which yield rapid and solid improvement but themselves contain minimal a priori information.
Communications of the ACMCoordination languages and their significance
215 Citations1992David Gelernter, Nicholas Carriero
Lecture notes in computer scienceThe IWIM model for coordination of concurrent activities
172 Citations1996Farhad Arbab
The concurrent applications of today essentially use a set of ad hoc templates to coordinate the cooperation of their active components, showing the lack of proper coordination languages that can be used to explicitly describe complex cooperation protocols in terms of simple primitives and structuring constructs.
Software Engineering JournalStructuring parallel and distributed programs
149 Citations1993Jeff Magee, Naranker Dulay +1 more
The authors present a set of examples illustrating the use of Darwin in constructing parallel programs and show its use in the process of mapping the logical structure of a parallel program to the physical hardware.
ComputerAdaptive parallelism and Piranha
144 Citations1995Nicholas Carriero, Eric Freeman +2 more
The authors show that adaptive parallelism has the potential to integrate heterogeneous platforms seamlessly into a unified computing resource and to permit more efficient sharing of traditional parallel processors than is possible with current systems.
Concurrency Practice and ExperienceAn overview of manifold and its implementation
135 Citations1993Farhad Arbab, Iván Herman +1 more
The concern in this paper is to show the expressiveness of MANIFOLD, the feasibility of its implementation and its usefulness in practice, and a series of small manifold programs which describe the skeletons of some adaptive recursive algorithms that are of particular interest in computer graphics.
Robotics and Autonomous SystemsWhen are robots intelligent autonomous agents?
119 Citations1995Luc Steels
A biologically inspired definition of intelligent autonomous agents is explored, related to whether behavior of a system contributes to its self-maintenance, when it is capable to create and use representations.
IEEE Parallel & Distributed Technology Systems & ApplicationsAbstraction and modularity mechanisms for concurrent computing
86 Citations1993Gul Agha, Svend Frølund +4 more
The Actor model programming language concept, which provides basic building blocks for a wide variety of computational structures, is reviewed and three mechanisms for developing modular and reusable components for concurrent systems are discussed.
ActorSpace: an open distributed programming paradigm
85 Citations1993Gul Agha, Christian J. Callsen
A new programming paradigm called ActorSpace is presented, which provides powerful support for component-based construction of massively parallel and distributed applications and open interfaces to servers and pattern-directed access to software repositories.
Lecture notes in computer scienceLaw-governed linda as a coordination model
80 Citations1995Naftaly H. Minsky, Jerrold Leichter
This work defines a model for Law-Governed Linda (LGL) communication, and it is demonstrated its efficacy by means of several illustrative examples.
Journal of the American Heart AssociationThe "Artificial Life" Route to "Artificial Intelligence": Building Situated Embodied Agents
80 Citations1995Luc Steels, Rodney A. Brooks
A Stroke and Cardiovascular Disease Control Act was proclaimed by the Japanese government to vanquish these national maladies on December 14, 2018, and is a steady step forward for tomorrow's stroke medicine in Japan.
Lecture notes in computer scienceBauhaus Linda
72 Citations1995Nicholas Carriero, David Gelernter +1 more
Lecture notes in computer scienceObject-Based Models and Languages for Concurrent Systems
70 Citations1995Paolo Ciancarini, Oscar Nierstrasz +1 more
This paper presents a model for active object coordination and its use for distributed multimedia applications and a machine for uncoupledcoordination and its concurrent behavior.
Computer Networks and ISDN SystemsPageSpace: An architecture to coordinate distributed applications on the Web
65 Citations1996Paolo Ciancarini, A. Knoche +2 more
The PageSpace is a platform to support open distributed application on top of the Web that utilizes Java to execute distributed agents that coordinate their exchange of services by Linda-like coordination technology.
PRESENCE Virtual and Augmented RealityAdaptive Behavior in Autonomous Agents
62 Citations1998Tom Ziemke
This paper provides an overview of the bottom-up approach to artificial intelligence, commonly referred to as behavior-oriented AI, and concludes that, in order to realize truly autonomous and intelligent agents, the behavior- oriented approach will have to focus even more on lifelike qualities in both agents and environments.
BONITA: a set of tuple space primitives for distributed coordination
55 Citations2002Antony Rowstron, Alan Wood
A new set of primitives for fully distributed coordination of processes and agents using tuple spaces, called the BONITA primitives are described, able to mimic the Linda primitives, providing the ease of use and expressibility of Linda together with a number of advantages for the coordination of agents or processes in distributed environments.
Lecture notes in computer scienceDesigning a coordination model for open systems
44 Citations1996Thilo Kielmann
This paper identifies the requirements of open systems with respect to coordination models and develops a coordination model suitable for these purposes that is able to cope with constantly changing configurations and new, unknown kinds of agents.
Lecture notes in computer scienceA software environment for concurrent coordinated programming
37 Citations1996A. A. Holzbacher
ConCoord is a software environment for Concurrent Coordinated programming targeted at networks of sequential and parallel machines and provides linguistic support for heterogeneous concurrency exploitation.
CWI's Institutional Repository (Centrum Wiskunde & Informatica)Coordination of massively concurrent activities
36 Citations1995Farhad Arbab
This paper presents a generic model of communication and describes a specific control-oriented coordination language based on this model, which has important characteristics of compositionality, which it inherits from the data-flow model, anonymous communication, and separation of computation concerns from communication concerns.
Lecture notes in computer scienceOn the operational semantics of a coordination language
30 Citations1995Paolo Ciancarini, Keld Kondrup Jensen +1 more
A number of operational semantics specifications for Linda are studied and compared: Plotkin's SOS, Milner's CCS, Petri Nets, and Berry and Boudol's Chemical Abstract Machine.
Edinburgh Research Archive (University of Edinburgh)Experiments in Competence Acquisition for Autonomous Mobile Robots
25 Citations1992Ulrich Nehmzow
This thesis addresses the problem of intelligent control of autonomous mobile robots, particularly under circumstances unforeseen by the designer, and demonstrates that robots also become able to autonomously recover from unforeseen situations such as changes in the robot's morphology, the environment or the task.
Laura: a coordination language for open distributed systems
23 Citations2002Robert Tolksdorf
Laura is a coordination language for open distributed systems following this paradigm by introducing a service space via which agents offer and request services without knowing about each other.
IEEE Computer Society Press eBooksProgramming languages for parallel processing
17 Citations1995David B. Skillicorn, Domenico Talia
This book provides an overview of the most important parallel programming languages designed in the decade and introduces issues and concepts related to the development of parallel software.
The influence of coordination on program structure
15 Citations2002Farhad Arbab
A new generic model is described: Idealized Worker Idealized Manager (IWIM), which can trivially emulate other well known communication and coordination models and is fully exploited in the pure coordination language MANIFOLD.
STL++: A Coordination Language for Autonomy-based Multi-Agent Systems
4 Citations1998Michael Schumacher, Fabrice Chantemargue +2 more
This paper introduces ECM a new coordination model and one of his language binding STL STL, a set of powerful tools embedded in an object oriented computation language that enable distributed components to be dynamically recon gured.
Coordination Requirements for Open Distributed Systems.
4 Citations1995Thilo Kielmann, Guido Wirtz
This work discusses the central requirements of coordination models suitable for open distributed systems and evaluates some commercially available systems w.r.t. these requirements.