Redesign and reuse in compositional knowledge-based systems

Knowledge-Based Systems

Volumn 9, Issue 2 SPEC. ISS., 1996, Pages 105-118

  Brazier, Frances M T ^a   Van Langen, Pieter H G ^a   Treur, Jan ^a   Wijngaards, Niek I E ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Compositional architectures; Generic task models; Redesign; Reuse

Indexed keywords

COMPUTER SIMULATION; DESIGN; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; LEARNING SYSTEMS; SYSTEMS ANALYSIS;

COMPOSITIONAL KNOWLEDGE BASED SYSTEMS; GENERIC TASK MODEL; REDESIGN; REUSE;

KNOWLEDGE BASED SYSTEMS;

EID: 0030125365     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-7051(95)01026-2     Document Type: Article

References (27)

1. F.M.T. Brazier, P.H.G. van Langen and J. Treur, Modelling conflict management in design: an explicit approach. Technical Report IR-376, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in J. Artificial Intelligence, Engineering Design and Manufacturing (1995) (special issue on conflict management)).
2. F.M.T. Brazier, P.H.G. van Langen and J. Treur, Modelling conflict management in design: an explicit approach. Technical Report IR-376, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in J. Artificial Intelligence, Engineering Design and Manufacturing (1995) (special issue on conflict management)).
3. F.M.T. Brazier, P.H.G. van Langen, Z. Ruttkay and J. Treur, On formal specification of design tasks, in J.S. Gero and F. Sudweeks (eds.), Proc. Artificial Intelligence in Design '94 Kluwer, Netherlands, 1994, pp. 535-552.
4. F.M.T. Brazier, P.H.G. van Langen and J. Treur, A logical theory of design, Technical Report IR-374, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in Proc. IFIP WG5.2 Second Workshop on Formal Design Methods for CAD, Mexico City, 1995).
5. F.M.T. Brazier, P.H.G. van Langen and J. Treur, A logical theory of design, Technical Report IR-374, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in Proc. IFIP WG5.2 Second Workshop on Formal Design Methods for CAD, Mexico City, 1995).
6. H.A. Brumsen, J.H.M. Pannekeet and J. Treur, A compositional knowledge-based architecture modelling process: aspects of design tasks, in Proc. Avignon-92: Twelfth Int. Conf. Artificial Intelligence, Expert Systems and Natural Language, Vol. 1, 1992, pp. 283-294.
7. P.A. Geelen and W. Kowalczyk, A knowledge-based system for the routing of international bank payment orders, in Proc. Avignon-92 Twelfth Int. Conf. on Artificial Intelligence, Expert Systems and Natural Language, Vol. 2, 1992, pp. 669-677.
8. R.D. Coyne, M.A. Rosenman, A.D. Radford, M. Balachandran and J.S. Gero, Knowledge-Based Design Systems, Addison-Wesley, USA, 1990.
9. T. Smithers, 'On the nature of theory and design, in T. Smithers (ed.), Workshop Notes of AID '94 Workshop on the Role and Nature of Theory in AI in Design Research, 1994.
10. G. R. Yost, Configuring elevator systems, Technical Report Stanford Version 1.3 Medical Computer Science Group, Knowledge Systems Laboratory, Stanford University, USA, 1994.
11. F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards and M. Willems, Modelling a design task in DESIRE: the VT example, Technical Report IR-377, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in Int. J. Human-Computer Studies (1995) (special issue on Sisyphus)).
12. F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards and M. Willems, Modelling a design task in DESIRE: the VT example, Technical Report IR-377, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in Int. J. Human-Computer Studies (1995) (special issue on Sisyphus)).
13. W. Kowalczyk and J. Treur, On the use of a formalized generic task model in knowledge acquisition, in B.J. Wielinga, J.H. Boose, B.R. Gaines, A.T. Schreiber and M.W. van Someren (eds.), Current Trends in Knowledge Acquisition: Proc. EKAW '90: European Knowledge Acquisition Workshop, IOS Press, Netherlands, 1990, pp. 198-221.
14. D.C. Brown and B. Chandrasekaran, Design Problem Solving: Knowledge Structures and Control Strategies, Pitman, UK, 1989.
15. B. Chandrasekaran, Design problem solving: a task analysis, AI Magazine, 11, (1990) pp. 59-71.
16. J. Breuker (ed.), Model driven knowledge acquisition: interpretation models, Deliverable A1, ESPRIT Project 1098, 1987.
17. I.F.C. Smith and S. Boulanger, Knowledge representation for preliminary stages of engineering tasks, Knowledge-Based Systems, 7 (1994) pp. 161-168.
18. J. Engelfriet and J. Treur, Temporal theories of reasoning, in C. MacNish, D. Pearce and L.M. Pereira (eds.), Logics in Artificial Intelligence: Proc. JELIA '94: Fourth European Workshop on Logics in Artificial Intelligence Springer-Verlag, 1994, pp. 279-299 (also to appear in J. Applied Non-Classical Logic (special issue of selected papers from JELIA '94).
19. J. Engelfriet and J. Treur, Temporal theories of reasoning, in C. MacNish, D. Pearce and L.M. Pereira (eds.), Logics in Artificial Intelligence: Proc. JELIA '94: Fourth European Workshop on Logics in Artificial Intelligence Springer-Verlag, 1994, pp. 279-299 (also to appear in J. Applied Non-Classical Logic (special issue of selected papers from JELIA '94).
20. C.J. Petrie, M.R. Cutkosky and H. Park, Design space navigation as a collaborative aid, in J.S. Gero and F. Sudweeks (eds.), Proc. Artificial Intelligence in Design '94 Kluwer, Netherlands, 1994, pp. 611-623.
21. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards and M. Willems, A formalization of hierarchical task decomposition, in M. Aben, D. Fensel, F. van Harmelen and M. Willems (eds.), Proc. ECAI'94 Workshop on Formal Specification Methods for Knowledge Based Systems, 1994, pp. 97-112.
22. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards and M. Willems, Temporal semantics and specification of complex tasks, Technical Report IR-375, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in J.C. Bioch (ed.), Proc. NAIC '95: Dutch Artificial Intelligence Conf., Erasmus University, Netherlands, 1995.
23. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards and M. Willems, Temporal semantics and specification of complex tasks, Technical Report IR-375, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, Netherlands, 1994 (also in J.C. Bioch (ed.), Proc. NAIC '95: Dutch Artificial Intelligence Conf., Erasmus University, Netherlands, 1995.
24. I.A. van Langevelde, A.W. Philipsen and J. Treur, 'Formal specification of compositional architectures, in B. Neumann (ed.), Proc. ECAI '92: 10th European Conf. Artificial Intelligence, John Wiley, UK, 1992, pp. 272-276.
25. J. Vanwelkenhuysen and R. Mizoguchi, Workplace-adapted behaviours: lessons learned for knowledge reuse, Proc. Second Int. Conf. Building and Sharing Very Large-Scale Knowledge Bases, Enschede, Netherlands, 1995.
26. J. Treur and M. Willems, On verification in compositional knowledge-based systems, in A. Preece (ed.), Proc ECAI '94 Workshop on Validation of Knowledge-Based Systems 1994, pp. 4-20 (updated version in M.-C. Rousset and M. Ayel (eds.), Proc. EUROVAV '95: European Symposium on Validation and Verification of KBSs, Chambéry, France, 1995.
27. J. Treur and M. Willems, On verification in compositional knowledge-based systems, in A. Preece (ed.), Proc ECAI '94 Workshop on Validation of Knowledge-Based Systems 1994, pp. 4-20 (updated version in M.-C. Rousset and M. Ayel (eds.), Proc. EUROVAV '95: European Symposium on Validation and Verification of KBSs, Chambéry, France, 1995.