From theory to practice in multi-agent systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26-29, 2001 ; revised papers

This Volume Contains The Papers Selected For Presentation At Ceemas 2001. The Wo- Shop Was The Fourth In A Series Of International Conferences Devoted To Autonomous Agents And Multi-agent Systems Organized In Central-eastern Europe. Its Predecessors Wereceemas’99anddaimas’97,whichtookplaceinst. Petersburg,russia,aswell As Dimas’95, Which Took Place In Cracow, Poland. Organizers Of All These Events Made Efforts To Make Them Wide-open To Participants From All Over The World. This Would Have Been Impossible Without Some Help From Friendly Centers In The Czech Republic, England, France, Japan, And The Netherlands. Dimas’95 Featured Papers From 15 Countries, While Ceemas’99 From 18 Co- Tries. A Total Of 61 Papers Were Submitted To Ceemas 2001 From 17 Countries. Out Of These Papers, 31 Were Selected For Regular Presentation, While 14 Were Quali Ed As Posters. The Motto Of The Meeting Was “diversity Is The Core Of Multi-agent Systems. This Variety Of Subjects Was Clearly Visible In The Ceemas 2001 Program, Addressing The Following Major Areas Of Multi-agent Systems: – Organizations And Social Aspects Of Multi-agent Systems – Agent And Multi-agent System Architectures, Models, And Formalisms – Communication Languages, Protocols, And Negotiation – Applications Of Multi-agent Systems – Agent And Multi-agent Development Tools – Theoretical Foundations Of Distributedai – Learning In Multi-agent Systems The Richness Of Workshop Subjects Was Ensured Thanks To The Ceemas 2001 Contributing Authors As Well As The Keynote Speakers. Approximate Reasoning By Agents / A. Skowron -- Network Services In Context Of Pervasive Mobile Internet / K. Zielinski -- On Ban Logics For Industrial Security Protocols / N. Agray, W. Van Der Hoek And E. De Vink -- A Concept Of Agent Language In Agentspace / S. Ambroszkiewicz, T. Nowak And D. Mikulowski / [and Others] -- Agent's Adaptivity -- Some Aspects Of Theoretical Foundations Of A Neural Agent Training Process / A. Bielecki -- Mobie: Personalized Automated Recharge Of Prepaid Mobile Phones / J. Burgett, S. Hussain And C.m. Jonker / [et Al.] -- A Formal Specification Of M-agent Architecture / K. Cetnarowicz, P. Gruer And V. Hilaire / [et Al.] -- Multi-agent System For Flexible Manufacturing Systems Management / K. Cetnarowicz And K. Kozlak. Barbara Dunin-kȩplicz, Edward Nawarecki (eds.). Includes Bibliographical References And Index. Approximate Reasoning by Agents....Pages 3-14 Network Services in Context of Pervasive Mobile Internet....Pages 15-25 On BAN Logics for Industrial Security Protocols....Pages 29-36 A Concept of Agent Language in Agentspace....Pages 37-46 Agent’s Adaptivity — Some Aspects of Theoretical Foundations of a Neural Agent Training Process....Pages 47-53 Mobie: Personalized Automated Recharge of Prepaid Mobile Phones....Pages 54-61 A Formal Specification of M-Agent Architecture....Pages 62-72 Multi-agent System for Flexible Manufacturing Systems Management....Pages 73-82 Motivational Attitudes of Agents: On Desires, Obligations, and Norms....Pages 83-92 On Commitments, Roles, and Obligations....Pages 93-102 Automata-Based Multi-agent Model as a Tool for Constructing Real-Time Intelligent Control Systems....Pages 103-110 Rascal — A Resource Manager for Multi Agent Systems in Smart Spaces....Pages 111-120 Software Development Kit for Multi-agent Systems Design and Implementation....Pages 121-130 Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols....Pages 131-140 A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour....Pages 141-150 Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation....Pages 151-160 Syntactic Pattern Recognition-Based Agents for Real-Time Expert Systems....Pages 161-168 Learning User Preferences in Multi-agent System....Pages 169-178 Towards Requirements Analysis for Autonomous Agent Behaviour....Pages 179-186 Messages, Clocks, and Gravitation....Pages 187-196 An Improved Q-Learning Algorithm Using Synthetic Pheromones....Pages 197-206 Organisations in the Particular Class of Multi-agent Systems....Pages 207-216 UML for Behavior-Oriented Multi-agent Simulations....Pages 217-226 Robot Disassembly Process Using Multi-agent System....Pages 227-233 CPlanT: An Acquaintance Model-Based Coalition Formation Multi-agent System....Pages 234-241 Efficient Model Checking of Causal-Knowledge Protocols....Pages 242-252 Volcano, a Vowels-Oriented Multi-agent Platform....Pages 253-262 Model of Cooperation in Multi-agent Systems with Fuzzy Coalitions....Pages 263-272 Learning Collective Behaviour from Local Interactions....Pages 273-282 MAS Oriented Patterns....Pages 283-292 Multi-agent Architecture for Knowledge Fusion from Distributed Sources....Pages 293-302 Universal Formal Model of Collective Intelligence and Its IQ Measure....Pages 303-312 A Programming Language for Coordinating Group Actions....Pages 313-321 Optimization of Resource Allocation in Distributed Production Networks....Pages 322-331 Utility-Based Role Exchange....Pages 332-340 This book constitutes the thoroughly refereed post-proceedings of the Second Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, held in Cracow, Poland, in September 2001. The 33 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and improvement. The papers address: - organizational and social aspects of MAS; - communication languages, protocols, and negotiation; - applications of MAS in various fields; - agent and multi-agent development tools; - theoretical foundations of DAI; - learning in MAS