Learning by Knowledge Exchange in Logical Agents

In this paper we introduce a form of cooperation among agents based on exchanging sets of rules. In principle, the approach extends to agent societies a feature which is proper of human societies, i.e., the cultural transmission of abilities. However, acquiring knowledge from untrustworthy agents should be avoided, and the new knowledge should be evaluated according to its usefulness. After discussing the general principles of our approach, we present a prototypical implementation.

[1]  Richard Alterman,et al.  Autonomous Agents that Learn to Better Coordinate , 2004, Autonomous Agents and Multi-Agent Systems.

[2]  Akinori Yonezawa,et al.  Bytecode Transformation for Portable Thread Migration in Java , 2000, ASA/MA.

[3]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[4]  Gerald Salton,et al.  Automatic text processing , 1988 .

[5]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[6]  W. N Konings,et al.  The encyclopedia of life support systems , 2003 .

[7]  Andrea Omicini,et al.  Coordination artifacts: environment-based coordination for intelligent agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[8]  Michael Berger,et al.  Agent negotiation in ad-hoc networks , 2005, The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services.

[9]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[10]  William Stafford,et al.  For a While , 1970 .

[11]  Bowen Alpern,et al.  Implementing jalapeño in Java , 1999, OOPSLA '99.

[12]  Somesh Jha,et al.  Agent cloning , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[13]  Stefania Bandini,et al.  Heterogeneous Agents Situated in Heterogeneous Spaces , 2002, Appl. Artif. Intell..

[14]  Craig Chambers,et al.  The design and implementation of the self compiler, an optimizing compiler for object-oriented programming languages , 1992 .

[15]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[16]  Olivier Boissier,et al.  Multi-Agent Platforms on Smart Devices: Dream or Reality ? , 2003 .

[17]  Giancarlo Fortino,et al.  A statecharts-based software development process for mobile agents , 2004, Inf. Softw. Technol..

[18]  Marco Colombetti,et al.  A commitment-based communicative act library , 2005, AAMAS '05.

[19]  Manuela M. Veloso,et al.  Learning dynamic preferences in multi-agent meeting scheduling , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[20]  Pattie Maes,et al.  Agents that reduce work and information overload , 1994, CACM.

[21]  Stefania Bandini,et al.  Integrating Awareness in Cooperative Applications through the Reaction-Diffusion Metaphor , 2002, Computer Supported Cooperative Work (CSCW).

[22]  Pattie Maes,et al.  Kasbah: An Agent Marketplace for Buying and Selling Goods , 1996, PAAM.

[23]  Andreas Schadschneider,et al.  CA Approach to Collective Phenomena in Pedestrian Dynamics , 2002, ACRI.

[24]  Franco Zambonelli,et al.  Distributed motion coordination with Co-Fields: a case study in urban traffic management , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[25]  Viviana Mascardi,et al.  Designing and Implementing Electronic Auctions in a Multiagent System Environment , 2005, WOA.

[26]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[27]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[28]  J. Andriessen.  Archetypes of Knowledge Communities , 2005 .

[29]  Agostino Poggi,et al.  Developing multi‐agent systems with a FIPA‐compliant agent framework , 2001, Softw. Pract. Exp..

[30]  Giancarlo Fortino,et al.  E-Commerce Services Based on Mobile Agents , 2006 .

[31]  John Fox,et al.  Disseminating medical knowledge: the PROforma approach , 1998, Artif. Intell. Medicine.

[32]  Roger Tagg,et al.  Intelligent Software Agents , 2005, Encyclopedia of Information Science and Technology.

[33]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[34]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[35]  Qun Li,et al.  Distributed algorithms for guiding navigation across a sensor network , 2003, MobiCom '03.

[36]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[37]  Stephen Marsh,et al.  Trust in Distributed Artificial Intelligence , 1992, MAAMAW.

[38]  Bruce Walker,et al.  The LOCUS distributed operating system , 1983, SOSP '83.

[39]  Luca Cardelli,et al.  Simulating Biological Systems in the Stochastic Pi-Calculus , 2005 .

[40]  Andry Rakotonirainy,et al.  Towards Multi-Agent Support for Open Mobile Virtual Communities , 2000 .

[41]  Stephanie Forrest,et al.  Infect Recognize Destroy , 1996 .

[42]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[43]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[44]  Takashi Suezawa,et al.  Persistent execution state of a Java virtual machine , 2000, JAVA '00.

[45]  Pattie Maes,et al.  Evolving agents for personalized information filtering , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[46]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[47]  Daniel S. Weld,et al.  Intelligent Agents on the Internet: Fact, Fiction, and Forecast , 1995, IEEE Expert.

