Intelligent agents are one of the most important developments in computer science in the 1990s. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core aspects of agent technology. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems. One of the strengths of the ATAL workshop series is its emphasis on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages. This year’s workshop continued the ATAL trend of attracting a large n- ber of high-quality submissions. In more detail, 75 papers were submitted to the ATAL-99 workshop, from 19 countries. After stringent reviewing, 22 papers wereacceptedforpresentationattheworkshop.Aftertheworkshop,thesepapers were revised on the basis of comments received both from the original reviewers and from discussions at the workshop itself. This volume contains these revised papers.
Author(s): Michael Wooldridge, Alessio Lomuscio (auth.), Nicholas R. Jennings, Yves Lespérance (eds.)
Series: Lecture Notes in Computer Science 1757 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 380
Tags: Artificial Intelligence (incl. Robotics); Computer Communication Networks; Software Engineering; Logics and Meanings of Programs
Front Matter....Pages -
Reasoning about Visibility, Perception, and Knowledge....Pages 1-12
A Spectrum of Modes of Knowledge Sharing between Agents....Pages 13-26
Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization....Pages 27-41
On the Correctness of PRS Agent Programs....Pages 42-56
Incorporating Uncertainty in Agent Commitments....Pages 57-70
Rational Cognition in OSCAR....Pages 71-90
Agents for Information Broadcasting....Pages 91-105
On the Evaluation of Agent Architectures....Pages 106-116
Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS....Pages 117-131
Reactive-System Approaches to Agent Architectures....Pages 132-146
A Planning Component for RETSINA Agents....Pages 147-161
A Scalable Agent Location Mechanism....Pages 162-172
Reactivity in a Logic-Based Robot Programming Framework....Pages 173-187
Extending ConGolog to Allow Partial Ordering....Pages 188-204
Operational Semantics of Multi-Agent Organizations....Pages 205-217
Open Multi-Agent Systems: Agent Communication and Integration....Pages 218-232
Toward Team-Oriented Programming....Pages 233-247
Agent-Oriented Software Engineering....Pages 248-249
Multiagent System Engineering: The Coordination Viewpoint....Pages 250-259
Using Multi-context Systems to Engineer Executable Agents....Pages 260-276
Structuring BDI Agents in Functional Clusters....Pages 277-289
Towards a Distributed, Environment-Centered Agent Framework....Pages 290-304
Variable Sociability in Agent-Based Decision Making....Pages 305-318
Cooperation and Group Utility....Pages 319-333
Relating Quantified Motivations for Organizationally Situated Agents....Pages 334-348
The Role and the Impact of Preferences on Multiagent Interaction....Pages 349-363
Deliberative Normative Agents: Principles and Architecture....Pages 364-378
Back Matter....Pages -
