Multi-agent systems and applications III : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003 : proceedings

This Book Constitutes The Refereed Proceedings Of The International Central And European Conference On Multi-agent Systems, Ceemas 2003, Held In Prague, Czech Republic In June 2003. The 58 Revised Full Papers Presented Together With 3 Invited Contributions Were Carefully Reviewed And Selected From 109 Submissions. The Papers Are Organized In Topical Sections On Formal Methods, Social Knowledge And Meta-reasoning, Negotiation, And Policies, Ontologies And Languages, Planning, Coalitions, Evolution And Emergent Behaviour, Platforms, Protocols, Security, Real-time And Synchronization, Industrial Applications, E-business And Virtual Enterprises, And Web And Mobile Agents. Invited Talks -- Making Agents Acceptable To People -- Coalition Formation: Towards Feasible Solutions Abstract Of A Key-note Speech -- Coalition Task Support Using I-x And ?i-n-c-a? -- Formal Methods -- Towards Motivation-based Decisions For Worth Goals -- Modal Structure For Agents Interaction Based On Concurrent Actions -- A Multi-agent Modal Language For Concurrency With Non-communicating Agents -- Self-synchronization Of Cooperative Agents In A Distributed Environment -- Mip-nets: A Compositional Model Of Multiagent Interaction -- Social Knowledge & Meta-reasoning -- Calibrating Collective Commitments -- Abstract Architecture For Meta-reasoning In Multi-agent Systems -- Balancing Individual Capabilities And Social Peer Pressure For Role Adoption -- From Social Agents To Multi-agent Systems: Preliminary Report -- Negotiation & Policies -- Daml-based Policy Enforcement For Semantic Data Transformation And Filtering In Multi-agent Systems --^ Architectures For Negotiating Agents -- Rio : Roles, Interactions And Organizations -- Conversation Mining In Multi-agent Systems -- Ontologies & Languages -- The Knowledge Market: Agent-mediated Knowledge Sharing -- Ontology Of Cooperating Agents By Means Of Knowledge Components -- Mapping Between Ontologies In Agent Communication -- A Social Acl Semantics By Deontic Constraints -- A Formal Specification Language For Agent Conversations -- Planning -- Framework For Multi-agent Planning Based On Hybrid Automata -- Multi-agent System For Resource Allocation And Scheduling -- Towards Autonomous Decision Making In Multi-agent Environments Using Fuzzy Logic -- Towards An Object Oriented Implementation Of Belief-goal-role Multi-agent Systems -- Coalitions -- Fuzzy Coalition Formation Among Rational Cooperative Agents -- Multi-agent Simulation Of Work Teams -- Multi-agent Knowledge Logistics System “ksnet”: Implementation And Case Study For Coalition Operations --^ Evolution & Emergent Behavior -- Learning User Preferences For Multi-attribute Negotiation: An Evolutionary Approach -- A Model Of Co-evolution In Multi-agent System -- Emergence Of Specialized Behavior In A Pursuit-evasion Game -- On A Dynamical Analysis Of Reinforcement Learning In Games: Emergence Of Occam’s Razor -- Forgiveness In Strategies In Noisy Multi-agent Environments -- Platforms -- An Unified Framework For Programming Autonomous, Intelligent And Mobile Agents -- Tailoring An Agent Architecture To A Flexible Platform Suitable For Cooperative Robotics -- Airports For Agents: An Open Mas Infrastructure For Mobile Agents -- Beyond Prototyping In The Factory Of Agents -- Agent Oriented Software Engineering With Ingenias -- Protocols -- Requirement Analysis For Interaction Protocols -- Engineering A Protocol Server Using Strategy-agents -- Refinement Of Open Protocols For Modelling And Analysis Of Complex Interactions In Multi-agent Systems -- Security --^ Biological Approach To System Information Security (basis): A Multi-agent Approach To Information Security -- Adaptive Agents Applied To Intrusion Detection -- Communication Security In Multi-agent Systems -- Teamwork Of Hackers-agents: Modeling And Simulation Of Coordinated Distributed Attacks On Computer Networks -- Real-time & Synchronization -- Formal Modeling Of Dynamic Environments For Real-time Agents -- Deliberative Server For Real-time Agents -- Regional Synchronization For Simultaneous Actions In Situated Multi-agent Systems -- A Multi-agent System For Dynamic Network Reconfiguration -- Industrial Applications -- A Highly Distributed Intelligent Multi-agent Architecture For Industrial Automation -- The Cambridge Packing Cell — A Holonic Enterprise Demonstrator -- Towards Autonomy, Self-organisation And Learning In Holonic Manufacturing -- An Agent-based Personalized Producer/consumer Scenario --^ Application Of Intelligent Agents In Power Industry: Promises And Complex Issues -- E-business & Virtual Enterprises -- Brokering In Electronic Insurance Markets -- Modelling Electronic Organizations -- The Use Of Adaptive Negotiation By A Shopping Agent In Agent-mediated Electronic Commerce -- Agent Interaction Protocols For The Selection Of Partners For Virtual Enterprises -- Web & Mobile Agents -- A Multiagent-based Peer-to-peer Network In Java For Distributed Spam Filtering -- Engineering Web Service Invocations From Agent Systems -- A Component Based Multi-agent Architecture To Support Mobile Business Processes -- Code Complexity Metrics For Mobile Agents Implemented With Aspect/j™. Vladimir Mařík, Jörg Müller, Michal Pĕchoucĕk (eds.) Includes Bibliographical References And Index. This Book Constitutes The Refereed Proceedings Of The International Central And European Conference On Multi-agent Systems, Ceemas 2003, Held In Prague, Czech Republic In June 2003. The 58 Revised Full Papers Presented Together With 3 Invited Contributions Were Carefully Reviewed And Selected From 109 Submissions. The Papers Are Organized In Topical Sections On Formal Methods, Social Knowledge And Meta-reasoning, Negotiation, And Policies, Ontologies And Languages, Planning, Coalitions, Evolution And Emergent Behaviour, Platforms, Protocols, Security, Real-time And Synchronization, Industrial Applications, E-business And Virtual Enterprises, And Web And Mobile Agents. Invited Talks -- Making Agents Acceptable To People -- Coalition Formation: Towards Feasible Solutions Abstract Of A Key-note Speech -- Coalition Task Support Using I-x And ?i-n-c-a? -- Formal Methods -- Towards Motivation-based Decisions For Worth Goals -- Modal Structure For Agents Interaction Based On Concurrent Actions -- A Multi-agent Modal Language For Concurrency With Non-communicating Agents -- Self-synchronization Of Cooperative Agents In A Distributed Environment -- Mip-nets: A Compositional Model Of Multiagent Interaction -- Social Knowledge & Meta-reasoning -- Calibrating Collective Commitments -- Abstract Architecture For Meta-reasoning In Multi-agent Systems -- Balancing Individual Capabilities And Social Peer Pressure For Role Adoption -- From Social Agents To Multi-agent Systems: Preliminary Report -- Negotiation & Policies -- Daml-based Policy Enforcement For Semantic Data Transformation And Filtering In Multi-agent Systems --^ Architectures For Negotiating Agents -- Rio : Roles, Interactions And Organizations -- Conversation Mining In Multi-agent Systems -- Ontologies & Languages -- The Knowledge Market: Agent-mediated Knowledge Sharing -- Ontology Of Cooperating Agents By Means Of Knowledge Components -- Mapping Between Ontologies In Agent Communication -- A Social Acl Semantics By Deontic Constraints -- A Formal Specification Language For Agent Conversations -- Planning -- Framework For Multi-agent Planning Based On Hybrid Automata -- Multi-agent System For Resource Allocation And Scheduling -- Towards Autonomous Decision Making In Multi-agent Environments Using Fuzzy Logic -- Towards An Object Oriented Implementation Of Belief-goal-role Multi-agent Systems -- Coalitions -- Fuzzy Coalition Formation Among Rational Cooperative Agents -- Multi-agent Simulation Of Work Teams -- Multi-agent Knowledge Logistics System “ksnet”: Implementation And Case Study For Coalition Operations --^ Evolution & Emergent Behavior -- Learning User Preferences For Multi-attribute Negotiation: An Evolutionary Approach -- A Model Of Co-evolution In Multi-agent System -- Emergence Of Specialized Behavior In A Pursuit-evasion Game -- On A Dynamical Analysis Of Reinforcement Learning In Games: Emergence Of Occam’s Razor -- Forgiveness In Strategies In Noisy Multi-agent Environments -- Platforms -- An Unified Framework For Programming Autonomous, Intelligent And Mobile Agents -- Tailoring An Agent Architecture To A Flexible Platform Suitable For Cooperative Robotics -- Airports For Agents: An Open Mas Infrastructure For Mobile Agents -- Beyond Prototyping In The Factory Of Agents -- Agent Oriented Software Engineering With Ingenias -- Protocols -- Requirement Analysis For Interaction Protocols -- Engineering A Protocol Server Using Strategy-agents -- Refinement Of Open Protocols For Modelling And Analysis Of Complex Interactions In Multi-agent Systems -- Security --^ Biological Approach To System Information Security (basis): A Multi-agent Approach To Information Security -- Adaptive Agents Applied To Intrusion Detection -- Communication Security In Multi-agent Systems -- Teamwork Of Hackers-agents: Modeling And Simulation Of Coordinated Distributed Attacks On Computer Networks -- Real-time & Synchronization -- Formal Modeling Of Dynamic Environments For Real-time Agents -- Deliberative Server For Real-time Agents -- Regional Synchronization For Simultaneous Actions In Situated Multi-agent Systems -- A Multi-agent System For Dynamic Network Reconfiguration -- Industrial Applications -- A Highly Distributed Intelligent Multi-agent Architecture For Industrial Automation -- The Cambridge Packing Cell — A Holonic Enterprise Demonstrator -- Towards Autonomy, Self-organisation And Learning In Holonic Manufacturing -- An Agent-based Personalized Producer/consumer Scenario --^ Application Of Intelligent Agents In Power Industry: Promises And Complex Issues -- E-business & Virtual Enterprises -- Brokering In Electronic Insurance Markets -- Modelling Electronic Organizations -- The Use Of Adaptive Negotiation By A Shopping Agent In Agent-mediated Electronic Commerce -- Agent Interaction Protocols For The Selection Of Partners For Virtual Enterprises -- Web & Mobile Agents -- A Multiagent-based Peer-to-peer Network In Java For Distributed Spam Filtering -- Engineering Web Service Invocations From Agent Systems -- A Component Based Multi-agent Architecture To Support Mobile Business Processes -- Code Complexity Metrics For Mobile Agents Implemented With Aspect/jTM. Vladimir Mařík, Jörg Müller, Michal Pĕchoucĕk (eds.) Includes Bibliographical References And Index. Making Agents Acceptable to People....Pages 1-3 Coalition Formation: Towards Feasible Solutions Abstract of a Key-Note Speech....Pages 4-6 Coalition Task Support Using I-X and 〈I-N-C-A〉....Pages 7-16 Towards Motivation-Based Decisions for Worth Goals....Pages 17-28 Modal Structure for Agents Interaction Based on Concurrent Actions....Pages 29-39 A Multi-agent Modal Language for Concurrency with Non-communicating Agents....Pages 40-50 Self-Synchronization of Cooperative Agents in a Distributed Environment....Pages 51-60 MIP-Nets: A Compositional Model of Multiagent Interaction....Pages 61-72 Calibrating Collective Commitments....Pages 73-83 Abstract Architecture for Meta-reasoning in Multi-agent Systems....Pages 84-99 Balancing Individual Capabilities and Social Peer Pressure for Role Adoption....Pages 100-110 From Social Agents to Multi-agent Systems: Preliminary Report....Pages 111-121 DAML-Based Policy Enforcement for Semantic Data Transformation and Filtering in Multi-agent Systems....Pages 122-136 Architectures for Negotiating Agents....Pages 136-146 RIO : Roles, Interactions and Organizations....Pages 147-157 Conversation Mining in Multi-agent Systems....Pages 158-167 The Knowledge Market: Agent-Mediated Knowledge Sharing....Pages 168-179 Ontology of Cooperating Agents by Means of Knowledge Components....Pages 180-190 Mapping between Ontologies in Agent Communication....Pages 191-203 A Social ACL Semantics by Deontic Constraints....Pages 204-213 A Formal Specification Language for Agent Conversations....Pages 214-225 Framework for Multi-agent Planning Based on Hybrid Automata....Pages 226-235 Multi-agent System for Resource Allocation and Scheduling....Pages 236-246 Towards Autonomous Decision Making in Multi-agent Environments Using Fuzzy Logic....Pages 247-257 Towards an Object Oriented Implementation of Belief-Goal-Role Multi-agent Systems....Pages 258-267 Fuzzy Coalition Formation among Rational Cooperative Agents....Pages 268-280 Multi-agent Simulation of Work Teams....Pages 281-291 Multi-agent Knowledge Logistics System “KSNet”: Implementation and Case Study for Coalition Operations....Pages 292-302 Learning User Preferences for Multi-attribute Negotiation: An Evolutionary Approach....Pages 303-313 A Model of Co-evolution in Multi-agent System....Pages 314-323 Emergence of Specialized Behavior in a Pursuit-Evasion Game....Pages 324-334 On a Dynamical Analysis of Reinforcement Learning in Games: Emergence of Occam’s Razor....Pages 335-344 Forgiveness in Strategies in Noisy Multi-agent Environments....Pages 345-352 An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents....Pages 353-362 Tailoring an Agent Architecture to a Flexible Platform Suitable for Cooperative Robotics....Pages 363-372 Airports for Agents: An Open MAS Infrastructure for Mobile Agents....Pages 373-382 Beyond Prototyping in the Factory of Agents....Pages 383-393 Agent Oriented Software Engineering with INGENIAS....Pages 394-403 Requirement Analysis for Interaction Protocols....Pages 404-412 Engineering a Protocol Server Using Strategy-Agents....Pages 413-422 Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems....Pages 423-434 Biological Approach to System Information Security (BASIS): A Multi-agent Approach to Information Security....Pages 435-444 Adaptive Agents Applied to Intrusion Detection....Pages 445-453 Communication Security in Multi-agent Systems....Pages 454-463 Teamwork of Hackers-Agents: Modeling and Simulation of Coordinated Distributed Attacks on Computer Networks....Pages 464-474 Formal Modeling of Dynamic Environments for Real-Time Agents....Pages 475-484 Deliberative Server for Real-Time Agents....Pages 485-496 Regional Synchronization for Simultaneous Actions in Situated Multi-agent Systems....Pages 497-510 A Multi-agent System for Dynamic Network Reconfiguration....Pages 511-521 A Highly Distributed Intelligent Multi-agent Architecture for Industrial Automation....Pages 522-532 The Cambridge Packing Cell — A Holonic Enterprise Demonstrator....Pages 533-543 Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing....Pages 544-553 An Agent-Based Personalized Producer/Consumer Scenario....Pages 554-563 Application of Intelligent Agents in Power Industry: Promises and Complex Issues....Pages 564-574 Brokering in Electronic Insurance Markets....Pages 574-583 Modelling Electronic Organizations....Pages 584-593 The Use of Adaptive Negotiation by a Shopping Agent in Agent-Mediated Electronic Commerce....Pages 594-605 Agent Interaction Protocols for the Selection of Partners for Virtual Enterprises....Pages 606-615 A Multiagent-Based Peer-to-Peer Network in Java for Distributed Spam Filtering....Pages 616-625 Engineering Web Service Invocations from Agent Systems....Pages 626-635 A Component Based Multi-agent Architecture to Support Mobile Business Processes....Pages 636-646 Code Complexity Metrics for Mobile Agents Implemented with Aspect/JTM....Pages 647-657 The refereed proceedings of the International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, held in Prague, Czech Republic, in June 2003. The 58 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on formal methods, social knowledge and meta-reasoning, negotiation, and policies, ontologies and languages, planning, coalitions, evolution and emergent behaviour, platforms, protocols, security, real-time and synchronization, industrial applications, e-business and virtual enterprises, and Web and mobile agents. III. III.-- Vladimir Marik, Jörg Müller, Michal Pechoucek (eds.).