Strategic knowledge in design: A compositional approach

Knowledge-Based Systems

Volumn 11, Issue 7-8, 1998, Pages 405-416

  Brazier, Frances M T ^a   Van Langen, Pieter H G ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Compositionality; Meta knowledge; Representing strategic knowledge

Indexed keywords

DECISION MAKING; PRODUCT DESIGN; STRATEGIC PLANNING;

STRATEGIC KNOWLEDGE;

KNOWLEDGE REPRESENTATION;

EID: 0032299276     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-7051(98)00074-4     Document Type: Article

References (26)

1. F.M.T. Brazier, P.H.G. van Langen, J. Treur, Strategic knowledge in compositional design models, in: J.S. Gero, F. Sudweeks (Eds.), Artificial Intelligence in Design '98, Dordrecht, The Netherlands, Kluwer Academic, 1998, pp. 129-147.
2. S. Ohsuga, Framework of knowledge-based systems: multiple metalevel architecture for representing problems and problem solving processes, Knowledge Based Systems 3 (4) (1990) 204-214.
3. S. Oshuga, Strategic knowledge makes knowledge based systems truly intelligent, in: L. Candy, K. Hori (Eds.), Proc. First Int. Workshop on Strategic Knowledge and Concept Formation, Loughborough University, UK, 1997.
4. K. Hori, Where is, what is and how can we use strategic knowledge, in: L. Candy, K. Hori (Eds.), Proc. First Int. Workshop on Strategic Knowledge and Concept Formation, Loughborough University, UK, 1997.
5. Y. Sumi, Supporting the acquisition and modelling of requirements in software design, in: L. Candy, K. Hori (Eds.), Proc. First Int. Workshop on Strategic Knowledge and Concept Formation, Loughborough University, UK, 1997.
6. F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, J. Treur, Formal specification of multi-agent systems: a real-world case, in: V. Lesser (Ed.), Proc. First Int. Conference on Multi-Agent Systems (ICMAS'95), Cambridge, MA, MIT Press, 1995, pp. 25-32. Extended version in M. Huhns, M. Singh (Eds.), Int. J. Cooperative Information Systems, Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 6 (1997) 67-94.
7. F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, J. Treur, Formal specification of multi-agent systems: a real-world case, in: V. Lesser (Ed.), Proc. First Int. Conference on Multi-Agent Systems (ICMAS'95), Cambridge, MA, MIT Press, 1995, pp. 25-32. Extended version in M. Huhns, M. Singh (Eds.), Int. J. Cooperative Information Systems, Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 6 (1997) 67-94.
8. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, M. Willems, Temporal semantics of compositional task models and problem solving methods. Data and Knowledge Engineering (in press) (1998).
9. F.M.T. Brazier, C.M. Jonker, J. Treur, Principles of compositional multi-agent system development, in: J. Cuena (Ed.), Proc. of the IFIP'98 Conference on Information Technology and Knowledge Systems, IT and KNOWS'98, Chapman and Hall (in press), 1998.
10. K.M. Ford, J.M. Bradshaw, J.R. Adams-Webber, N.M. Agnew, Knowledge acquisition as a constructive modeling activity, in: K.M. Ford, J.M. Bradshaw (Eds.), Int. J. Intelligent Systems, Special Issue on Knowledge Acquisition as Modeling 8(1) (1993) 9-23.
11. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, Modelling interaction with experts: the role of a shared task model, in: W. Wahlster (Ed.), Proc. Twelfth European Conference on AI (ECAI'96), Chichester, UK, John Wiley, 1996, pp. 241-245.
12. Ö. Akin, How do architects design?, in: J.-C. Latombe (Ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design, Amsterdam, The Netherlands, North-Holland, 1978, pp. 65-119.
13. D.C. Brown, B. Chandrasekaran, Design Problem Solving: Knowledge Structures and Control Strategies. Research Notes in Artificial Intelligence, London, UK, Pitman, 1989.
14. G. Pahl, W. Beitz, Engineering Design, Springer, New York, NY, 1984.
15. D.A. Schön, The Reflective Practitioner: How Professionals Think in Action, Temple Smith, London, UK, 1983.
16. T. Smithers, D. Corne, P. Ross, On computing exploration and solving design problems, in: J.S. Gero, E. Tyugu (Eds.), Formal Design Methods for CAD, Elsevier Science, Amsterdam, The Netherlands, 1994, pp. 293-313.
17. F.M.T. Brazier, P.H.G. van Langen, Zs. Ruttkay, J. Treur, On formal specification of design tasks, in: J.S. Gero, F. Sudweeks (Eds.), Artificial Intelligence in Design '94, Dordrecht, The Netherlands, Kluwer Academic, 1994, pp. 535-552.
18. F.M.T. Brazier, P.H.G. van Langen, J. Treur, Modelling conflict management in design: an explicit approach, in: I.F.C. Smith (Ed.), AIEDAM, Special Issue on Conflict Management in Design, Vol. 9(4), 1995, pp. 353-366.
19. F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards, Redesign and reuse in compositional knowledge-based systems, in: P.M. Wognum, I.F.C. Smith (Eds.), Knowledge Based Systems, Special Issue on Models and Techniques for Reuse of Designs, Vol. 9, 1996, pp. 105-118.
20. F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards, M. Willems, Modelling an elevator design task in DESIRE: the VT example, in: A.Th. Schreiber, W.P. Birmingham (Eds.), Int. J. Human-Computer Studies, Special Issue on Sisyphus-VT, Vol. 44, 1996, pp. 469-520.
21. F.M.T. Brazier, P.H.G. van Langen, J. Treur, A compositional approach to modelling design rationale, in: P.W.H. Chung, R. Bañares-Alcántara (Eds.), AIEDAM, Special Issue on Representing and Using Design Rationale, Vol. 11(2), 1997, pp. 125-139.
22. D. Haroud, S. Boulanger, E. Gelle, I.F.C. Smith, Strategies for conflict management in preliminary engineering design, in: I.F.C. Smith (Ed.), Proc. AID '94 Workshop on Conflict Management in Design, 1994.
23. R. Davis, Meta-rules: Reasoning about control, Artificial Intelligence 15 (1980) 179-222.
24. F. Harmelen, B. van Wielinga, B. Bredeweg, G. Schreiber, W. Karbach, M. Reinders, A. Vos, H. Akkermans, B. Bartsch-Sporl, E. Vinkhuyzen, Knowledge-level reflection, in: B. Le Pape, L. Steels (Eds.), Enhancing the Knowledge Engineering Process-Contributions from ESPRIT, Elsevier Science, Amsterdam, The Netherlands, 1992, pp. 175-204.
25. P. Maes, D. Nardi (Eds.), Meta-level Architectures and Reflection, Elsevier Science, 1988.
26. R.W. Weyhrauch, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980) 133-170.