[48]  Henry Lieberman,et al.  Autonomous interface agents , 1997, CHI.

[49]  Stefania Bandini,et al.  Supporting Action-at-a-distance in Situated Cellular Agents , 2006, Fundam. Informaticae.

[50]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[51]  Rocco De Nicola,et al.  Translating Strong Mobility into Weak Mobility , 2001, Mobile Agents.

[52]  Olivier Boissier,et al.  Representing Context in an Agent Architecture for Context-Based Decision Making , 2005 .

[53]  Andrea Omicini,et al.  Agent Coordination Context: From Theory to Practice∗ , 2004 .

[54]  S. D. Berkowitz,et al.  Social Structures: A Network Approach , 1989 .

[55]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[56]  Fabienne Boyer,et al.  Experiences implementing efficient Java thread serialization, mobility and persistence , 2004 .

[57]  David D. Lewis,et al.  A comparison of two learning algorithms for text categorization , 1994 .

[58]  Stefania Bandini,et al.  A Model Based on Cellular Automata for the Simulation of the Dynamics of Plant Populations , 2004 .

[59]  Stephen J. Fink,et al.  The Jalapeño virtual machine , 2000, IBM Syst. J..

[60]  Martin F. Porter,et al.  An algorithm for suffix stripping , 1997, Program.

[61]  Stefania Bandini,et al.  Simulation of Vegetable Populations Dynamics Based on Cellular Automata , 2002, ACRI.

[62]  Kazuya Kosaka,et al.  Aglets: Programming Mobile Agents in Java , 1997, WWCA.

[63]  C Gordon.  Practice guidelines and healthcare telematics: towards an alliance. , 1995, Studies in health technology and informatics.

[64]  J. Rodriguez,et al.  Problem (1) , 1994 .

[65]  Jong-Deok Choi,et al.  The Jalape�o Dynamic Optimizing Compiler for JavaTM , 1999, JAVA '99.

[66]  Jordi Sabater-Mir,et al.  Reputation and social network analysis in multi-agent systems , 2002, AAMAS '02.

[67]  Corrado Santoro,et al.  KORE: A Multi-Agent System to Assist Museum Visitors , 2003, WOA.

[68]  Federico Cabitza,et al.  Being at one with things: the interconnection metaphor for intelligent environments , 2005 .

[69]  Roy Want,et al.  Enabling ubiquitous sensing with RFID , 2004, Computer.

[70]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[71]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[72]  Katia P. Sycara,et al.  Dynamic discovery and coordination of agent-based semantic Web services , 2004, IEEE Internet Computing.

[73]  Marc-Philippe Huget,et al.  Agent UML Notation for Multiagent System Design , 2004, IEEE Internet Comput..

[74]  Pattie Maes,et al.  Agent-mediated Electronic Commerce : A Survey , 1998 .

[75]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[76]  André M. C. Campos,et al.  Towards a methodology for developing agent-based simulations: the MASim methodology , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[77]  Carl M. Ellison,et al.  SPKI Requirements , 1999, RFC.

[78]  Eloisa Vargiu,et al.  PACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System Architecture , 2005, WOA.

[79]  Giancarlo Fortino,et al.  Multi-coordination of mobile agents: a model and a component-based architecture , 2005, SAC '05.

[80]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[81]  Jürgen Dix,et al.  A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties , 1995, Fundam. Informaticae.

[82]  H. Van Dyke Parunak,et al.  Digital Pheromones for Coordination of Unmanned Vehicles , 2004, E4MAS.

[83]  Ichiro Satoh.  A location model for pervasive computing environments , 2005, Third IEEE International Conference on Pervasive Computing and Communications.

[84]  Yoram Singer,et al.  Context-sensitive learning methods for text categorization , 1996, SIGIR '96.

[85]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[86]  Franco Zambonelli,et al.  Tuples on the air: a middleware for context-aware computing in dynamic networks , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[87]  Francis Heylighen,et al.  The Science of Self-Organization and Adaptivity , 1999 .

[88]  Stephen Wolfram,et al.  Cellular automata as models of complexity , 1984, Nature.

[89]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[90]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[91]  Stefania Bandini,et al.  Enhancing Cellular Spaces by Multilayered Multi Agent Situated Systems , 2002, ACRI.

[92]  Stefania Bandini,et al.  Situated Cellular Agents: A Model to Simulate Crowding Dynamics , 2004, IEICE Trans. Inf. Syst..

