Hostname: page-component-586b7cd67f-gb8f7 Total loading time: 0 Render date: 2024-11-30T15:06:47.669Z Has data issue: false hasContentIssue false

Modelling conflict management in design: An explicit approach

Published online by Cambridge University Press:  27 February 2009

Frances M.T. Brazier
Affiliation:
Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Pieter H.G. van Langen
Affiliation:
Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Jan Treur
Affiliation:
Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands

Abstract

This paper focusses on how conflicts that arise during a design process and the management of conflicts can be modelled. A number of possible conflict types are distinguished and it is described how each of them can be detected during the design process, using an explicit meta-representation. Furthermore, it is shown how these conflict types can be analyzed and managed by means of strategic meta-knowledge about design processes.

Type
Articles
Copyright
Copyright © Cambridge University Press 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., & Treur, J. (1995). Formal specification of multi-agent systems: A real-world case. In Proc. First Int. Conf. on Multi-Agent Systems, ICMAS ‘95 (Lesser, V., Ed.), pp. 2532. MIT Press, Cambridge, MA.Google Scholar
Brazier, F.M.T., van Langen, P.H.G., Ruttkay, Zs., & Treur, J. (1994). On formal specification of design tasks. In Proc. Artif. Intell. Design ‘94, (Gero, J.S. and Sudweeks, F., Eds.), pp. 535552. Kluwer Academic Publishers, Dordrecht.Google Scholar
Brazier, F.M.T., van Langen, P.H.G., & Treur, J. (1994). A logical theory of design processes. In Proc. AID ‘94 Workshop Nature and Role of Theory in AI in Design Research, (Smithers, T., Ed.). Lausanne, Switzerland.Google Scholar
Brazier, F.M.T., van Langen, P.H.G., Treur, J., Wijngaards, N.J.E., & Willems, M. (1995). Modelling a design task in DESIRE: The VT example. Int. J. Hum. Comput. Studies, Special Issue on Sisyphus (to appear).Google Scholar
Brazier, F.M.T., & Ruttkay, Zs. (1993). Modelling collective user satisfaction. In Proc. HCI International ‘93, pp. 672677. Elsevier Science Publishers, Amsterdam.Google Scholar
Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., & Willems, M. (1994). A formalisation of hierarchical task decomposition. In Proc. ECAI ‘94 Workshop Formal Specification Methods for Knowledge-Based Systems, (Aben, M., Fensel, D., van Harmelen, F., and Willems, M., Eds.), pp. 97112. Amsterdam.Google Scholar
Brumsen, H.A., Pannekeet, J.H.M., & Treur, J. (1992). A compositional knowledge-based architecture modelling process aspects of de-sign tasks. In Proc. Twelfth Int. Conf. Artif. Intell., Expert Systems and Natural Language, Avignon ‘92, Vol. 1, pp. 283293. EC2, Nanterre.Google Scholar
Engelfriet, J., & Treur, J. (1994). Temporal theories of reasoning. In Logics in Artif. Intell.: Proc. Fourth Europ. Workshop Logics in Artif. Intell., JELIA ‘94, (MacNish, C, Pearce, D. and Pereira, L.M., Eds.), pp. 279299. Springer-Verlag, Heidelberg. Also to appear in J. Appl. Non-classical Logic, special issue with selected papers from JELIA ‘94.CrossRefGoogle Scholar
Gavrila, I.S., & Treur, J. (1994). A formal model for the dynamics of compositional reasoning systems. In Proc. Eleventh Europ. Conf. Artif. Intell., ECAI ‘94, (Cohn, A.G., Ed.), pp. 307311. John Wiley & Sons, Chichester.Google Scholar
Geelen, P.A., & Kowalczyk, W. (1992). A knowledge-based system for the routing of international blank payment orders. In Proc. Twelfth Int. Conf. Artif. Intell., Expert Systems and Natural Language, Avignon ‘92, Vol. 2, pp. 669677. EC2, Nanterre.Google Scholar
Geelen, P.A., Ruttkay, Zs., & Treur, J. (1991). Logical analysis and specification of an office assignment task. Tech. Rep. IR-283, AI Group, Dept. of Math, and Comp. Science, Vrije Universiteit, Amsterdam.Google Scholar
Haroud, D., Boulanger, S., Gelle, E., & Smith, I.F.C. (1994). Strategies for conflict management in preliminary engineering design. In Proc. AID ‘94 Workshop Conflict Management in Design, (Smith, I.F.C., Ed.). Lausanne, Switzerland.Google Scholar
Oh, V. & Sharp, J. (1994). Managing conflicts in an interdisciplinary design environment. In Proc. AID ‘94 Workshop Conflict Management in Design, (Smith, I.F.C., Ed.). Lausanne, Switzerland.Google Scholar
Pannekeet, J.H.M., Philipsen, A.W., & Treur, J. (1991). Designing com-positional assumption revision. Tech. Rep. IR-279, AI Group, Dept. of Math, and Comp. Science, Vrije Universiteit, Amsterdam.Google Scholar
Petrie, C.J., Cutkosky, M.R., Weber, T., & Conru, A.B. (1994). Next-link: An experiment in coordination of distributed agents. In Proc. AID '94 Workshop Conflict Management in Design, (Smith, I.F.C., Ed.). Lausanne, Switzerland.Google Scholar
Treur, J. (1994). Temporal semantics of meta-level architectures for dynamic control of reasoning. In Proc. Fourth Int. Workshop Meta-Programming in Logic, META ‘94, (Fribourg, L., & Turini, F., Eds.), Lecture Notes in Computer Science, Vol. 883, pp. 353376. Springer-Verlag, Heidelberg.Google Scholar
Treur, J., & Willems, M. (1994a). A logical foundation for verification. In Proc. Eleventh Europ. Conf. Artif. Intell. ECAI ‘94, (Cohn, A.G., Ed.), pp. 745749. John Wiley & Sons, Chichester.Google Scholar
Treur, J., & Willems, M. (1994b). On verification in compositional knowledge-based systems. In Proc. ECAI ‘94 Workshop Validation of Knowledge-Based Systems, (Preece, A., Ed.), pp. 420. Amsterdam.Google Scholar