Download:
|
by Munindar P. Singh
Autonomous Agents and Multi-Agent Systems
http://www.csc.ncsu.edu/faculty/mpsingh/papers/mas/jaamas-00-synthesis.ps.gz
Add To MetaCart
Abstract:
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for engineering the coordination requirements of a multiagent system based on an analysis of conversation instances extracted from usage scenarios. This approach exploits the notion of Dooley graphs that were recently introduced to the multiagent systems community from the linguistics and discourse analysis literature. We show how, with a few key modifications, Dooley graphs can be used to generate coordination requirements and constraints on the behavior models of the agents participating in a multiagent system. Our present approach is embodied in the context of our recent work on a distributed coordination service for heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descriptions of the given agents in terms of their events that are significant for coordination, as well as (b) relationships among the events occurring in these skeletons. A natural question is how may the skeletons and relationships be produced in the first place. It turns out that a methodology that begins with Dooley graphs can readily yield the skeletons and relationships needed to achieve the desired coordination. Consequently, our approach combines the benefits of an intuitive methodology with a formal and distributed framework for developing multiagent systems from autonomous agents.
Citations
|
1794
|
Time, Clocks, and the Ordering of Events in a Distributed System
– Lamport
- 1978
|
|
985
|
Software Architecture: Perspectives on an emerging discipline
– Shaw, Garlan
- 1996
|
|
843
|
Software Engineering: A Practitioner’s Approach 6 th Edition
– Pressman
- 2005
|
|
747
|
How to do things with words
– Austin
- 1962
|
|
632
|
Agent-Oriented Programming
– Shoham
- 1990
|
|
297
|
UML Distilled: Applying the Standard Object Modeling Language
– Fowler, Scott
- 1997
|
|
282
|
Executable Object Modeling with Statecharts
– Harel, Gery
- 1996
|
|
183
|
Detecting causal relationships in distributed computations
– Schwarz, Mattern
- 1994
|
|
181
|
Designing a family of coordination algorithms
– DECKER, LESSER
- 1995
|
|
143
|
Agent communication languages: Rethinking the principles
– Singh
- 1998
|
|
126
|
Using Branching Time Temporal Logic to Synthesize Synchronization
– Emerson, Clarke
- 1982
|
|
119
|
COOL: A language for describing coordination in multi agent systems
– Barbuceanu, Fox
- 1995
|
|
105
|
DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework
– Brazier, Dunin-Keplicz, et al.
- 1997
|
|
93
|
An ontology for commitments in multiagent systems: Toward a unification of normative concepts
– Singh
- 1999
|
|
92
|
Semantics and conversations for an agent communication language
– Labrou, Finin
- 1998
|
|
82
|
A Social Reasoning Mechanism Based on Dependence Networks
– Sichman, Conte, et al.
- 1994
|
|
56
|
M.P.: Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems
– Venkatraman, Singh
- 1999
|
|
55
|
Designing conversation policies using joint intention theory
– Smith, Cohen, et al.
- 1998
|
|
45
|
Distributed problem solving and planning
– Durfee
- 1999
|
|
41
|
Agents and multiagent systems: Themes, approaches, and challenges
– Huhns, Singh
- 1997
|
|
40
|
Communciation and Cooperation in Agent Systems: A Pragmatic Theory, number 1056
– Haddadi
- 1996
|
|
35
|
A Customizable Coordination Service for Autonomous Agents
– Singh
- 1998
|
|
35
|
Software Engineering with Agents: Pitfalls and Pratfalls
– Wooldridge, Jennings
- 1999
|
|
32
|
Formal methods in DAI: Logic-based representation and reasoning
– Singh, Rao, et al.
- 1999
|
|
31
|
Commitments among autonomous agents in information-rich environments
– Singh
- 1997
|
|
23
|
Interaction protocols in agentis
– d’Inverno, Kinny, et al.
- 1998
|
|
21
|
Agents for Process Coherence in Virtual Enterprises
– Jain, Aparicio, et al.
- 1999
|
|
20
|
Applying an agent-oriented methodology to the design of artificial organizations: A case study in robotic soccer. Autonomous Agents and Multi-Agent Systems
– Drogoul, Collinot
- 1998
|
|
17
|
The industrial virtual enterprise
– Hardwick, Bolton
- 1997
|
|
16
|
The intentions of teams: Team structure, endodeixis, and exodeixis
– Singh
- 1998
|
|
10
|
Dyke Parunak. Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis
– Van
- 1996
|
|
7
|
Appendix B: Repartee as a Graph
– Dooley
- 1976
|
|
7
|
Formalization and pre-validation for interaction protocols in multiagent systems
– Koning, Francois, et al.
- 1998
|
|
7
|
An Anatomy of Speech Notions. Peter de Ridder
– Longacre
- 1976
|
|
6
|
Industrial applications of distributed artificial intelligence
– Chaib-draa
- 1995
|
|
5
|
Use Cases Combined with Booch
– Texel, Williams
- 1997
|
|
3
|
Harel and Anmon Naamad. The STATEMATE semantics of statecharts
– David
- 1996
|
|
2
|
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
– Wei, editor
- 1999
|