Academia.eduAcademia.edu

Outline

Designing self-modifying agents

2001, … of Computational and Cognitive Models of …

Abstract

Agents need to be able to adapt to changes in their environment. One way to achieve this, is to provide agents with the ability of self-modification. Self-modification requires reflection and strategies with which new knowledge can be acquired, a necessary condition for creativity. This paper describes a knowledge-level model for the design of self-modifying agents and explores the feasibility of automatically designing self-modifying agents. * To appear in Proceedings of the Creative Design Workshop, December 2001. * relate description of agent to properties of agent * relate required properties to required properties * relate required properties to structure modifications of an agent * understand tasks, the ontologies, knowledge, and control involved * make strategic decisions within the agent's own process control * determine which strategies to deploy within an agent * resolve conflicts within an agent and strategies are needed to * guide the overall design process * alternate between viewpoints on design requirements and agent descriptions * prioritize possible strategies for self-modification. The process of designing a self-modifying information retrieval agent, introduced in Section 3.3, is used as an illustration. The self-modifying information retrieval agent was designed on the basis of the following requirements: 1. The agent is able to find information on web-pages. 2. The agent is able to adapt itself. 3. The agent is able to communicate with other agents on queries and query results. These requirements state that the information retrieval agent is able to find information on the web. To design such an agent, the design process needs specific knowledge of * designing an information retrieval agent * self-modification capabilities * reflective capabilities * modification of information retrieval agents.