[93]  Stephanie Forrest,et al.  Anomaly intrusion detection in dynamic execution environments , 2002, NSPW '02.

[94]  David Sislák,et al.  A-Globe: Agent Platform with Inaccessibility and Mobility Support , 2004, CIA.

[95]  Corrado Santoro,et al.  SHARK, a multi-agent system to support document sharing and promote collaboration , 2004 .

[96]  Tuomas Sandholm,et al.  eMediator: A Next Generation Electronic Commerce Server , 1999, AGENTS '00.

[97]  Joshua David Kramer,et al.  Agent based personalized information retrieval , 1997 .

[98]  Viviana Mascardi,et al.  Specification and Simulation of Multi-Agent Systems in CaseLP , 1999, APPIA-GULP-PRODE.

[99]  Jacques Wainer,et al.  Agent-Augmented Meetings , 2003 .

[100]  John H. Holland,et al.  Escaping brittleness: the possibilities of general-purpose learning algorithms applied to parallel rule-based systems , 1995 .

[101]  Kostas Tzeras,et al.  Automatic indexing based on Bayesian inference networks , 1993, SIGIR.

[102]  Wolfram Burgard,et al.  Mapping and localization with RFID technology , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[103]  Stefania Bandini,et al.  Dealing with space in multi--agent systems: a model for situated MAS , 2002, AAMAS '02.

[104]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[105]  Andreas S. Weigend,et al.  A neural network approach to topic spotting , 1995 .

[106]  Samir Aknine,et al.  Managing Distributed Parallel Workflow Systems Using a Multi- Agent Method , 2003 .

[107]  Stephanie Forrest,et al.  Principles of a computer immune system , 1998, NSPW '97.

[108]  Henry Lieberman,et al.  Butterfly: a conversation-finding agent for Internet relay chat , 1998, IUI '99.

[109]  Eugénio Oliveira,et al.  Agents' Advanced Features for Negotiation and Coordination , 2001, EASSS.

[110]  Giancarlo Fortino,et al.  An integrated approach for the development and validation of multi-agent systems , 2005, Comput. Syst. Sci. Eng..

[111]  Yiming Yang,et al.  An Evaluation of Statistical Approaches to Text Categorization , 1999, Information Retrieval.

[112]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[113]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[114]  J. Sabater-Mir,et al.  Trust and reputation for agent societies , 2002 .

[115]  Dirk Helbing,et al.  A mathematical model for the behavior of pedestrians , 1991, cond-mat/9805202.

[116]  Michael Luck,et al.  A Manifesto for Agent Technology: Towards Next Generation Computing , 2004, Autonomous Agents and Multi-Agent Systems.

[117]  Kian-Lee Tan,et al.  A Study of Building Internet Marketplaces on the Basis of Mobile Agents for Parallel Processing , 2004, World Wide Web.

[118]  Thorsten Joachims,et al.  WebWatcher : A Learning Apprentice for the World Wide Web , 1995 .

[119]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Software Engineering with INGENIAS , 2003, CEEMAS.

[120]  Paola Mello,et al.  A Social ACL Semantics by Deontic Constraints , 2003, CEEMAS.

[121]  Mark Weiser,et al.  Designing Calm Technology , 2004 .

[122]  Kazuhiro Kuwabara,et al.  AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[123]  Federico Cabitza,et al.  DJess - a context-sharing middleware to deploy distributed inference systems in pervasive computing domains , 2005, ICPS '05. Proceedings. International Conference on Pervasive Services, 2005..

[124]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[125]  Dirk Helbing,et al.  Active Walker Model for the Formation of Human and Animal Trail Systems , 1997 .

[126]  Gaurav S. Sukhatme,et al.  Connecting the Physical World with Pervasive Networks , 2002, IEEE Pervasive Comput..

[127]  Vivek Sarkar,et al.  The Jikes Research Virtual Machine project: Building an open-source research community , 2005, IBM Syst. J..

[128]  Anand R. Tripathi,et al.  Design issues in mobile agent programming systems , 1998, IEEE Concurr..

[129]  Adelinde M. Uhrmacher,et al.  Controlled Experimentation with Agents - Models and Implementations , 2004, ESAW.

[130]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[131]  J. Rodriguez,et al.  Problem (2) , 1994 .

[132]  Wei-Min Shen,et al.  Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots , 2002, IEEE Trans. Robotics Autom..

[133]  Rüdiger Zarnekow,et al.  Intelligent software agents - foundations and applications , 1998 .

[134]  Matthias Klusch,et al.  Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[135]  Sven Koenig,et al.  Building Terrain-Covering Ant Robots: A Feasibility Study , 2004, Auton. Robots.

