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

This book constitutes the refereed proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, held in Leipzig, Germany, September 25-27, 2007. The 29 revised full papers and 17 revised short papers presented together with an invited paper were carefully reviewed and selected from 84 submissions. The papers cover a wide range of areas such as: scalability and reconfigurability of multi agent systems; deployment scenarios exploiting synergies of multi agent systems and other related technologies like grid, web services and semantic web; applications of multi agent systems in design and manufacturing, transport and logistics, space applications, tourism industry, e-commerce and many other application areas. 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 The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientationtowards Central and EasternEurope, CEEMAS has become an internationally recognized event with participants from all over the world. After the successful CEEMAS conferences in St. Petersburg (1999), Cracow (2001), Prague (2003) and Budapest (2005), the CEEMAS 2007 c- ference took place in Leipzig. The Program Committee of the conference series consists of established researchers from the region and renowned international colleagues, showing the prominent rank of CEEMAS among the leading events in multi-agent systems. In the very competitive?eld of agent-oriented conferences and workshops, (such as AAMAS, EUMAS, CIA, MATES) CEEMAS is special in trying to bridge the gap between applied research achievements and theoretical research activities. The ambition of CEEMAS is to provide a forum for presenting th- retical research with an evident application potential, implemented application prototypes and their properties, as well as industrial case studies of successful (or unsuccessful) agent technology deployments. This is why the CEEMAS p- ceedings provide a collection of research and application papers. The technical research paper section of the proceedings (see pages 1–290) contains pure - search papers as well as research results in application settings. The goal is to demonstrate the real-life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry in this?eld.