Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

Front matter......Page 1
Introduction......Page 12
Related Work......Page 13
Multi-agent Range Image Segmentation......Page 14
Agent Behavior......Page 15
Agent Coordination by Artificial Potential Field......Page 16
Edge Detection and Noise Removal......Page 17
Experimentation and Analysis......Page 18
Conclusion......Page 20
3-Valued $KCTL* P$......Page 22
Abstractions of Multi-agent Kripke Structures......Page 25
Preservation Results......Page 26
Weak and Very Weak Preservation Results......Page 27
Error Preservation Results......Page 30
Conclusions......Page 31
Introduction......Page 33
System Architecture and Observation......Page 34
Attack Detection......Page 36
Reaction to Attack......Page 37
Experimental Results......Page 39
Related Work......Page 40
Conclusions and Future Work......Page 41
Introduction......Page 43
The $ProCLAIM$ Model......Page 44
The Transplant Scenario......Page 45
Arguing over Action Proposals......Page 46
Conclusions......Page 51
Introduction......Page 53
Violation Games of Attackers of Normative Systems......Page 54
Attacker Model for Normative Multiagent Systems......Page 56
Obligations in the Normative Multi-agent System......Page 57
Formalization of Violation Games of Attacker......Page 60
Summary......Page 62
Introduction......Page 63
Multi-Party Communications......Page 64
Environment as Active Support of Interaction......Page 66
Matching Process......Page 68
Experiments and Empirical Results......Page 70
Conclusion......Page 71
Introduction......Page 73
Eco-Grammar Systems and Multi-Agent Protocol......Page 74
Extended Reproductive Eco-Grammar Systems......Page 75
Example: A Selling Process......Page 81
Final Remarks......Page 82
Introduction......Page 84
Traffic Acquisition and Preprocessing Layer......Page 85
Cooperative Threat Detection Layer......Page 87
Operator and Analyst Interface Layer......Page 88
System Evaluation and Performance......Page 90
Conclusions and Future Work......Page 91
The Formal Model......Page 94
The Monitoring System......Page 96
Related and Future Work......Page 101
Introduction......Page 104
Distributed Architectures for Information Sharing......Page 105
Multi-agent Systems......Page 106
Competency Terminology......Page 107
The e-Cat System......Page 109
Usage Scenario......Page 111
Conclusion......Page 112
Introduction......Page 114
Graphical Games......Page 116
General Graphical Games......Page 117
Verification of Equilibria for Normal Form Games......Page 119
Complexity Issues for General Games......Page 121
Conclusions......Page 122
Introduction......Page 124
Components Based Approach......Page 126
The Components Order......Page 127
The Development Scheme Roles......Page 128
The Components Library......Page 129
The Agent Support Center......Page 130
Implementation......Page 131
Conclusions......Page 132
Introduction......Page 134
Our Reference MAS Metamodel......Page 135
A Reference Pattern Scheme......Page 136
Evaporation Pattern......Page 137
Diffusion Pattern......Page 139
Conclusion......Page 141
Introduction......Page 144
Types of Fault Tolerance Techniques Considered......Page 145
An Abstract Architecture for Adaptive Replication......Page 146
SEAGENT Architecture......Page 147
A Feedback Controller Based Adaptive Replication Infrastructure......Page 148
The Observation Mechanism......Page 149
The Feedback Control Mechanism......Page 150
Case Study......Page 151
References......Page 153
Introduction......Page 154
Iterative RFP Coalition Formation Model......Page 156
Experiments......Page 157
Experimental Set-Up......Page 158
Experiments Results......Page 159
Conclusions and Future Work......Page 162
Introduction......Page 164
The Component-Nets Formalism (C-Nets)......Page 165
Specification of Role-Based Interactions as Components......Page 167
Flexible Behavioural Compatibility for Roles......Page 168
Context-Based Behavioural Substitutability for Roles......Page 170
Conclusion and Related Work......Page 172
References......Page 173
Introduction......Page 174
The Governing Environment......Page 175
Micro-Simulation of the Swiss Highway Network......Page 176
Modeling......Page 177
Behavior Models......Page 179
Experiments......Page 181
Conclusion......Page 182
Introduction......Page 184
Software Technology for Agent Systems......Page 186
Knowledge Driven Architecture for Home Care......Page 187
Declarative Knowledge......Page 188
Agent Behavioural Logic Distribution......Page 189
Interaction Between Agents and End-Users......Page 190
Knowledge Driven Architecture Realization in K4Care......Page 191
References......Page 192
MASL: A Logic for the Specification of Multiagent Real-Time Systems......Page 194
$MASL$ Foundation......Page 196
Environment Behavior Specification......Page 198
Multiagent System Specification......Page 199
Conclusions......Page 201
Introduction......Page 204
Characteristics of Agents and Allocation to Roles......Page 205
Modeling the Motivation of an Agent......Page 207
A Simulation Case Study......Page 209
Conclusion......Page 212
References......Page 213
Introduction......Page 215
Motivations......Page 216
AgentSpeak-MPL......Page 217
A Language of Motivation......Page 218
Experiments and Results......Page 220
Related Work and Conclusions......Page 223
Introduction......Page 226
Graph Structures in Software Systems......Page 228
Implementation Examination......Page 230
Discussion......Page 232
Conclusions......Page 233
Introduction......Page 236
The States of Mind......Page 237
The Human Interaction Model......Page 238
The Utterance Level......Page 239
The Discourse Level......Page 240
A Semantics of Performatives......Page 241
The Implementation......Page 242
Simulation and Validation......Page 243
Related Work......Page 244
Conclusion......Page 245
Introduction......Page 247
Agent Organization Model......Page 248
Organizational Model in SPADE......Page 249
Modeling Complex Agent Organizations......Page 250
Organizational Unit Services in SPADE......Page 252
Conclusions......Page 255
Introduction......Page 257
Negotiation Framework......Page 258
Analysis of Validity of Individual Strategies......Page 260
Analysis of Validity of Combination of Strategies......Page 261
Test Results......Page 262
Conclusions......Page 265
Introduction......Page 267
Meta-models......Page 268
Platform Independent Level......Page 269
Transformation Rules......Page 272
Timetable PSM......Page 273
Generation Rules......Page 274
Conclusion......Page 275
Introduction......Page 277
Semantics of $PBL_r$......Page 279
Inference System of $PBL_r$......Page 280
Soundness of $PBL_r$......Page 281
Finite Model Property and Decidability of $PBL_r$......Page 282
Conclusions......Page 286
From Quantitative to Symbolic Modeling of MAS......Page 288
Approximate Versus Crisp......Page 289
A New Perspective......Page 291
Multimodal Models of BGI Systems......Page 292
Preliminaries......Page 293
Kripke Structures for Similarity-Based Reasoning*-0.5em......Page 294
Approximate BGI Systems......Page 295
Conclusions......Page 297
Introduction......Page 299
Background and Model......Page 300
Modelling the Vickrey Auction......Page 302
Checking Auction Properties......Page 303
Quantity-Restriction in Multi-unit Auctions......Page 304
The VCG Mechanism Applied to QRMUA......Page 305
Analysis of the Resulting Auction......Page 306
Conclusions......Page 307
Environment and Knowledge in Join Calculus......Page 309
Knowledge......Page 310
Summary......Page 311
Introduction......Page 312
Agent Community for Intelligent Distance Learning System......Page 313
References......Page 314
Architecture......Page 315
Framework......Page 316
Conclusion......Page 317
Formal Model of Organizations......Page 318
Multi-Agent System Deployment......Page 319
Outlook......Page 320
Preliminaries......Page 321
Contributions......Page 322
Conclusions and Future Work......Page 323
Cooperative CBR Multi-agent System for ISM......Page 324
References......Page 326
Childhood Diseases......Page 327
References......Page 329
Bayesian Network for IPA......Page 328
Introduction......Page 330
Multi-protocol Based Architecture Proposal......Page 331
Conclusions and Future Work......Page 332
Introduction......Page 333
Ontology-Driven Clinical Guideline Execution......Page 334
Conclusions......Page 335
Real-Time Multi-Agent System Development......Page 336
A Toolkit to Develop jART Agents......Page 337
Conclusions......Page 338
Concepts of Application Development with Mulan......Page 339
Techniques, Models and Development Tools......Page 340
Conclusion......Page 341
Multi-agent Architecture for ITS Interoperability......Page 342
References......Page 344
Introduction......Page 345
Multi-agent Sokoban......Page 346
Conclusion......Page 347
Ontological Service Architecture......Page 348
References......Page 350
Conceptual and Technical Background......Page 351
Conclusion......Page 352
Introduction......Page 354
Experimental Results......Page 355
Conclusions and Future Works......Page 356
Introduction......Page 357
Simple Bartering and Effects of Information Propagation on Trade Diffusion......Page 358
Discussion......Page 359
Back matter......Page 360