Intelligent Agents: Specification, Modeling, and Application: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July ... (Lecture Notes in Computer Science, 2132)

The increasing importance of intelligent agents and their impact on industry/business worldwide is well documented through academic research papers and industrial reports. There is a strong affinity between the Web a worldwide distributed computing environment and the capability of intelligent agents to act on and through software. The ultimate goal of intelligent agents is to accelerate the evolution of the Web from a passive, static medium to a tuned, highly valued environment. This volume contains selected papers from PRIMA 2001, the fourth Pacific Rim International Workshop on Multi-Agents, held in Taipei, Taiwan, July 28-29, 2001. In this volume, the papers cover specification, modeling, and applications of intelligent agents. PRIMA is a series of workshops on autonomous agents and multi-agent systems, integrating the activities in Asia and the Pacific Rim countries. PRIMA 2001 built on the great success of its predecessors, PRIMA98 i n Singapore, PRIMA99 i n Kyoto, Japan, and PRIMA 2000 in Melbourne, Australia. The aim of PRIMA 2001 was to bring together researchers from Asia and the Pacific Rim and developers from academia and industry to report on the latest technical advances or domain applications and to discuss and explore scientific and practical problems as raised by the participants. Intelligent Agents: Specification, Modeling, and Applications Preface PRIMA 2001 Committee Members Table of Contents PRIMA 2001 Committee Members Program Committee Workshop Web Master Program Co-chairs General Co-chairs The Role of Castes in Formal Specification of MAS Introduction The Notion of Caste A Model of Multiagent Systems The Notion of Caste Structure Inheritance Instance The SLAB Language Agents and Castes Behaviour Rules Uses of Castes in Formal Specification Organisation of Agent Society A Simple Communication Protocol Conclusion References A Truly Concurrent Model for Interacting Agents Introduction Syntax Basic Sets Group Action and Individual Action Auxiliary Languages Syntax of the Programming Language Itself Semantics Intuitions Local Semantics: Agent Traces Global Semantics: System Traces Illustration Conclusions References Reliable Agent Computation: An Algebraic Approach Introduction Psi Agents Interaction with the Environment Beliefs, Conditions and Updates Basic Transitions, Signals and Responses Intentions Operational Semantics of Psi Computation Semantics of Intentions Agent Computation Comparison, Conclusions and Future Work References An Argument-Based Agent System with KQML as an Agent Communication Language Introduction Two Basic Components of the Argument-Based Agent System that Allows for Issue Changes KQML with Performatives for Arguing Agents Dialectical Principles for Reconciling Argumentation Elementary Dialectical Inference Rules on Top of DL and DM The Argumentation Protocol Argumentative Dialogue Examples Limitations and Reflections Concluding Remarks and Future Work References On Fairness in an Alternating-Offers Bargaining Model with Evolutionary Agents Introduction Bargaining Models Fairness Evolutionary Computation and Economic Agents Model Description and Experiments Conclusions References Sealed Bid Multi-Object Auctions with Necessary Bundles and its Application to Spectrum Auctions Introduction The Model Notation and Definitions Auctions with Necessary Bundles Pure Strategy Nash Equilibria SpectrumAuctions Bundle Assignment Problem and Longest Path Problem Random Selection from Multiple Optimal Solutions Nash Equilibria Conclusion Appendix References Strategic Multi-Personal-Agent Interaction Introduction Backgrounds EPMPAS --- Emergent Process Multi-Personal-Agent System Multi-Personal-Agent System Architecture Generic Process Agent Interaction Protocols Network Layer Content Layer Message Layer Interaction Layer Primitives Strategic Interaction Model IPES --- Interaction Performance Evaluation Scale Agent Interaction Pattern Mining Message Data Interaction Pattern Adjusting Factors Reply Time Semantics of Messages Interaction Intensity Agent APR Assessment Ability Assessment CAAM --- Computational Agent Ability Model Productivity Efficiency Quality Personality Assessment CAPM --- Computational Agent Personality Model Frequency of Patterns Formal Assessment of Personalities Relationship Assessment CARM --- Computational Agent Relationship Model Relationship Assessment Interaction Strategy Performance Measurement Conclusions and Future Works References Market Performance of Adaptive Trading Agents in Synchronous Double Auctions Introduction Auctions and Synchronous Double Auctions The Matching Rules The Reinforcement Learning The Adaptive Trading Agents Designing of Bidding Action Space The Profit Ratio The Bidding Price The Design of State Space The Performance Evaluation Criteria The Utility Function The Reward The Reservation Price The Design of Experiments and Markets The Truthful-Telling Agent (TTA) The Gradient-Based Greedy Agent (GBGA) The Simple Random Bidding Agent (SRBA) The Setting of Experiments Markets with Homogeneous Agents Setting 1 (2,3,4): All QLAs (SRBAs, GRBAs, TTAs) The Performance of QLA against Different Non-adaptive Agents Setting 1 (2,3): QLA vs. SRBA (GRBAs,TTAs) Heterogeneous Agents in SDA Experimental Results Market Efficiencies in the Markets with Different Homogeneous Agents The Performances of QLAs against Different Non-adaptive Agents The Performance of Agents in Markets with Heterogeneous Agents Conclusions and Future Work Acknowledgments References Negotiation-Credit Driven Coalition Formation in E-Markets Introduction Negotiation-Credit Driven Coalition Formation The Assumptions The Framework Coalition Formation Negotiation-Credit Based Negotiation Negotiation Credit The Method Negotiation Strategy Evaluation and Discussion Quality from Agent View Efficiency from Coalition View Discussion Conclusion Reference An Adaptive Agent Society for Environmental Scanning through the Internet Introduction Continuous and Resource-Bounded Business Environmental Scanning Adaptive Agents for CRBES through the Internet The Scanning Agents The Controlling Agent Experiment Simulation of the Information Space Systems to be Evaluated Result and Analysis Related Work Intelligent Agents for Information Gathering Intelligent Agents for Information Monitoring Decision Support Systems that are Adaptive to the Environments Multiagent Coordination and Negotiation Learning for Multiagent Coordination, Negotiation, and Organization Conclusion and Future Work Acknowledgement References Gaz-Guide: Agent-Mediated Information Retrieval for Official Gazettes Introduction A Multiagent System for Mediating Information Retrieval Librarian Agent Thesaurus Agent Ontology Agent Information Gathering Agent Guiding Users with Concepts and Terms Evaluation on System Performance Discussions Conclusion Acknowledgement References Technological Innovation of High-tech Industry and patent policy -Agent based Simulation with Double Loop Learning- Introduction Assumptions of Model Model Simulation and Process of Learning Results of Simulations Conclusion References Collaborative Filtering for a Distributed Smart IC Card System Introduction Organizational Learning Oriented Classifier System Brief Description of OCS Collaborative Filtering with F-OCS Fairy-Wing: Yet Another Mobile Computing System Smart IC Cards Information Terminals Information Space Dynamic Collaborative Filtering and Group Trip Advisor Design of F-OCS Design of F-Browser Evaluation of Group Trip Advisor Concluding Remarks Acknowledgements References Incorporating Content-Based Collaborative Filtering in a Community Support System Introduction Community Support Systems Aspects of Community Support Systems Domain of Communities in Scope Community Organizer The Next Step in Community Support Collaborative Filtering for Information Sharing in Communities Collaborative Filtering Nakif Collaborative Filtering to Community Support Systems Integration of Community Organizer Overall Architecture Nakif Integration User Interface of Community Organizer Conclusions and Future Work References A Personal Agent for Bookmark Classification Introduction Techniques for Document Classification Naïve Bayesian Method k-NN Algorithm TFIDF Algorithm Related Works System Architecture Separation of the Bookmarks Collecting Web Documents Document Preprocessing Feature Selection and Document Modeling Learning and Classification Sorting and Creation of a New Bookmark File System Implementation Experimental Evaluation Conclusions References Scalable Workflow System Model Based on Mobile Agents Introduction Previous Workflow Systems RPC Model-Based Workflow Systems Mobile Agent-Based Workflow Systems Maximal Sequence Model Experimental Comparisons of the RPC, DartFlow, and Maximal Sequence Model Preliminaries for Evaluations Petri-Net Models Evaluations and Analysis Conclusions References Author Index The Role Of Castes In Formal Specification Of Mas / Hong Zhu -- A Truly Concurrent Model For Interacting Agents / Wieke De Vries, Frank S. De Boer And Wiebe Van Der Hoek / [and Others] -- Reliable Agent Computation: An Algebraic Approach / David Kinny -- An Argument-based Agent System With Kqml As An Agent Communication Language / Yoshirou Toda, Masashi Yamashita And Hajime Sawamura -- On Fairness In An Alternating-offers Bargaining Model With Evolutionary Agents / Norberto Eiji Nawa, Katsunori Shimohara And Osamu Katai -- Sealed Bid Multi-object Auctions With Necessary Bundles And Its Application To Spectrum Auctions / Tomomi Matsui And Takahiro Watanabe -- Strategic Multi-personal-agent Interaction / Aizhong (alan) Lin. Soe-tsyr Yuan, Makoto Yokoo. Includes Bibliographical References And Index.