Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
Lecture notes in computer sciencePublished 1 January 2009
Alexander Smirnov, Alexey Kashevnik, Nikolay Shilov, Ian Oliver, Sergey Balandin, Sergey Boldyrev
Citations25
SJR quartileQ2
SJR score0.35
SNIP0.55
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
The paper describes work-in-progress performed under a joint project of SPIIRAS and Nokia aimed at the analysis of existing anonymous agent coordination languages and adaptation of them to coordination of smart space devices.
Abstract
Development of new technologies brings people new possibilities such as smart spaces. Smart spaces can provide better user experience by allowing a user to connect new devices flexibly and to access all the information in the multi device system from any of the devices. The paper describes work-in-progress performed under a joint project of SPIIRAS and Nokia. The project is aimed at the analysis of existing anonymous agent coordination languages and adaptation of them to coordination of smart space devices.
Keywords
Computer Science
Communications of the ACMMonitors
1,498 Citations1974C. A. R. Hoare
This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system, introduces a form of synchronization, describes a possible method of implementation in terms of semaphores and gives a suitable proof rule.
Lecture notes in computer scienceAgentSpeak(L): BDI agents speak out in a logical computable language
1,257 Citations1996Anand S. Rao
This paper provides an alternative formalization of BDI agents by providing an operational and proof-theoretic semantics of a language AgentSpeak(L), which can be viewed as an abstraction of one of the implemented BDI systems and allows agent programs to be written and interpreted in a manner similar to that of horn-clause logic programs.
Advances in computersCoordination Models and Languages
853 Citations1998George Α. Papadopoulos, Farhad Arbab
This chapter defines and presents in sufficient detail the fundamental concepts of what constitutes a coordination model or language and describes the main existing coordination models and languages as either ``data-driven'' or ``control-driven'''' (also called ``process-'''' or ``task-oriented'').
Autonomous Agents and Multi-Agent SystemsAgent Programming in 3APL
365 Citations1999Koen V. Hindriks, Frank S. de Boer +2 more
The main idea is not to integrate this language into the agent language itself, but to provide the facilities for programming control structures at a meta level, by means of a meta transition system.
The Levels of Conceptual Interoperability Model
302 Citations2003Andreas Tolk, James Muguira
A general model dealing with various levels of conceptual interoperability that goes beyond the technical reference models for interoperable solutions is introduced, intended to become a bridge between the conceptual design and the technical design for implementation, integration, or federation.
COOL: A Language for Describing Coordination in Multi Agent Systems.
211 Citations1995Mihai Barbuceanu, Mark S. Fox
This paper addresses the coordination level by means of the Coordination Language (COOL) that relies on speech act based communication, but integrates it in a structured conversation framework that captures the coordination mechanisms agents use when working together.
Lecture notes in computer scienceAgents Breaking Away
199 Citations1996Jaime Carbonell, J rg Siekmann
Philosophical Transactions of the Royal Society of London Series A Physical and Engineering SciencesThe explanatory role of information
84 Citations1994Fred Dretske
On this interpretation, some of the behaviour of information-driven control systems is causally explained by the statistical correlations that exist between internal states and the external conditions about which they carry information.
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.
Medical Entomology and ZoologyCreating Personalities for Synthetic Actors: Towards Autonomous Personality Agents
64 Citations1997Paolo Petta, Robert Trappl
A system for real-time animation of behavior-based interactive synthetic actors and multi-level control for animated autonomous agents based on virtual sensors is proposed.
Objective Coordination in Multi-Agent System Engineering: Design and Implementation
61 Citations2001Michael Schumacher
Lecture notes in computer scienceWhat sort of control system is able to have a personality?
50 Citations1997Aaron Sloman
A design-based methodology for the study of mind as a part of the broad discipline of Artificial Intelligence is outlined and some preliminary suggestions made regarding mechanisms underlying motivation, emotions, and personality are made.
XML dataspaces for mobile agent coordination
47 Citations2000Giacomo Cabri, Letizia Leonardi +1 more
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents that is made more flexible and secure by the capability of programming the behaviour of the coordination media in reaction to the agents' accesses.
Lecture notes in computer scienceA Coordination Model for Triplespace Computing
41 Citations2007Elena Simperl, Reto Krummenacher +1 more
This paper reconsiders "triplespace computing", a coordination middleware for the Semantic Web, as a precursor to the design and implementation of a triplespace platform in the context of the TripCom project.
The ShaPE of ShaDe: a Coordination System
38 Citations1996S. Castellani, Paolo Ciancarini +1 more
This work uses ShaDe, an object-based coordination language, to build "coordination" services enacting declarative cooperation laws, and demonstrates the use of the language building two coordination applications, namely a distributed auction system and a stock exchange system.
arXiv (Cornell University)Personal Semantic Web Through A Space Based Computing Environment
31 Citations2008Ian Oliver, Jukka Honkola
The Semantic Web through technologies to support the canonical representation information and presenting it to users in a method by which its meaning can be understood or at least communi- cated and interpreted by all parties.
Science of Computer ProgrammingLaura — a service-based coordination language
28 Citations1998Robert Tolksdorf
Based on an analysis of the issue of names in open systems, a new approach to typing of interfaces is introduced and includes new extensions to a partial replication scheme that can cope with dynamically changing set of participating machines.
Philosophical Transactions of the Royal Society of London Series A Physical and Engineering SciencesSemantics in an intelligent control system
27 Citations1994Aaron Sloman
The paper outlines some requirements for such architectures showing the importance of an idea shared between engineers and philosophers: the concept of ‘semantic information’.
Lecture notes in computer scienceAutonomy and Agent Deliberation
25 Citations2004Mehdi Dastani, Frank Dignum +1 more
This work discusses several issues that agents need to deliberate about in order to decide which action to perform and assumes that there is no unique (rational or universal) deliberation process and that the deliberations can be specified in various ways.
Current Opinion in PsychologyCoordination Languages: Back to the Future with Linda
22 Citations2005George Wells
This work believes that the simplicity of this model still has much to offer, but that there are still challenges in overcoming the performance issues inherent in the Linda approach, and extending the range of applications to which it is suited.
Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
21 Citations2008Artem Katasonov, Vagan Terziyan
Lecture notes in computer scienceThe STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
12 Citations1999Michael Schumacher, Fabrice Chantemargue +1 more
The STL++ coordination language, a C++based language binding of the ECM coordination model, is introduced, aimed at giving basic constructs for distributed implementations of generic multi-agent platforms, to be run on a LAN of general-purpose workstations.
Efficient distributed information management in smart spaces
8 Citations2008Alexander Smirnov, Nikolay Shilov +4 more
The paper considers the problem of efficient distributed information sharing in smart spaces and models for information distribution are presented together with a simulation framework.
Adaptive Agents and Multi-Agents SystemsDecentralized coordination of automated guided vehicles
8 Citations2008David Herrero‐Perez, Humberto Martínez Barberá
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles working on an automated factory using a decentralized architecture based on a priority system, based on the current task, and a set of dangerous zones which are defined to avoid possible deadlocks.
Cross-Middleware Interoperability in Distributed Concurrent Engineering
6 Citations2007E. Rowland Watkins, M. E. McArdle +2 more
The purpose of this work is to show the potential of Grid technology to support fully distributed concurrent design, while addressing practical considerations including network security, interoperability, and integration of legacy applications.
Lecture notes in computer scienceScoped Coordination in Open Distributed Systems
5 Citations2000Iain Merrick, Alan Wood
An efficient implementation of Scope, a coordination language for open distributed systems, is described, which uses distributed broadcasts for the IN primitive, which allows tuples to be placed on the most appropriate node and easily migrated.