References (74)

  1. Attardi, G. and Simi, M.: 1994, Proofs in Context, in L. Fribourg and F. Turini (eds), Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic, META'94, Springer Verlag, Lecture Notes in Computer Science, 883, pp. 410-424.
  2. Berker, I. and Brown, D. C.: 1996, Conflicts and Negotiation in Single Function Agent Based Design Systems, in D. C. Brown, S. E. Landes and C. J. PETRIE (eds), Concurrent Engineering: Research and Applications, Journal, Special Issue: Multi Agent Systems in Concurrent Engineering, Technomic Publishing Inc., 4(1), 17-33.
  3. Bradshaw, J. M. (ed): 1997, Software Agents, AAAI Press / MIT Press.
  4. Brazier, F. M. T. and Treur, J.: 1999, Compositional Modelling of Reflective Agents, International Journal of Human-Computer Studies, 50, 407-431.
  5. Brazier, F. M. T. and Wijngaards, N. J. E.: 2001, Automated servicing of agents. D. Kudenko & E. Alonso (eds), Proceedings of the AISB-01 Symposium on Adaptive Agents and Multi-agent systems, at the Agents & Cognition AISB-01 conference, the society for the study of artificial intelligence and the simulation of behaviour, ISBN 1.902956.17.0, pp. 54 -64.
  6. Brazier, F. M. T., Dunin-Keplicz B. M., Jennings, N.R. and Treur, J.:1995,1997, Formal specification of Multi-Agent Systems: a real-world case, in: V. Lesser (ed), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95. Cambridge MA: MIT Press, pp. 25-32. Extended version: 1997, in: M. Huhns and M. Singh (eds), International Journal of Co-operative Information Systems, special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems, 6, 67-94.
  7. Brazier, F. M. T., Jonker, C. M. and Treur J.: 1996, Modelling project coordination in a multi-agent framework, in Proceedings Fifth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE'96, Los Alamitos: IEEE Computer Society Press, pp. 148-155.
  8. Brazier, F. M. T., Jonker, C. M. and Treur J.: 1998, Principles of Compositional Multi-agent System Development, in J. Cuena (ed), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 347-360.
  9. Brazier, F. M. T., Jonker, C. M. and Treur, J.: 2000, Compositional Design and Reuse of a Generic Agent Model, Applied Artificial Intelligence Journal, 14, 491-538.
  10. Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E.: 2000b, Deliberate Evolution in Multi-Agent Systems, in J. Gero (ed.), Proceedings of the Sixth International Conference on AI in Design, AID'2000. Kluwer Academic Publishers, 2000, pp 633-650.
  11. Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E.: 2001, Compositional Design of a Generic Design Agent, Design Studies journal, 22, 439-471..
  12. Brazier, F. M. T., Langen, P. H. G. van, Ruttkay, Zs. and Treur J: 1994, On formal specification of design tasks, in J. S. Gero and F. Sudweeks (eds), Proceedings Artificial Intelligence in Design (AID'94), Dordrecht: Kluwer Academic Publishers, pp. 535-552.
  13. Brazier, F. M. T., Langen, P. H. G. van and Treur, J.: 1995, Modelling conflict management in design: an explicit approach, Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ), in I. F. C. Smith (ed.), Special Issue on Conflict Management in Design, 9(4), 353-366.
  14. Brazier, F. M. T., Langen, P. H. G. van and Treur J.: 1996, A logical theory of design, in J. S. Gero (ed.), Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design, Chapman & Hall, New York, pp. 243-266.
  15. Brazier, F. M. T., Langen, P. H. G. van and Treur, J.: 1997, A compositional approach to modelling design rationale, Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ), in P. W. H. Chung and R. Banares-Alcantara (eds), Special Issue on Representing and Using Design Rationale, 11(2), 125-139.
  16. Brazier, F. M. T., Langen, P. H. G. van and Treur, J.: 1998, Strategic Knowledge in Compositional Design Models, in J. S. Gero and F. Sudweeks (eds), Proceedings of the Fifth International Conference on Artificial Intelligence in Design, AID'98, Kluwer Academic Publishers, Dordrecht, pp. 129-147.
  17. Brazier, F. M. T., Moshkina, L. V. and Wijngaards, N. J. E.: 2001, Knowledge level model of an individual designer agent in collaborative distributed design, Journal of Artificial Intelligence in Engineering, To appear.
  18. Bui, H. H., Kieronska, D. and Venkatesh, S.: 1996, Learning other agents' preferences in multiagent negotiation, in Proceedings of the National Conference on Artificial Intelligence (AAAI-96), pp. 114-119.
  19. Campbell, M. I, Cagan, J. and Kotovsky, K.: 1998, A-Design: theory and implementation of an adaptive, agent-based method of conceptual design, in J.S. Gero and F. Sudweeks (eds), Artificial Intelligence in Design '98 (AID '98), Dordrecht: Kluwer Academic Publishers, pp. 579-598.
  20. Cetnarowicz, K., Kisiel-Dorohinicki, M. and Nawarecki, E.: 1996, The Application of Evolution Process in Multi-Agent World to the Prediction System, in M. Tokoro (ed), Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS'96), MIT/AAAI Press, Menlo Park CA, pp. 26-32.
  21. Cimatti, A. and Serafini L.: 1995, Multi-agent Reasoning with Belief Contexts II: Elaboration Tolerance, in V. Lesser (ed), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, pp. 57-64.
  22. Clancey, W. J. and Bock, C.: 1988, Representing control knowledge as abstract tasks and metarules, in L. Bolc and M. J. Coombs (eds), Computer Expert Systems, Heidelberg: Springer-Verlag, pp. 1-77.
  23. Cross, N., Christiaans, H. and Dorst, K. (eds): 1996, Analysing Design Activity, John Wiley & Sons Ltd, Chichester, England.
  24. Davis, R.: 1980, Metarules: reasoning about control, Artificial Intelligence, 15, 179-222.
  25. Dennett, D. C.: 1987, The Intentional Stance, MIT Press, Cambridge.
  26. Dunskus, B. V., Grecu, D. L., Brown, D. C. and Berker, I.: 1995, Using Single Function Agents to Investigate Conflict, Artificial Intelligence in Engineering Design and Manufacturing (AIEDAM), Special Issue: Conflict Management in Design, 9(4), 299- 312.
  27. Edmonds, E. A. and Candy, L.: 1997, Supporting the Creative User: A Criteria-based Approach to Interactive Design, Design Studies, 18(2), 185-194.
  28. Edmonds, E. A., Candy, L., Jones, R. and Soufi, B.: 1994, Support for Collaborative Design: Agents and Emergence, Communications of the ACM, 37(7), 41-47.
  29. Finke, R. A., Ward, T. B. and Smith, S. M.: 1992, Creative Cognition, theory, research, and applications, MIT press, Cambridge, MA.
  30. Fisher, M. and Wooldridge, M.: 1993, Specifying and Verifying Distributed Intelligent Systems, in M. Filqueiras and L. Damas (eds), Progress in AI. Proc. EPAI'93, Springer Verlag, Lecture Notes in AI, 727, pp. 13-28.
  31. Gamma, E., Helm, R., Johnson, R. and Vlissides, J.: 1994, Design Patterns: Elements of reusable object-oriented software, Addison Wesley Longman, Reading, Massachusetts.
  32. Gero, J. S.: 1996. Creativity, emergence and evolution in design: concepts and framework, Knowledge-Based Systems, 9(7), 435-448.
  33. Gomez Perez, A. and Benjamins, V. R.: 1999, Applications of Ontologies and Problem- Solving Methods, AI-Magazine, 20(1), 119-122.
  34. Gray, R., Kotz, D., Cybenko, G. E. and Rus, D.: 1997, Agent Tcl, in W. Cockayne and M. Zyda (eds), Mobile Agents: Explanations and Examples, Manning Publishing, 1997.
  35. Grecu, D. L. and Brown, D. C.: 1996, Learning by single function agents during spring design, in J. S. Gero and F. Sudweeks (eds), Artificial Intelligence in Design '96 (AID '96), Dordrecht: Kluwer Academic Publishers, pp. 409-428.
  36. Grefenstette, J.: 1992, The evolution of strategies for multiagent environments, Adaptive Behavior, 1(1). 65-90.
  37. Harmelen, F. van, Wielinga, B., Bredeweg, B., Schreiber, G., Karbach, W., Reinders, M., Voß, A., Akkermans, H., Bartsch-Spörl, B. and Vinkhuyzen, E.: 1992, Knowledge-level reflection, in B. Le Pape and L. Steels (eds), Enhancing the knowledge engineering process -contributions from ESPRIT, Elsevier Science, Amsterdam, pp. 175-204.
  38. Jennings, N. R. and Wooldridge, M. J. (eds): 1998, Agent Technology; Foundations, Application, and Markets, Springer Verlag.
  39. Jennings, N. R.: 2000, On agent-based software engineering, Artificial Intelligence, 117, 277-296.
  40. Jonker, C. M. and Treur, J.: 1997, Modelling an Agent's Mind and Matter, in M. Boman and W. van de Velde (eds), Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Lecture Notes in AI, 1237, Springer Verlag, pp. 210-233.
  41. Jonker, C. M., and Treur, J.: 1998, A Generic Architecture for Broker Agents, in Nwanam H.S., and Ndumu, D.T. (eds), Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), The Practical Application Company Ltd, pp. 623-624.
  42. Kautz, H. A., Selman, B. and Coen, M.: 1994, Bottom-Up Design of Software Agents, Communications of the ACM, 37(7), 143-146.
  43. Knoblock, C. A. and Ambite, J. L.: 1997, Agents for Information Gathering, in (Bradshaw, 1997), pp. 347-373.
  44. Lawson, B.: 1997, How designers think: the design process demystified, 3 rd edition, Architectural press.
  45. Levy, A. Y., Sagiv, Y. and Srivastava, D.: 1994, Towards efficient information gathering agents, in Software Agents, proceedings of the AAAI 1994 spring symposium, AAAI Press, pp. 64-70.
  46. Maes, P. and Nardi, D. (editors): 1998, Meta-level architectures and reflection, Elsevier Science Publishers.
  47. Maturana F., Shen, W. and Norrie, D. H.: 1999, MetaMorph: An Adaptive Agent-Based Architecture for Intelligent Manufacturing, International Journal of Production Research, 37(10), 2159-2174.
  48. McAlinden, L. P., Florida-James, B. O., Chao, K-M., Norman, P. W., Hills, W. and Smith, P.: 1998, Information and knowledge sharing for distributed design agents, in J. S. Gero and F. Sudweeks (eds), Artificial Intelligence in Design '98 (AID '98), Dordrecht: Kluwer Academic Publishers, pp. 537-556.
  49. Mozer, M. C.: 1999, An intelligent environment must be adaptive, IEEE Intelligent Systems and their Applications, 14(2), 11-13.
  50. Norman, D. A.: 1994, How Might People Interact with Agents, Communications of the ACM, 37(7), 68-71.
  51. Numaoka, C.: 1996, Bacterial Evolution Algorithm for Rapid Adaptation, in W. Van de Velde and J. W. Perram (eds), Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Lecture Notes in Artificial Intelligence, 1038, Springer Verlag, pp. 139-148.
  52. Nwana, H. S.: 1996, Software agents: an overview, The Knowledge Engineering Review, Cambridge University Press, 11(3), 205-244.
  53. Nwana, H., Ndumu, D., Lyndon, L., and Collis, J.: 1999, ZEUS: A Tookit and Approach for Building Distributed Multi-agent System, in Proceedings of the Third International Conference on Autonomous Agents (Autonomous Agents'99), pp. 360-361.
  54. Reffat, R. M. and Gero, J. S.: 2000, Computational Situated Learning in Design, in: J. S. Gero (ed), Artificial Intelligence in Design '00, Kluwer Academic Publishers, Dordrecht, pp. 589-610.
  55. Reticular Systems Inc.: 1999, AgentBuilder: An integrated toolkit for constructing intelligent software agents, White Paper, http://www.agentbuilder.com.
  56. Rus, D., Gray, R. and Kotz, D.: 1996, Autonomous and Adaptive Agents that Gather Information, in AAAI'96 International Workshop on Intelligent Adaptive Agents, pp. 107--116.
  57. Schön, D. A.: 1983, The Reflective Practitioner: how professionals think in action, Basic Books Inc.
  58. Schubert, F.: 1997, A reflective architecture for an adaptable object-oriented operating system based on C++, in Proceedings of the ECOOP'97 workshop on object-orientation and operating systems, Springer Verlag, Lecture notes in Computer Science, 1357.
  59. Shoham, Y.: 1993, Agent-oriented programming, Artificial Intelligence, 60, 51-92.
  60. Soltysiak, S. and Crabtree, B.: 1998, Knowing Me, Knowing You: Practical Issues in the Personalisation of Agent Technology, in Proceedings of the third international conference on the practical applications of intelligent agents and multi-agent technology (PAAM98), London.
  61. Straatman, R.: 1997, Kids for Kads, in E. Plaza and R. Benjamins (eds), Proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling, and Management (EKAW'97), Sant Feliu de Guixols, Catalania, Lecture Notes in Artificial Intelligence, 1319, Springer Verlag, pp. 371-376.
  62. Stroulia, E. and Goel, A. K.: 1994a. Reflective, Self-Adaptive Problem Solvers, in L. Steels, G. Schreiber and W. van de Velde (eds), A future for knowledge acquisition, proceedings of the 1994 European Conference on Knowledge Acquisition (EKAW'94), Lecture Notes in Artificial Intelligence, 867, Springer-Verlag, pp. 394-413.
  63. Stroulia, E. and Goel, A. K.: 1994b, Learning Problem-Solving Concepts by Reflecting on Problem Solving, in Bergadano and L. De Raedt (eds), Proceedings of ECML-94, Springer-Verlag, pp. 287-306.
  64. Sycara, K. and Zeng, D.: 1996, Multi-agent integration of information gathering and decision support, in Wahlster, W. (ed), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), Wiley and Sons, pp. 549-553.
  65. Teije, A. ten and Harmelen, F. van: 1996, Using reflection techniques for flexible problem solving, Future Generation Computer Systems, 12, special issue Reflection and Meta- level AI Architectures, 217-234.
  66. Teije, A. ten, Harmelen, F. van, Schreiber, A. Th. and Wielinga, B. J.: 1998, Construction of problem-solving methods as parametric design, International Journal of Human- Computer Studies, Special issue on problem-solving methods, 49(4).
  67. Tryllian: 2001, Agent Development Kit, Technical White Paper, Version 1.0, June 2001, http://www.tryllian.nl/sub_downl/Technical%20white%20paper%20ADK%20v1.0.pdf
  68. Vanwelkenhuysen, J. and Mizoguchi, R.: 1995, Workplace-Adapted Behaviors: Lessons Learned for Knowledge Reuse, in Proceedings of Second International Conference on Building and Sharing Very Large-Scale Knowledge Bases, Enschede, Netherlands.
  69. Wagner, G.: 1996, A Logical and Operational Model of Scalable Knowledge-and Perception-based Agents, in W. van der Velde and J. W. Perram (eds), Agents breaking away, Proc. MAAMAW'96, Springer Verlag, Lecture Notes in AI, 1038, pp. 26-41.
  70. Wells, N. and Wolfers, J.: 2000, Finance with a Personalized Touch, Communications of the ACM, Special Issue on Personalization, 43(8), 31-34.
  71. Weyhrauch, R. W.: 1980, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 133-170.
  72. Williams, B. C. and Nayak, P. P.: 1996, A Model-Based Approach to Reactive Self- Configuring Systems, in Proceedings of the AAAI-96, 2, pp. 971-978.
  73. Wooldridge, M. J. and Jennings, N. R.: 1995, Intelligent Agents: Theory and Practice, The Knowledge Engineering Review, 10(2), 115-152.
  74. Wooldridge, M. J. and Jennings, N. R.:1995, Intelligent agents: theory and practice, The Knowledge Engineering Review, 10(2), 115-152.