Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms, and Institutions for

Front matter......Page 1
Introduction......Page 11
Sociology of the Organized Action......Page 12
The Proposed Meta-model......Page 13
Stakes and Pay-Offs......Page 14
The Constraints on a Relation......Page 15
Structural and Functional Dimensions of the Actors’ Behavior......Page 17
Actor’s Satisfaction and Strategic Behavior......Page 18
Model of the Concrete Action System......Page 20
Behavior of Actors......Page 22
Conclusion......Page 24
References......Page 25
Introduction......Page 26
Two Perspectives......Page 27
Organization Modeling Concepts......Page 28
Organization Structure......Page 29
Organizational Dynamics......Page 31
Formal Specification of the Organization Model......Page 32
Verification and Validation......Page 33
Case study......Page 34
Discussion......Page 39
References......Page 41
Introduction......Page 43
Sustained Team Effectiveness......Page 45
Sustained Team Management......Page 47
Towards a Model......Page 48
Management Scenarios......Page 49
Measurement of Sustained Effectiveness......Page 51
Future Research......Page 53
References......Page 54
Introduction......Page 56
Agents......Page 57
Roles......Page 58
Actions......Page 59
Obligations......Page 60
Motivation for Delegation......Page 62
Rules of Influence......Page 63
Implementation......Page 65
Verification and Analysis of Models......Page 66
Analysis......Page 67
Related Work......Page 68
Discussion and Future Work......Page 69
References......Page 70
Introduction......Page 72
The $Moise^+$ Organisational Model......Page 74
$S-Moise^+$ Organisational Middleware......Page 76
Organisational Entity Dynamics......Page 77
Agents’ OrgBox......Page 81
Contributions and Future Work......Page 82
References......Page 83
Introduction......Page 87
Institutional Intuitions......Page 88
Example 1: Compranet, a Public Procurement Institution......Page 91
Example 2: MASFIT, On-line Fish Market Auctions......Page 92
Example 3: Framework for EI-Enabled Information Systems for Organizations......Page 93
Grounding......Page 95
Degree of Agentification......Page 98
Autonomy......Page 100
ClosingRemarks......Page 102
References......Page 103
Introduction......Page 105
Why Answer Set Programming?......Page 106
Answer Set Semantics......Page 107
Specification of Agent-Based Social Institutions......Page 109
Expressing Institution Specifications in ASP......Page 110
Specification Queries......Page 112
An Example......Page 113
Discussion and Related Work......Page 116
References......Page 118
Introduction......Page 120
Case Description: Renewables Obligation......Page 122
Mental Attitudes......Page 123
Norms and Obligations......Page 124
Recursive Modeling......Page 126
Value Objects......Page 127
CaseAnalysis......Page 128
Conclusions......Page 130
References......Page 131
Norms and Agents......Page 133
Organisations and Virtual Institutions......Page 134
Computational Institutions......Page 135
Coordination Artifacts for Computational Institutions......Page 138
Example: Public Competitive Tender......Page 139
Related Work and Conclusion......Page 144
References......Page 145
Introduction......Page 148
Artificial Institutions......Page 149
Authorizations and Conventions......Page 150
The Normative Component......Page 151
Events......Page 152
Norms......Page 153
Connections Among Different Artificial Institutions......Page 155
The Dutch Auction Institution......Page 156
The Auction House Institution......Page 158
References......Page 159
Introduction......Page 161
Landmarks......Page 163
Computational Tree Logic......Page 165
A CTL Reduction of Deontic Logic......Page 166
From Landmark Patterns to Protocols......Page 167
Landmarks in Practice......Page 169
Conclusions......Page 171
References......Page 172
Introduction......Page 174
Conditional Obligations......Page 175
Deontic Design Language......Page 176
Contract Violations......Page 178
Preferences over Outcomes......Page 179
Quality of Outcomes......Page 180
Deontic Design Language......Page 181
Contract Violations......Page 182
The Normative Stance......Page 183
Concluding Remarks......Page 184
References......Page 185
Introduction......Page 187
Norm-Governed Agents......Page 188
The Abstract Model......Page 189
Investigating Norm Consistency......Page 192
Informed Deliberation......Page 195
Example......Page 197
Improving the Level of Consistency......Page 198
Related Work......Page 199
References......Page 200
Introduction......Page 202
Artificial Social Systems and Social Laws......Page 205
Organized Games......Page 207
Illustration of Organized Games......Page 208
Organizational Design Problem......Page 209
Evolution of Organizations......Page 211
Concluding Remarks......Page 212
References......Page 213
Introduction......Page 215
An Organizational Framework......Page 216
Organizational Change......Page 218
Towards a Useful Simulation for Reorganization......Page 220
The VILLA Simulation Environment......Page 223
Using Simulation in the Identification of Reorganization Conditions......Page 226
Discussion......Page 228
Using VILLA to Determine Congruence......Page 229
Conclusions......Page 230
References......Page 231
Introduction......Page 233
Related Work......Page 236
Formalising the Protocol......Page 237
Formalising the Norms......Page 239
Verifying Protocols......Page 241
Practice......Page 242
Evaluation......Page 244
References......Page 245
Introduction......Page 248
Syntax of hyMITL$^{±}$......Page 249
Semantics of hyMITL$^{±}$......Page 250
The Rule Language......Page 252
Example......Page 253
The Compliance-Monitoring Process......Page 254
Related Work......Page 257
References......Page 259
Back matter......Page 261