The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several standardisation consortia in order to provide new languages, tools, methods, and frameworks so as to establish the necessary standards for a wide use of MAS technology. The papers of this volume focus on the development of programming languages and tools that can effectively support MAS programming and the implementation of key notions in MAS in a unified framework to bridge the gap from analysis and design to effective implementation that way.
This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented together with 2 invited articles are organized in topical sections on multi-agent techniques and issues, multi-agent programming, and multi-agent platforms and organisation.
Author(s): Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
Series: Lecture Notes in Artificial Intelligence 3862
Edition: 1
Publisher: Springer
Year: 2006
Language: English
Pages: 268
Front matter......Page 1
Temporal Logic......Page 13
Why Temporal Logic?......Page 14
What Is Execution?......Page 15
Execution Algorithm......Page 16
Communication and Concurrency......Page 18
Towards Semantics......Page 19
Deliberation Via Goal Re-ordering......Page 20
Resource-Bounded Reasoning......Page 21
Groups and Organisations......Page 22
Building Organisations......Page 23
Patient Monitoring......Page 24
Economic Games......Page 25
Active Museum......Page 26
Concluding Remarks......Page 28
Introduction......Page 33
Levels of Abstraction......Page 35
Agent Programming Languages......Page 36
Formal Methods......Page 37
Interoperability......Page 38
Integrated Development Environments......Page 39
Metrics......Page 40
Specification of Open Systems......Page 41
Agent Architectures......Page 42
Phase 1: Current......Page 43
Phase 3: Medium-Term Future......Page 44
Realization......Page 45
Introduction......Page 48
Behavior Verification......Page 49
Control Enforcement......Page 50
The Multiagent System......Page 51
SCAAR: A Framework for the Generation of Self-controlled Autonomous Agents......Page 52
The Laws......Page 53
Hooks Between Concepts and the Implementation of the Agent Model......Page 56
Structure of Generated Agents......Page 57
The Generator......Page 58
Multiagent Laws......Page 60
Related Work......Page 61
Conclusion......Page 62
Introduction......Page 64
Social Roles Among Objects......Page 65
Properties of Social Roles......Page 66
Modelling Roles as Objects......Page 67
Institutions Defining Roles......Page 68
The Syntax of \powerJava......Page 70
How to Use \powerJava......Page 72
An Example About Protocols......Page 74
Translating Roles in Java......Page 77
Conclusion......Page 80
Introduction......Page 83
Motivating PAA Domains......Page 84
POMDPs and Incremental Pruning......Page 86
Dynamic Belief Spaces (DB)......Page 87
Expected Value Approximation (EVA)......Page 91
Experimental Results......Page 92
Related Work......Page 94
Summary......Page 95
Introduction......Page 97
HTN Planning for Multiagent Teams......Page 98
Multiagent Team Behavior with HTN Plans......Page 99
Handling Non-determinism......Page 100
Robotic Soccer Sample Implementation......Page 101
Results and Discussion......Page 103
Related Work......Page 105
References......Page 106
Introduction......Page 108
Components and Connectors in the $\mathcal{RICA}$ Theory......Page 109
An Execution Semantics for $\mathcal{RICA}$ Models......Page 111
Reusable Components in the $\mathcal{RICA}$ Theory......Page 113
Customization Mechanism......Page 114
The $\mathcal{RICA−J}$ Framework......Page 116
$\mathcal{RICA−J}$ Architecture......Page 117
Programming in $\mathcal{RICA−J}$......Page 118
Conclusion......Page 123
References......Page 124
Introduction......Page 127
AgentSpeak......Page 128
Semantics......Page 129
Issues with AgentSpeak......Page 131
An AgentSpeak Meta Interpreter......Page 133
Variations on a Theme......Page 134
Failure Handling......Page 135
Making Selection Explicit......Page 136
Implementation......Page 137
Conclusion......Page 138
A Failed Attempt......Page 141
Introduction......Page 143
Capabilities Revisited......Page 144
Limitations......Page 145
Extending the Notion of Capabilities......Page 146
Import/Export Mechanism......Page 147
Creation Semantics......Page 148
Dynamic Runtime Composition......Page 150
Discussion......Page 151
Realization of Capabilities......Page 152
Scenario Design Details......Page 153
Capability Parametrization......Page 154
Summary and Outlook......Page 157
Introduction......Page 160
System Architecture......Page 161
Procedural Control......Page 162
Teamwork Extensions......Page 164
Distributed Mode Management......Page 165
Mode Estimation......Page 166
Mode Reconfiguration......Page 167
Related Work......Page 169
Conclusions......Page 170
References......Page 171
Introduction......Page 172
Interaction Goal Hierarchy Diagram......Page 173
Action Maps......Page 174
Handling Failure......Page 176
Agent Beliefs and Interaction Goal State Representation......Page 177
Coordination Plans......Page 178
Achievement Plans......Page 180
Implementing Failure Handling Mechanisms......Page 181
Sample Execution......Page 182
RelatedWork......Page 185
References......Page 186
Introduction......Page 188
Mobile Agent Composition......Page 189
Prototype-Based Agent-Creation......Page 190
Runtime Systems for Hierarchical Mobile Agents......Page 191
Mobile Agent Model......Page 193
Mobile Agent Programming Model......Page 195
Current Status......Page 198
Point-to-Point Channels for Agent Migration......Page 200
Autonomic Electronic-Mail System......Page 201
Ant-Based Routing Mechanisms......Page 202
Component Diffusion in Sensor Networks......Page 203
Related Work......Page 204
Conclusion......Page 205
Introduction......Page 207
A First Theory of Artifacts......Page 208
A Model......Page 210
Examples of Artifacts......Page 211
Programming Artifacts for MAS......Page 213
The Tuple Centre Example......Page 214
Impact on Agent Programming and Reasoning......Page 216
An Example Using 3APL......Page 218
Conclusion and Future Works......Page 220
Introduction......Page 223
Motivation and Related Work......Page 224
Related Work......Page 225
Approach......Page 227
About 3APL......Page 228
System Architecture......Page 229
Results......Page 231
Block World Demonstration Application......Page 232
Mobile Commerce Demonstration Application......Page 233
Conclusion......Page 234
Introduction......Page 237
The Bookstore Case Study......Page 239
Studying General Requirements......Page 240
Designing the Dynamics of the Organization......Page 242
Designing Subscription Interactions......Page 244
Linking the Case Study with Organization Management and Implementation Issues......Page 246
Conclusions......Page 250
References......Page 251
Introduction......Page 253
The 3APL Language......Page 254
Goals......Page 255
An Example ROK Program......Page 256
Internal Structure of ROK......Page 257
The Reasoning......Page 258
Hierarchical Agent Architecture Using Micro-agents......Page 259
Integrating 3APL, ROK and JPRS into OPAL......Page 261
Performance Comparison of the Three Reasoning Engines......Page 262
The Master $Mind^{TM}$Games......Page 264
OPAL IDE......Page 265
Conclusion......Page 266
Back matter......Page 268
