Compositional design of a generic design agent

Design Studies

Volumn 22, Issue 5, 2001, Pages 439-471

  Brazier, Frances M T ^a   Jonker, Catholijn M ^a   Treur, Jan ^a   Wijngaards, Niek J E ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Artificial evolution; Computational model; Design automation; Design model(s); Software design

Indexed keywords

EID: 0035452677     PISSN: 0142694X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0142-694X(00)00044-2     Document Type: Article

References (66)

1. Charlton C. A web broker for mechanical component selection. Rodgers P., Huxor A. Distributed web-based AI design tools: AID'98 Workshop 2 Notes. 1998;Worcester Polytechnic Institute, Worcester, MA.
2. Huxor A., Rogers P., Clarkson J., Caldwell N. Knowledge-based systems as navigation aids to online content and users. Rodgers P., Huxor A. Distributed web-based AI design tools: AID'98 Workshop 2 Notes. 1998;Worcester Polytechnic Institute, Worcester, MA.
3. Brazier F.M.T., Jonker C.M., Treur J. Compositional design and reuse of a generic agent model. Applied Artificial Intelligence Journal. 14:2000;491-538.
4. Brazier F.M.T., Langen P.H.G. van, Ruttkay Z., Treur J. On formal specification of design tasks. Gero J.S., Sudweeks F. Artificial Intelligence in Design '94. 1994;535-552 Kluwer Academic Publishers, Dordrecht.
5. Brazier F M T, Dunin-Keplicz B M, Jennings N R and Treur J 'Formal specification of multi-agent systems: a real world case', in V Lesser (ed) Proceedings of First International Conference on Multi-Agent Systems ICMAS'95 MIT Press, Cambridge, MA pp 25-32 (1995). Extended version in M Huhns and M Singh (eds) International Journal of Co-operative Information Systems IJCIS Vol 6 No 1 (1997) 67-94 (special issue on Formal methods in co-operative information systems: multi-agent systems).
6. Brazier F M T, Dunin-Keplicz B, Treur J and Verbrugge L C 'Modelling internal dynamic behaviour of BDI agents', in A Cesto and P Y Schobbes (eds) Proceedings of the Third International Workshop on Formal Models of Agents MODELAGE'97. Lecture Notes in AI Springer Verlag Vol 1760 (1999) 36-56.
7. Brazier F M T, Jonker C M, Jüngen F J and Treur J 'Distributed scheduling to support a call centre: a co-operative multi-agent approach', in H S Nwana and D T Ndumu (eds) Applied Artificial Intelligence Journal Vol 13 (1999) 65-90 (special issue on Multi-agent systems). Earlier shorter version in
8. Brazier F M T, Jonker C M, Jüngen F J and Treur J 'Distributed scheduling to support a call centre: a co-operative multi-agent approach', in H S Nwana and D T Ndumu (eds) Applied Artificial Intelligence Journal Vol 13 (1999) 65-90 (special issue on Multi-agent systems). Earlier shorter version in H S Nwana and D T Ndumu (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, Blackpool (1998) pp 555-576.
9. Brazier F M T, Langen P H G van, Treur J, Wijngaards N J E and Willems M 'Modelling an elevator design task in Desire: the VT example', in A Th Schreiber and W P Birmingham (eds) International Journal of Human-Computer Studies, Vol 44 (1996) 469-520.
10. Brazier F.M.T., Treur J., Wijngaards N.J.E. Interaction with experts: the role of a shared task model. Wahlster W. Proceedings of European Conference on AI ECAI'96. 1996;241-245 Wiley and Sons, Chichester.
11. Wooldridge M.J., Jennings N.R. Intelligent agents: theory and practice. Knowledge Engineering Review. 10(2):1995;115-152.
12. Brazier F.M.T., Langen P.H.G. van, Treur J. A logical theory of design. Gero J.S. Advances in formal design methods for CAD. 1996;243-266 Chapman and Hall, New York.
13. Coyne R.D., Rosenman M.A., Radford A.D., Balachandran M., Gero J.S. Knowledge-based design systems. 1990;Addison-Wesley Publishing Company, Reading, MA.
14. Smithers T. On knowledge level theories of design process. Gero J.S., Sudweeks F. Artificial Intelligence in Design '96. 1996;561-579 Kluwer Academic Publishers, Dordrecht.
15. Smith I.F.C., Boulanger S. Knowledge representation for preliminary stages of engineering tasks. Knowledge Based Systems. 7:1994;161-168.
16. Brazier F.M.T., Jonker C.M., Treur J., Wijngaards N.J.E. Deliberate evolution in multi-agent systems. Technical report. 1998;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, Amsterdam.
17. Brazier F.M.T., Langen P.H.G. van, Treur J. Strategic knowledge in compositional design models. Gero J.S., Sudweeks F. Artificial Intelligence in Design '98. 1998;129-148 Kluwer Academic Publishers, Dordrecht.
18. Ferguson I.A. Touring machines: an architecture for dynamic, rational, mobile agents. PhD thesis. 1992;Computer Laboratory, University of Cambridge, Cambridge, UK.
19. Ferguson I A 'Integrated control and coordinated behaviour,' M J Wooldridge and N R Jennings (eds) Intelligent Agents. Proceedings of the First International Workshop on Agent Theories, Architectures and Languages, ATAL 94, Lecture Notes in Artificial Intelligence, Vol 860, Springer Verlag, Berlin (1995) pp 203-218.
20. Müller J.P. The design of intelligent agents: a layered approach. Lecture Notes in AI. Vol 1177:1996;227 Springer Verlag, Berlin.
21. Müller J P, Pischel M and Thiel M 'Modelling reactive behaviour in vertically layered agent architectures', M J Wooldridge and N R Jennings (eds) Intelligent Agents. Proceedings of the First International Workshop on Agent Theories, Architectures and Languages, ATAL 94, Lecture Notes in Artificial Intelligence, Vol 860, Springer Verlag, Berlin (1995) pp 261-276.
22. Nwana H.S., Ndumu D.T., Lee L.C. ZEUS: an advanced tool-kit for engineering distributed multi-agent systems. Nwana H.S., Ndumu D.T. Proceedings of the Third International Conference on the Application of Intelligent Agents and Multi-Agent Technology. 1998;377-391 The Practical Application Company, Blackpool Applied AI. 13:1998;129.
23. Nwana H.S., Ndumu D.T., Lee L.C. ZEUS: an advanced tool-kit for engineering distributed multi-agent systems. Nwana H.S., Ndumu D.T. Proceedings of the Third International Conference on the Application of Intelligent Agents and Multi-Agent Technology. 1998;377-391 The Practical Application Company, Blackpool Applied AI. 13:1998;129.
24. Jennings N.R., Faratin P.T., Norman T.J., O'Brien P., Wiegand M.E., Voudouris C., Alty J.L., Miah T., Mamdani E.H. ADEPT: managing business processes using intelligent agents. Proceedings of BCS Expert Systems 96 Conference. 1996;5-23 ISIP Track, Cambridge, UK.
25. Pahl G and Beitz W Engineering design Springer Verlag, New York (1984). Original work Konstruktionslehre Springer, Berlin (1977) in German.
26. Koller R. Für den Machinenbau. 1985;Springer-Verlag, Berlin.
27. Alberts M. YMIR: an ontology for engineering design. PhD thesis. 1993;University of Twente, Twente.
28. French R., Mostow J. Toward better models of the design process. AI Magazine. 6(1):1985;44-57.
29. Tomiyama T., Yoshikawa H. Extended general design theory. Yoshikawa H., Warman E.A. Proceedings of the IFIP WG 5.2 Working Conference on Design Theory for CAD. 1987;95-125 North-Holland, Amsterdam.
30. Treur J. A logical analysis of design tasks for expert systems. International Journal of Expert Systems. 2:1989;233-253.
31. Brown D., Chandrasekaran B. Design problem solving: knowledge structures and control strategies. 1989;Morgan Kaufmann, San Mateo, CA.
32. Chandrasekaran B. Design problem solving: a task analysis. AI Magazine. 11(4):1990;59-71.
33. Gero J.S. Design prototypes: a knowledge representation schema for design. AI Magazine. 11(4):1990;26-36.
34. Takeda H., Veerkamp P.J., Tomiyama T., Yoshikawa H. Modelling design processes. AI Magazine. 11(4):1990;37-48.
35. Alberts L.K., Wognum P.M., Mars N.J.I. Structuring design knowledge on the basis of generic components. Gero J.S. Artificial Intelligence in Design AID'92. 1992;639-656 Kluwer Academic Publishers, Dordrecht.
36. Tham K.W., Gero J.S. PROBER - a design system based on design prototypes. Gero J.S. Artificial Intelligence in Design AID'92. 1992;657-675 Kluwer Academic Publishers, Dordrecht.
37. Vescovi M., Iwasaki Y. Device design as functional and structural refinement. Faltings B. Working notes of the IJCAI'93 Workshop on AI in Design. 1993;55-60 Chambéry, France.
38. Ohsuga S. Strategic knowledge makes knowledge based systems truly intelligent. Candy L., Hori K. Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation. 1997;1-24 Lutchi Research Centre, Loughborough University, UK.
39. Brown D.C., Birmingham W.P. Understanding the nature of design. IEEE Expert. 12(2):1997;14-16.
40. Winsor J., Maccallum K. A review of functionality modelling in design. The Knowledge Engineering Review. 9(2):1994;163-199.
41. Ball N.R., Bauert F. The integrated design framework: supporting the design process using a blackboard system. Gero J.S. Artificial Intelligence in Design AID'92. 1992;327-348 Kluwer Academic Publishers, Dordrecht.
42. Alberts L.M., Bakker R.R., Beekman D., Wognum P.M. Model-based redesign of technical systems. Proceedings of the 4th International Workshop on Principles of Diagnosis. 1993.
43. Steier D. Automating algorithm design within a general architecture for intelligence. Lowry M.R., McCartney R.D. Automating software design. 1991;577-602 AAAI Press, Menlo Park, CA.
44. Wielinga B J and Schreiber A Th Configuration design problem solving AI and design. IEEE Expert Vol 12 No 2 (1997) 49-56.
45. Dunskus B V, Grecu D L, Brown D C and Berker I Using single function agents to investigate conflict. Conflict management in design Artificial Intelligence in Engineering Design and Manufacturing (AIEDAM) Vol 9 No 4 (1995) 299-312.
46. Berker I and Brown D C 'Conflicts and negotiation in single function agent based design systems Multi agent systems in concurrent engineering', in Brown D C, Landes S E and Petrie C J (eds) Concurrent Engineering: Research and Applications Journal Vol 4 No 1 (1996) pp 17-33.
47. Lander S.E. Issues in multi-agent design systems. IEEE Expert. 12(2):1997;18-26.
48. Marcus S., McDermott J. SALT: a knowledge-acquisition language for propose and revise systems. Journal of Artificial Intelligence. 39(1):1989;1-37.
49. Chandrasekaran B 'Generic tasks in knowledge-Based reasoning: high level building blocks for expert system design' IEEE Expert Vol 3 (1986) pp 23-30.
50. Goel A., Chandrasekaran C. Functional representation of design and redesign problem solving. Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (Detroit, MI) IJCAI'89. 1989;1388-1394 Morgan Kaufmann, Los Altos, CA.
51. Zdrahal Z., Motta E. An in-depth analysis of propose and revise problem solving methods. Gaines B.R., Musen M.A. Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop KAW'95. 1995;1-20 SRDG Publications, Department of Computer Science, University of Calgary, Calgary.
52. Sumi Y. Supporting the acquisition and modelling of requirements in software design. Candy L., Hori K. Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation. 1997;205-216 Lutchi Research Centre, Loughborough University, UK.
53. Smithers T. Design as exploration: puzzle-making and puzzle-solving. Proceedings of the Workshop on Exploration-based Models of Design and Search-based Models of Design at Second International Conference on AI in Design. 1992;1-21 Department of Artificial Intelligence, Edinburgh University.
54. Smithers T., Troxell W. Design is intelligent behaviour, but what's the formalism? Artificial Intelligence in Engineering Design and Manufacturing (AIEDAM). 4(2):1990;89-98.
55. Gruber T.R., Olsen G.R. An ontology for engineering mathematics. Doyle J., Torasso P., Sanewall E. Fourth International Conference on Principles of Knowledge Representation and Reasoning (Gustav Stresemann Institut, Bonn). 1994;241-245 Morgan Kaufmann, Los Altos, CA.
56. Borst W N, Akkermans J M and Top J L 'Engineering ontologies Using explicit ontologies in KBS development', International Journal of Human-Computer Studies Vol 46 (1997) 365-406.
57. Gruber T.R. A translation approach to portable ontology specifications. Knowledge Acquisition. 5(2):1993;199-220.
58. Benjamins V.R. Problem solving methods for diagnosis. PhD thesis. 1993;University of Amsterdam, Amsterdam.
59. Cornelissen F., Jonker C.M., Treur J. Compositional verification of knowledge-based systems: a case-study for diagnostic reasoning. Plaza E., Benjamins R. Knowledge acquisition, modeling and management, Proceedings of the 10th European Workshop EKAW'97. Lecture Notes in Artificial Intelligence. Vol 1319:1997;65-80 Springer, Berlin.
60. Fensel D., Motta E. Structured development of problem solving methods. Gaines B.R., Musen M.A. Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems Workshop KAW'98. 1998;20 SRDG Publications, Department of Computer Science, University of Calgary, Calgary.
61. Chavez A., Kasbah M.P. Kasbah: an agent marketplace for buying and selling goods. Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology PAAM'96. 1996;75-90 The Practical Application Company Ltd, Blackpool.
62. Chavez A., Dreilinger D., Gutman R., Maes P. A real-life experiment in creating an agent market place. Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology PAAM'97. 1997;159-178 The Practical Application Company Ltd, Blackpool.
63. Kuokka D., Harada L. On using KQML for matchmaking. Lesser V. Proceedings of the First International Conference on Multi-Agent Systems ICMAS'95. 1995;239-245 MIT Press, Cambridge, MA.
64. Martin D., Moran D., Oohama H., Cheyer A. Information brokering in an agent architecture. Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-agent Technology PAAM'97. 1997;467-486 The Practical Application Company Ltd, Blackpool.
65. Sandholm T., Lesser V. Issues in automated negotiation and electronic commerce: extending the contract network. Lesser V. Proceedings of the First International Conference on Multi-Agent Systems ICMAS'95. 1995;328-335 MIT Press, Cambridge, MA.
66. Tsvetovatyy M., Gini M. Toward a virtual marketplace: architectures and strategies. Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology PAAM'96. 1996;597-613 The Practical Application Company Ltd, Blackpool.