This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.
Author(s): Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni
Series: Lecture Notes in Artificial Intelligence 5118
Edition: 1
Publisher: Springer
Year: 2008
Language: English
Pages: 287
Front matter......Page 1
Introduction......Page 9
Interaction Specification......Page 12
Interaction Coordination......Page 15
Dynamic Ontology Matching......Page 16
Interaction Model Sharing and Discovery......Page 17
Visualisation for User Interaction and Interaction Monitoring......Page 19
A Minimal, Most General Interaction Model......Page 20
The OpenKnowledge Kernel......Page 21
The Data-Centric and Process-Centric Semantic Web......Page 22
Web Service Architecture......Page 23
Conclusions......Page 24
Introduction......Page 27
Logic......Page 29
Densities......Page 31
Integrating Logic and Probability......Page 32
Beliefs......Page 36
Illustration......Page 40
Conclusion......Page 43
Introduction......Page 45
Argumentation Semantics That Accommodate Defeasible Reasoning about Preferences......Page 47
Argumentation Based Reasoning about Goals......Page 52
Argumentation Based Reasoning over Actions......Page 57
Discussion and Future Work......Page 59
Introduction......Page 62
Syntax......Page 64
Semantics......Page 65
Incompatibility of Goals......Page 69
Precedence of Goals......Page 71
A Brief Comparison of the Proposed Mechanisms......Page 75
Related Work......Page 76
Conclusion and Discussion......Page 77
Introduction......Page 79
Tidhar, Cavedon and Rao: Team-Oriented Programming......Page 81
Fisher, Ghidini and Hirsch: Groups as Agents......Page 82
Dignum, Esteva, Sierra and Vázquez-Salceda: Institutions......Page 83
Extending Agents......Page 84
Communication......Page 86
Refining and Restricting Communications......Page 88
Common Multi-agent Structures......Page 89
Sharing Information......Page 90
Joint Intentions......Page 91
Roles......Page 92
Future Work......Page 94
Introduction......Page 97
Adjusting the Algorithm for Asynchronous Communication......Page 99
Adjusting the Algorithm for Changing Initiators......Page 100
Two-Index Mechanism to the Rescue......Page 102
Who's the `Boss'......Page 103
CPS Specific Algorithm......Page 104
CPS Algorithm......Page 105
Proof of the Increase of Group Knowledge......Page 108
Conclusion and Future Work......Page 111
Introduction......Page 114
Embedded Systems......Page 115
Conventional Development Trends......Page 116
The MaSE Methodology......Page 117
The Selection of MaSE......Page 118
Limitations of MaSE for the Embedded Systems Domain......Page 119
Requirements Engineering Phase......Page 120
Adding Timeliness and Concurrency Support......Page 122
Process-Related Extensions......Page 124
Evaluation of the Extended MaSE Methodology......Page 125
Conclusion and Future Work......Page 128
References......Page 129
Introduction......Page 131
Agent-Based Simulation......Page 132
Metrics in Agent-Based Software Engineering......Page 133
Example Application......Page 134
Suggestions for Metrics......Page 135
System-Level and Environmental Metrics......Page 136
Agent Metrics......Page 138
Interaction-Related Metrics......Page 140
Feedback Loops and Other Missing Aspects......Page 141
Test and Assessment......Page 142
Conclusion......Page 144
DCaseLP: An Integrated AOSE Approach and Environment......Page 147
DCaseLP Architecture......Page 152
The UMLInJADE Package......Page 155
Conclusions and Future Work......Page 157
Introduction......Page 164
Conventional Fault Classification......Page 166
MAS Faults Classification......Page 167
A New Value for the First Attribute "Phase of Creation or Occurrence"......Page 168
Agent Centered Analysis......Page 169
System Centered Analysis......Page 170
Faults Comparison......Page 172
Analysis of the Difference between DSFaults and AAFaults......Page 174
Specifying Fault Tolerance for Agents and Platforms......Page 175
Specifying Generic Handlers......Page 176
Conclusion......Page 178
Introduction......Page 181
Architecture......Page 182
Traditional Model 2 Architecture......Page 183
Extending Model 2 for Agents......Page 184
Framework Realization......Page 185
Delegate Servlet......Page 186
Coordinator Agent......Page 187
Application Development......Page 188
Example Application......Page 190
Application Configuration......Page 191
Preprocessing of Web Requests......Page 192
Request Execution in the Agent Layer......Page 194
Result Page Generation......Page 195
Related Work......Page 196
Conclusion and Outlook......Page 197
Introduction......Page 199
FIPA Communication Model......Page 201
Interaction Space Components......Page 202
Content Language......Page 203
Ontology......Page 204
CAPNET Interaction Space......Page 205
Message Parsers......Page 206
Ontologies......Page 207
Interaction Models......Page 208
Interaction Protocols......Page 209
Instantiation of Interaction Space Components......Page 210
Example of Message Validation Processing......Page 212
Related Work and Discussion......Page 214
References......Page 215
Introduction......Page 217
Definition and Implementation of a Heterogeneous Agent-BasedApplication......Page 218
Programming Interoperable Mobile Agents......Page 220
Programming Interoperable Wrapper Agents......Page 222
A Case Study......Page 223
Programming the RoamingInsuranceAgent......Page 225
Programming the PricingWrapperAgents......Page 226
Related Work......Page 228
Conclusions......Page 230
References......Page 231
Introduction......Page 233
Processes and Petri Nets.......Page 234
Workflow Management Systems.......Page 235
Related Work......Page 236
What Is an Infrastructure for Agent Networks?......Page 237
Design Approach......Page 238
Distribution of Agents and Processes......Page 239
An Agent-Based Workflow Management System......Page 240
The Workflow Agent......Page 241
The Agent-Based Workflow Management System......Page 242
The Workflow Agent......Page 243
The Agent-Based Settler Game......Page 244
The Change Request Management.......Page 246
Conclusion......Page 247
Introduction......Page 251
The NOWHERE Platform......Page 252
NOWHERE's Agent Communication Language......Page 253
Language Primitives......Page 255
Transparent Timeouts......Page 257
Case Study: The FIPA Contract Net Protocol......Page 260
The Initiator Agent - Jade......Page 262
The Initiator Agent - NOWHERE......Page 263
Discussion......Page 264
Conclusions......Page 267
Introduction......Page 269
Agents and Artifacts......Page 270
Agent and Artifact Abstractions: Core Properties......Page 271
Agent-Artifact Interaction: Use and Observation......Page 273
The simpA Framework and Technology......Page 274
Defining Agents......Page 275
Defining Artifacts......Page 277
Agent-Artifact Interaction......Page 280
Discussion......Page 281
Related Works......Page 282
Conclusion......Page 284
Back matter......Page 287
