Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

Front matter......Page 1
Introduction......Page 11
Theory and Related Work......Page 12
The AgentCoRe Framework......Page 13
Declarative Ingredients......Page 14
AgentCoRe Modules......Page 15
A MAS Implementation Using AgentCoRe......Page 17
Organizational Design......Page 18
Agent Design......Page 19
Future Work......Page 22
Introduction......Page 25
${mathcal {I}}$: A Rule Language for Electronic Institutions......Page 26
Semantics......Page 27
Operational Semantics......Page 28
Example of Concurrency: Soup Bowl Lifting......Page 31
Electronic Institutions......Page 32
Applied Example: Bank......Page 33
Related Work......Page 34
Conclusions and Future Work......Page 35
Introduction......Page 37
Elements of Institutional Reality......Page 38
Normative Framework......Page 39
Guidelines......Page 40
Contract Header......Page 41
Adding Contract-Specific Norms......Page 42
Contract Handling in the Electronic Institution......Page 44
From XML to a Computational Contract Representation......Page 45
Example......Page 46
Norm Monitoring and Inheritance......Page 47
Conclusions......Page 48
References......Page 49
Introduction......Page 51
The Institutional Framework......Page 52
Landmarks and Scenes......Page 54
The Dutch Auction Protocol......Page 55
Discussion......Page 63
Introduction......Page 68
Related Work......Page 69
Multi-agent Simulation Framework......Page 70
Social Library......Page 71
Application Example......Page 74
Results......Page 76
Conclusions and Future Work......Page 79
Introduction......Page 81
The Information-Based Model of Trust......Page 82
The ART Test-Bed......Page 84
An Information-Based Test-Bed Agent......Page 85
Set-Up of the Experiments......Page 87
Results......Page 88
Discussion......Page 89
Conclusion and Further Research......Page 91
Introduction......Page 93
Autonomy and Coordination......Page 94
Experiment......Page 95
Adjustable Autonomy......Page 97
Controlling Autonomy......Page 98
Related Work on Adjustable Autonomy......Page 99
Agent Reasoning Model......Page 100
Decision Making......Page 101
Event Processing......Page 102
Results......Page 103
Discussion......Page 104
Conclusion......Page 105
Introduction......Page 107
Dynamic Electronic Institutions: The Model......Page 109
The Formation Phase......Page 110
The Foundation Phase......Page 111
Properties of the Formalised Model......Page 115
Related Work......Page 116
References......Page 117
Introduction......Page 120
Inconsistency Is the Norm in Large-Scale Organizational Computing......Page 121
Direct Logic......Page 124
Conclusion......Page 128
References......Page 130
Introduction......Page 135
Autonomic Electronic Institutions......Page 136
Learning Model......Page 137
Applying CBR......Page 138
Case Study: Traffic Control......Page 140
Empirical Evaluation......Page 141
Similarity Function......Page 143
Retrieving......Page 144
Discussion and Future Work......Page 146
Introduction......Page 149
The Population-Organization Model......Page 150
The Time-Invariant Population-Organization Model......Page 151
The Time-Variant Population-Organization Model......Page 153
Systems of Exchange Values......Page 156
An Elementary Exchange Value-Based Dynamics of Social Links......Page 157
The Rules of the Elementary Exchange Value-Based Dynamics of Links......Page 158
Related Works......Page 160
Conclusion......Page 161
Introduction......Page 165
Related Work......Page 166
The ORCAS Framework......Page 168
Dynamic Institutions for Hierarchical Teamwork......Page 170
Communication......Page 174
Operational Description......Page 175
Conclusions......Page 178
Introduction......Page 181
Background......Page 182
An Organisational Infrastructures Based on Agents and Artifacts......Page 184
The Notion of Artifacts in MAS......Page 185
ORA4MAS Infrastructure......Page 187
Shaping { f ORA4MAS} Artifacts Upon {$\\mathcal{M}$\\textsc{oise}$^{+}$}......Page 188
Conclusion and Perspectives......Page 194
Introduction......Page 197
Organization Knowledge Sharing......Page 198
Organization Model Elements......Page 199
Exchange Processes......Page 204
Implementation......Page 205
Organization Example......Page 207
Results......Page 209
Further Work......Page 211
Introduction......Page 213
Types of Norms......Page 214
Related Work on Emergence of Norms......Page 215
Social Network Topologies......Page 216
Role Model Agent Mechanism......Page 218
The Norm Emergence Mechanism......Page 219
Norm Emergence on Top of Random and Scale-Free Networks......Page 221
Power Law Behaviour of the Leadership Network......Page 223
Discussion......Page 224
Conclusions......Page 225
Introduction......Page 228
Governance Mechanism Assumptions......Page 230
The Judgment Sub-system......Page 231
The Judgment Process......Page 232
Evaluating the Testimonies and Depositions......Page 233
A Case Study: Cargo Consolidation and Transportation......Page 236
Norm I......Page 237
Norm II......Page 238
Conclusion......Page 239
References......Page 240
Introduction......Page 242
Applied Example......Page 243
Specifying Non-dialogical Actions......Page 244
Extending the IF Condition......Page 246
Specifying Messages......Page 247
Some Guidelines......Page 248
Norms Regulating Actions Executed Before the Occurrence of a Fact......Page 249
Norms Regulating Actions Executed After the Occurrence of a Fact......Page 250
Norms Regulating Actions Executed Between the Occurrence of Two Facts......Page 251
References......Page 253
Introduction......Page 255
Digital Cities......Page 256
Organizations of Digital Cities......Page 257
Discussion......Page 258
Different Kinds of Norms......Page 259
Violations of Norms......Page 261
Conviviality in Social Sciences......Page 262
Conviviality in Multi-Agent Systems......Page 264
Norms for Conviviality......Page 266
Conclusion......Page 267
Introduction......Page 271
Multiprocess Temporal Frames and Normative Systems......Page 273
Multimodal Logics of Normative Systems......Page 274
Elementary Normative Systems......Page 277
Some Examples......Page 280
Related and Future Work......Page 281
Related Papers in This Volume......Page 282
Introduction......Page 285
Scenario......Page 286
Normative Structure......Page 287
Proposed Distributed Architecture......Page 288
Social Layer Protocols......Page 290
Related Work......Page 294
Conclusions and Future Work......Page 295
Introduction......Page 297
Coherence Graph......Page 299
Calculating Coherence......Page 302
Graph Composition......Page 303
A Coherence Maximizing Agent......Page 304
An Example......Page 305
Related Work......Page 308
Discussion and Future Work......Page 309
Introduction......Page 311
Related Work......Page 313
The Scenario......Page 314
Simulations......Page 317
Future Work......Page 323
Introduction......Page 326
Ordered Many-Sorted First-Order Temporal Logic......Page 327
Modelling, Specifying, and Verifying Institutions......Page 328
Norms......Page 331
Normed Temporal Operators......Page 333
Sanction Mechanisms......Page 335
Discussion and Conclusions......Page 337
Back matter......Page 340