First International Conference on Multiagent Systems
Victor Lesser, Conference Chair
June 12-14, 1995, San Francisco, California. Published by The AAAI Press, Menlo Park, California. This proceedings is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Preface / vii
Victor R. Lesser, Susan Conry, Yves Demazeau, and Mario Tokoro
A Multi-Agent Intelligent Design System Integrating Manufacturing and Shop-Floor Control / 3
Sivaram Balasubramanian and Douglas H. Norrie
Motor Schema-Based Formation
Control for Multiagent Robot Teams / 10
Tucker Balch and Ronald C. Arkin
COOL: A Language for Describing Coordination in Multi Agent Systems
/ 17
Mihai Barbuceanu and Mark S. Fox
Formal Specification of Multi-Agent Systems: A Real-World Case /
25
Frances Brazier, Barbara Dunin Keplicz, Nick R. Jennings, and Jan
Treur
The DRESUN Testbed for Research in FA/C Distributed Situation
Assessment: Extensions to the Model of External Evidence / 33
Norman Carver and Victor Lesser
Commitments: From Individual Intentions to Groups and Organizations
/ 41
Cristiano Castelfranchi
Communication for Conflict Resolution in Multi-Agent Collaborative
Planning / 49
Jennifer Chu-Carroll and Sandra Carberry
Multiagent Reasoning with
Belief Contexts II: Elaboration Tolerance / 57
Alessandro Cimatti and Luciano Serafini
Communicative Actions for Artificial Agents / 65
Philip R. Cohen and Hector J. Levesque
Designing a Family of Coordination
Algorithms / 73
Keith S. Decker and Victor R. Lesser
Knowledge-Based Distributed
Search Using Teamwork / 81
Jörg Denzinger
A Tool for Coordinating Autonomous Agents with Conflicting Goals /
89
Love Ekenberg, Magnus Boman, and Mats Danielson
A Tractable Heuristic that
Maximizes Global Utility through Local Plan Combination / 94
Eithan Ephrati, Martha E. Pollack, and Jeffrey S. Rosenschein
Coordination without Communication:
Experimental Validation of Focal Point Techniques / 102
Maier Fenster, Sarit Kraus, and Jeffrey S. Rosenschein
A Model for Cooperative Transportation
Scheduling / 109
Klaus Fischer, Jörg P. Müller, Markus Pischel, and Darius
Schier
Dilemmas in Computational Societies / 117
Natalie S. Glance and Tad Hogg
A Rigorous, Operational Formalization of Recursive Modeling / 125
Piotr J. Gmytrasiewicz and Edmund H. Durfee
Towards a Pragmatic Theory of Interactions / 133
Afsaneh Haddadi
A Game-Theoretic Account of Collaboration in Communication / 140
Kôiti Hasida, Katashi Nagao, and Takashi Miyata
Multiagent Collaboration in Directed Improvisation / 148
Barbara Hayes-Roth, Lee Brownston, and Robert van Gent
Forming Coalitions for Breaking
Deadlocks / 155
Katsutoshi Hirayama and Jun'ichi Toyoda
Deciding When to Commit to Action
During Observation-Based Coordination / 163
Marcus J. Huber and Edmund H. Durfee
A Multi-Agent System for Controlling Building Environments / 171
Bernardo A. Huberman and Scott H. Clearwater
How Agents Do It in Stream Logic Programming / 177
Matthew M. Huntbach, Nick R. Jennings, and Graem A. Ringwood
Two is Not Always Better than One: Experiences in Real-Time
Bidirectional Search / 185
Toru Ishida
Reasoning about Belief Based
on Common Knowledge of Observability of Actions / 193
Hideki Isozaki
The Emergence of Cooperation in
a Society of Autonomous Agents - The Prisoner’s Dilemma Game under
the Disclosure of Contract Histories / 201
Akira Ito and Hiroyuki Yano
Self Organizational Approach for Integration of Distributed Expert
Systems / 209
Tatsuaki Itoh, Takashi Watanabe, and Takahira Yamaguchi
Synchronizing Multiagent Plans Using Temporal Logic Specifications /
217
Froduald Kabanza
Hierarchical and Lateral Coordination
in MAS: An Analysis of Message Traffic Flow / 225
Alois Knoll and J. Meinkoehn
A Cooperation Language / 233
Michael Kolb
On Using KQML for Matchmaking / 239
Daniel Kuokka and Larry Harada
Exploiting Problem Structure for Distributed Constraint Optimization
/ 246
JyiShane Liu and Katia P. Sycara
A Formal Framework for Agency
and Autonomy / 254
Michael Luck and Mark d'Inverno
Understanding Cooperation: An Agent’s Perspective / 261
Andreas Lux and Donald Steiner
Unsupervised Multi-Agent Exploration of Structured Environments /
269
Dario Maio and Stefano Rizzi
Time and the Prisoner’s Dilemma / 276
Yishay Mor and Jeffrey S. Rosenschein
A Simple Computational Market
for Network Information Services / 283
Tracy Mullen and Michael P. Wellman
Introducing the Blind Hunger Dilemma: Agents’ Properties and
Performance / 290
Chisato Numaoka
A Metalevel Coordination Strategy for Reactive Cooperative Planning
/ 297
Ei-Ichi Osawa
Generalised Proof-Theory
for Multi-Agent Autoepistemic Reasoning / 304
Yongyuth Permpoontanalarp and John Yuejun Jiang
BDI Agents: From Theory to Practice / 312
Anand S. Rao and Michael P. Georgeff
PARAgente: Exploring the Issues
in Agent-Based User Interfaces / 320
J. Alfredo Sánchez, Flávio S. Azevedo, and John J.
Leggett
Issues in Automated Negotiation and Electronic Commerce: Extending
the Contract Net Framework / 328
Tuomas Sandholm and Victor Lesser
Unsupervised Surrogate Agents and Search Bias Change in Flexible
Distributed Scheduling / 336
Sandip Sen and Edmund H. Durfee
DIDE: A Multi-Agent Environment for Engineering Design / 344
Weiming Shen, Jean-Paul A. Barthes
Exploiting Social Reasoning
to Deal with Agency Level Inconsistency / 352
Jaime Simão Sichman and Yves Demazeau
Reusing Past Plans in Distributed Planning / 360
Toshiharu Sugawara
Recursive Agent and Agent-Group Tracking in a Real-Time Dynamic
Environment / 368
Milind Tambe
Recursive Agent Modeling Using
Limited Rationality / 376
José M. Vidal and Edmund H. Durfee
Understanding the Emergence of Conventions in Multi-Agent Systems /
384
Adam Walker and Michael Wooldridge
Distributed Scheduling of Multiagent
Communication / 390
Y. Xiang
Resource Contention in
Multiagent Systems / 398
Michael Youssefmir and Bernardo A. Huberman
Invited Speaker Talks
Blissful Ignorance: Knowing Just Enough to Coordinate Well / 406
Edmund H. Durfee
Computational Organization Research / 414
Les Gasser
Parallel, Distributed and Multi-Agent Production Systems--A
Research Foundation for Distributed Artificial Intelligence / 416
Toru Ishida
Developing Industrial Multi-Agent Systems / 423
N. R. Jennings, J. M. Corera, and I. Laresgoiti
Multiagent Planning as
a Social Process: Voting, Privacy, and Manipulation / 431
Jeffrey S. Rosenschein
Coordination of Multiple Intelligent Agents in the Infosphere / 432
Katia P. Sycara
Posters
Knowledge and Behavior in Multiagent Systems / 434
Stanislaw Ambroszkiewicz
A Multi-Agent Framework for Inter-Organizational Applications / 435
Matthew Anderton, Jim Cunningham, and Jeremy Pitt
Rational Balancing of Planning and Communication in the Dynamic
Multi-Agents World / 436
Sachiyo Arai
A Communication Protocol for Conflict Resolution / 437
Pierre Azema, Francois Vernadat, and Jean Luc Albacete
Linear Prediction in a Multi-Agent
Environment / 438
Joachim Baczewski and Mario Tokoro
A Game-Theoretic Approach to Distributed Control of Traffic Signals /
439
Ana L. C. Bazan
An Agent Approach for Case Adaptation / 440
Raghu R. Bhat
Linguistic Support for Agent Migration / 441
Rafael Heitor Bordini, Antônio Carlos da Rocha Costa, Jomi Fred
Hübner, Rosa Maria Viccari
Map Making as a Support for Cooperation / 442
Fumihiko Chimura and Mario Tokoro
Distributed Flow Shop Scheduling Problem - Global versus Local
Optimization / 443
Thouraya Daouas, Khaled Ghedira, and Jean Pierre Muller
The Consensus Scheduling Model:
Negotiation among Peers / 444
William B. Day
Actions with Typical Effects: Epistemic Characterization of Scenarios /
445
Barbara Dunin-Keplicz, Anna Radzikowska
Unifying Control in a Layered
Agent Architecture / 446
Klaus Fischer, Jörg P.Müller, Markus Pischel
Deriving Goals and Intentions / 447
Graça Gaspar and Helder Coelho
Agents as Reasoners, Observers, or Arbitrary Believers / 448
Enrico Giunchiglia, Fausto Giunchiglia, and Luciano Serafini
A Quantitative Analysis of the Contract Net Protocol / 449
Cheng Gu and Toru Ishida
Evolving Cooperation Strategies / 450
Thomas Haynes, Roger Wainwright, and Sandip Sen
Distributed Symbolic-SubSymbolic Agent Architecture for Configuring
Power Network Faults / 451
R. Khosla and T. Dillon
An Agent Algebra for the Formal
Description and Verification of Multi Agent Systems / 452
Alexander Kick
Coalition-Based Cooperation
between Intelligent Agents for a Contextual Recognition of Interdatabase
Dependencies / 453
Matthias Klusch
Self-Organization Based on Coordinated Actions of Autonomous Agents /
454
Satoshi Kurihara and Michio Okada
AgenTalk: Coordination Protocol Description for Multiagent Systems /
455
Kazuhiro Kuwabara, Toru Ishida, Nobuyasu Osato
Multiagent Coordination in Distributed Interactive Battlefield
Simulations / 456
John E. Laird, Randolph M. Jones, and Paul E. Nielsen
A Microeconomic Approach to Intelligent Resource Sharing in Multiagent
Systems / 457
Jaeho Lee and Edmund H. Durfee
A View on the Architecture and Design of Highly Autonomous and Situated
Agents / 458
J. Masthoff, and R. Van Hoe
Organic Programming for Multi-Agents / 459
Hideyuki Nakashima, Itsuki Noda, Ichiro Ohsawa
A Multi-Agent Approach to the Design of Coordination Mechanisms /
460
Carla Simone, Monica Divitini, Kjeld Schmidt, and Peter Carstersen
Some Principles in Designing
Cooperative Architectures of Autonomous Agents / 461
Lorenzo Sommaruga and Nadia Catenazzi
Learning Coordination Plans in Distributed Problem-Solving Environments
/ 462
Toshiharu Sugawara and Victor Lesser
An Agent Model in a Multiagent System Architecture for Automating
Distributed Systems / 463
Walt Truszkowski, Jidé Odubiyi, and Ed Ruberton
Beyond Cooperation-ism and Competition-ism (Exploring Social Phenomena
with a Generalized Tit-For-Tat Model) / 464
Elpida S. Tzafestas
VIENA: A Multiagent Interface to a Virtual Environment / 465
Ipke Wachsmuth, Britta Lenzmann, and Yong Cao
Automated Multiagent Preference Aggregation Using Fuzzy Quantifiers /
466
Ronald R. Yager
Asynchronous Weak-Commitment Search for Solving Large-Scale
Distributed Constraint Satisfaction Problems / 467
Makoto Yokoo
The Consensus of Uncertainties
in Distributed Expert Systems / 468
Minjie Zhang and Chengqi Zhang
Index / 469
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.