[136]  Craig A. Knoblock,et al.  Cooperating Agents for Information Retrieval , 1994, CoopIS.

[137]  Henk J. Sips,et al.  Adding tuples to Java: a study in lightweight data structures , 2002, JGI '02.

[138]  Q. Mahmoud,et al.  Mobile agents in wireless devices , 2004, Computer.

[139]  Carlo Ghezzi,et al.  Analyzing Mobile Code Languages , 1996, Mobile Object Systems.

[140]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[141]  S. Costantini,et al.  Enhancing computational power : DALI child agents generation ⋆ , 2005 .

[142]  Patricia Charlton,et al.  Agentcities: A Worldwide Open Agent Network , 2001 .

[143]  Marc Esteva,et al.  Engineering Open Multi-Agent Systems as Electronic Institutions , 2004, AAAI.

[144]  Yiming Yang,et al.  A re-examination of text categorization methods , 1999, SIGIR '99.

[145]  Marco Colombetti,et al.  A Social Approach to Communication in Multiagent Systems , 2003, DALT.

[146]  Henry Lieberman,et al.  Letizia: An Agent That Assists Web Browsing , 1995, IJCAI.

[147]  Henry A. Kautz,et al.  Inferring activities from interactions with objects , 2004, IEEE Pervasive Computing.

[148]  Fabrício Enembreck,et al.  ELA—A new Approach for Learning Agents , 2005, Autonomous Agents and Multi-Agent Systems.

[149]  Carla Simone,et al.  Reactive Agents for a Systemic Approach to the Construction of Coordination Mechanisms , 2003 .

[150]  Adelinde M. Uhrmacher,et al.  The Role Of Reflection In Simulating And Testing Agents: An Exploration Based On The Simulation System James , 2002, Appl. Artif. Intell..

[151]  Stefania Costantini,et al.  A Game-Theoretic Operational Semantics for the DALI Communication Architecture , 2004 .

[152]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[153]  Andrea Omicini,et al.  RBAC for Organisation and Security in an Agent Coordination Infrastructure , 2005, SecCo.

[154]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.

[155]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[156]  Sara Bouchenak,et al.  Pickling threads state in the Java system , 2000, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33.

[157]  E. Wenger,et al.  Legitimate Peripheral Participation , 1991 .

[158]  Stephen J. Fink,et al.  Design, implementation and evaluation of adaptive recompilation with on-stack replacement , 2003, International Symposium on Code Generation and Optimization, 2003. CGO 2003..

[159]  Paolo Terenziani,et al.  Representing Knowledge Levels in Clinical Guidelines , 1999, AIMDM.

[160]  Nicholas R. Jennings,et al.  Agent-Based Computing , 2002, Intelligent Information Processing.

[161]  Joel H. Saltz,et al.  Sumatra: A Language for Resource-Aware Mobile Programs , 1996, Mobile Object Systems.

[162]  Daniel P. Siewiorek,et al.  A multi-agent system for automatically resolving network interoperability problems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[163]  Yiming Yang,et al.  An example-based mapping method for text categorization and retrieval , 1994, TOIS.

[164]  Giovanni Vigna,et al.  Understanding Code Mobility , 1998, IEEE Trans. Software Eng..

[165]  Daniela Rus,et al.  Market-based resource control for mobile agents , 1998, AGENTS '98.

[166]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[167]  Wouter Joosen,et al.  Portable Support for Transparent Thread Migration in Java , 2000, ASA/MA.

[168]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[169]  Andrea Omicini,et al.  Towards a Notion of Agent Coordination Context , 2020, Process Coordination and Ubiquitous Computing.

[170]  Cho-Li Wang,et al.  JESSICA2: a distributed Java Virtual Machine with transparent thread migration support , 2002, Proceedings. IEEE International Conference on Cluster Computing.

[171]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[172]  Dieter Gollmann.  Analysing Security Protocols , 2002, FASec.

[173]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[174]  Yiming Ye,et al.  Agent Supported Cooperative Work , 2003, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[175]  Sholom M. Weiss,et al.  Automated learning of decision rules for text categorization , 1994, TOIS.

[176]  Stefania Costantini,et al.  The DALI Logic Programming Agent-Oriented Language , 2004, JELIA.

[177]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[178]  Stefania Costantini,et al.  Communication and trust in the DALI logic programming agent-oriented language , 2005, Intelligenza Artificiale.

[179]  Michael P. Wellman,et al.  The Michigan Internet AuctionBot: a configurable auction server for human and software agents , 1998, AGENTS '98.