This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. The 11 revised full papers presented together with 2 invited articles address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS.
Author(s): Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
Series: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence
Publisher: Springer
Year: 2008
Language: English
Pages: 279
front-matter......Page 1
Introduction......Page 11
Model-Driven Engineering......Page 13
Service-Oriented Multiagent Architectures......Page 14
Cross-Enterprise Business Processes......Page 15
Architecture Evaluation and Decision Methods......Page 16
Architecture Paradigms for CBPs......Page 18
A Method for Evaluation of ICT Architecture Applicability......Page 20
Multi-criteria Evaluation and Decision Model......Page 21
Measuring Qualitative Factors......Page 23
Measuring Quantitative Factors......Page 28
Virtual Enterprise Scenario......Page 29
SME Scenario......Page 33
Discussion and Outlook......Page 34
Introduction......Page 37
GORITE Example......Page 39
A SpaceCraft Team......Page 41
Defining the Martians......Page 42
Organisational Modelling Notes......Page 44
GORITE Goal Processing......Page 45
Coordination Goals......Page 47
Dynamic Data Context......Page 49
Belief Structures and Context Predicates......Page 50
Conclusion......Page 51
Introduction......Page 52
Enterprise Management......Page 53
Agents and Management......Page 55
Scenario......Page 58
Accounting Architecture......Page 59
Accounting in $JIAC$......Page 61
Conclusion......Page 64
Introduction......Page 67
Norms and Landmarks......Page 68
From Norms to Landmarks......Page 70
Strengthening the Pattern......Page 77
Landmarks to Protocols......Page 78
Example......Page 79
Conclusion......Page 81
Introduction......Page 83
Related Research......Page 84
Bayesian Network Ontology......Page 85
Probabilistic Network Concepts......Page 86
Discrete Bayesian Network Concepts......Page 87
Situation Concepts......Page 88
Bayesian Agent Internal Architecture......Page 89
Architecture Components......Page 90
Interoperability Example......Page 92
Case Study......Page 93
Conclusion and Future Work......Page 95
Introduction......Page 99
Artifacts and Workspaces......Page 101
Agent Bodies......Page 103
The Agent Programming Interface......Page 104
The Artifact Programming Interface......Page 106
CARTAGO Overview......Page 108
A Case Study: $Jason$ Using CARTAGO......Page 111
Some Remarks......Page 114
Conclusions and Future Works......Page 115
Introduction......Page 117
Beliefs and Goals......Page 119
Basic Actions......Page 121
Reasoning Rules......Page 124
External Environment......Page 127
Events and Exception......Page 128
2APL: Semantics......Page 129
Conclusion and Future Works......Page 132
Introduction......Page 134
General Similarities......Page 135
Intentions: Events, Goals, and Deed Stacks......Page 138
Operational Semantics......Page 139
Example......Page 141
Plan Revision......Page 143
Plan Failure......Page 144
Concluding Remarks......Page 146
Introduction......Page 150
Abstract Syntax......Page 151
Semantics......Page 152
Concrete Syntax and Interpreter......Page 154
Core Language Extensions......Page 156
Macro Extensions......Page 159
Discussion and Related Work......Page 161
Conclusion and Future Work......Page 163
Introduction......Page 166
The GOAL Language......Page 168
Modules as Policy-Based Intentions......Page 171
Conclusion......Page 179
Introduction......Page 182
Goal Decomposition Trees......Page 183
Notations......Page 185
Proof Schemas......Page 187
Application......Page 188
The Scenario......Page 189
GDTs for the RoM Scenario......Page 190
Examples of Proofs......Page 191
Comparison with Bordini et al.'s Work......Page 195
Related Works......Page 196
Conclusion......Page 197
Introduction......Page 200
Representing Causality through MAS Interactions......Page 201
Causality Graphs as a Means to Track Multi-Agent Interactions......Page 203
Definition of the Causality Graph for Multi-Agent Interactions......Page 205
Algorithm to Build the Graph......Page 207
An Example......Page 210
Related Works......Page 212
Conclusions......Page 213
Multiagent Systems......Page 215
Rescue Scenario......Page 216
State Hierarchies and Transitions......Page 217
An Example of Coordination in Robotic Soccer......Page 220
Timed Synchronization......Page 223
Operation of Hybrid State Machines......Page 225
Examples with Standard Model Checkers......Page 227
Effective Transformation of Multiagent Specifications......Page 228
Conclusions......Page 229
Introduction......Page 231
Technical Description of the Scenario......Page 233
Team, Match, and Simulation......Page 234
Environment Objects......Page 235
General Agent-2-Server Communication Principles......Page 239
Submission......Page 241
Received Submissions......Page 242
Technical Infrastructure......Page 244
Tournament......Page 245
Contest Results......Page 248
Conclusion......Page 249
System Analysis and Design......Page 251
Software Architecture......Page 253
Discussion......Page 254
Conclusion......Page 255
System Analysis and Design......Page 256
2APL......Page 258
An implementation in 2APL......Page 259
Conclusion......Page 260
System Analysis and Design......Page 261
Software Architecture......Page 262
Tools......Page 263
Agent Team Strategy......Page 264
Conclusion......Page 265
System Analysis and Design......Page 266
Single Agent Behaviour......Page 267
Software Architecture......Page 268
Conclusion......Page 269
Introduction......Page 271
System Analysis and Design......Page 272
Agent Team Strategy......Page 274
Conclusion......Page 275
back-matter......Page 276
