Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings

Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, Michael Wooldridge (auth.), Jörg P. Müller, Anand S. Rao, Munindar P. Singh (eds.)3540657134, 9783540657132

The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.

---

Table of contents :
The Belief-Desire-Intention Model of Agency….Pages 1-10
BDI Models and Systems: Reducing the Gap….Pages 11-27
Information-Passing and Belief Revisionin Multi-agent Systems….Pages 29-45
On the Relationship between BDI Logics and Standard Logics of Concurrency….Pages 47-61
Intention Reconsideration Reconsidered….Pages 63-79
Making SharedPlans More Concise and Easier to Reason About….Pages 81-98
Autonomous Norm Acceptance….Pages 99-112
Moral Sentiments in Multi-agent Systems….Pages 113-131
Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents….Pages 133-148
The Bases of Effective Coordination in Decentralized Multi-agent Systems….Pages 149-161
A Model Checking Algorithm for Multi-agent Systems….Pages 163-176
Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic….Pages 177-193
Emergent Mental Attitudes in Layered Agents….Pages 195-209
The Right Agent (Architecture) to Do the Right Thing….Pages 211-225
Representing Abstract Agent Architectures….Pages 227-241
HEIR – A Non-hierarchical Hybrid Architecture for Intelligent Robots….Pages 243-259
A-Teams: An Agent Architecture for Optimization and Decision-Support….Pages 261-276
Goal-Satisfaction in Large-Scale Agent Systems: A Transportation Example….Pages 277-292
Task Decomposition and Dynamic Role Assignment for Real – Time Strategic Teamwork….Pages 293-308
Agent Languages and Their Relationship to Other Programming Paradigms….Pages 309-316
A Survey of Agent-Oriented Methodologies….Pages 317-330
The Agentis Agent InteractionModel….Pages 331-344
Content-Based Routing as the Basis for Intra-Agent Communication….Pages 345-362
Agent Communication Language: Towards a Semantics based on Success, Satisfaction, and Recursion….Pages 363-379
Control Structures of Rule-Based Agent Languages….Pages 381-396
A Reactive Approach for Solving Constraint Satisfaction Problems….Pages 397-411
Increasing Resource Utilization and Task Performance by Agent Cloning….Pages 413-426
An Index to Volumes 1–5 of the Intelligent Agents Series….Pages 427-441