User centered knowledge-based system design: a formal modelling approach

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 867)


External World Task Model Test Execution Intelligent Interface Formal Modelling Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brazier, F.M.T. and van der Veer, G.C., 1991. Design decisions for a user interface. In Ackerman, D. & Tauber, M. (eds), Mental Models and Human Computer Interaction. North Holland: Amsterdam.Google Scholar
  2. Brazier, F.M.T. and Ruttkay, Zs., 1993. A Compositional, Knowledge-based Architecture for Intelligent Query User Interfaces, Adjunct proceedings of INTERCHI'93 ACM Press, Amsterdam, 1993. 145–146.Google Scholar
  3. Brumsen, H.A., Pannekeet, J.H.M. and Treur, J., 1992. A compositional knowledge-based architecture modelling process aspects of design tasks. In: Proc. of the 12th Int. Conf. on AI, Expert systems and Natural Language, Avignon'92, Vol. 1: pp. 283–294.Google Scholar
  4. Chignell, M.H., Hancock, P.A. and Loewenthal, A. 1989. An introduction to intelligent interfaces. Intelligent interfaces: Theory, Research and Design. North Holland: Amsterdam, 1–27.Google Scholar
  5. Gavrila, I.S. and Treur, J., 1994. A formal model for the dynamics of compositional reasoning systems, in A.G. Conn (ed.), Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94, John Wiley & Sons, Chichester.Google Scholar
  6. Dunin Keplicz, B. and Treur, J., 1994. Compositional formal specification of multi-agent architectures. In: M. Wooldridge & N. Jennings (eds.), Proc. ECAI'94 Workshop on Agent Theories, Architectures and Languages.Google Scholar
  7. Engelfriet, J. and Treur, J., 1994. Temporal theories of reasoning, Proc. Fourth European Workshop on Logics in AI, JELIA'94, Springer Verlag.Google Scholar
  8. Ford, K.M., Bradshaw, J.M., Adams-Webber, J.R. and Agnew, N.M., 1993. Knowledge Acquisition as a Constructive Modeling Activity, IJIS, Vol 8, 9–32, Wiley, N.Y.Google Scholar
  9. Geelen, P.A. and Kowalczyk, W., 1992. A knowledge-based system for the routing of international blank payment orders. In: Proc. of the 12th Int. Conf. on AI, Expert Systems and Natural Language, Avignon'92, Vol. 2, pp. 669–677.Google Scholar
  10. Huhns, M. (ed.), 1987. Distributed Artifical Intelligence, Morgan Kaufman.Google Scholar
  11. Jennings, N.R., 1992. Towards a cooperation knowledge level for collaborative problem solving, in B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, Chichester, pp. 224–228.Google Scholar
  12. Kowalczyk, W. and Treur, J., 1990. On the use of a formalized generic task model in knowledge acquisition, In: B.J. Wielinga, J. Boose, B.R. Gaines, A.Th. Schreiber, M.W. van Someren (eds.), Current Trends in Knowledge Acquisition (Proceedings EKAW-90), IOS Press, Amsterdam, pp. 198–221.Google Scholar
  13. Kowalczyk, W. and Treur, J., 1990. Formal specification of task-specific architectures, Report IR-232, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam.Google Scholar
  14. Langevelde, I.A. van, Philipsen, A.W. and Treur, J., 1992. Formal specification of compositional architectures, in B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, Chichester, 1992, pp. 272–276.Google Scholar
  15. Moran, T.P., 1983. Getting into a system. External-Internal task mapping analysis. CHI'83 Proceedings. North Holland: Amsterdam, 51–56.Google Scholar
  16. Norman, D.A., 1982. Some observations on mental models. In: Gentner, D., Stevens, A.L. (eds), Mental Models, Erlbaum Ass, Hillsdale, N.J.Google Scholar
  17. Oberquelle, H., Kupka, I. and Maass, S., 1983. A view of human-machine communication and co-operation, Int. Journal of Man-Machine Studies, 1983, pp. 309–333.Google Scholar
  18. Pannekeet, J.H.M., Philipsen, A.W. and Treur, J., 1992. Designing compositional assumption revision, Report IR-279, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991. Shorter version in: H. de Swaan Arons et al., Proc. Dutch AI-Conference, NAIC-92, 1992, pp. 285–296.Google Scholar
  19. Payne, S.J., 1987. Complex problem spaces: modelling the knowledge needed to use interactive devices. In: H-J Bullinger, B. Schakel (eds), Human-Computer Interaction — Interact 87. North Holland: Amsterdam, 203–208.Google Scholar
  20. Sutcliffe, A., 1989. Task analysis, systems analysis and design: symbiosis or synthesis? Interacting with Computers.Google Scholar
  21. Tauber, M.J., 1990. ETAG: Extended task action grammar — a language for the description of the user's task language. In: D. Diaper, D. Gilmore, G. Cockton & B. Schakel (eds), Human-Computer Interaction — INTERACT 90 Elsevier: Amsterdam. 1,1, 6–12.Google Scholar
  22. Treur, J., 1991. Interaction types and chemistry of generic task models, in: M. Linster, B. Gaines, (eds.), Proc. EKAW91. GMD Studien 211, 1992, pp. 390–414.Google Scholar
  23. Treur, J., 1993. Heuristic reasoning and relative incompleteness, Int. Journal of Approximate Reasoning 8 (1993), pp. 51–87.Google Scholar
  24. Treur, J., 1994. Temporal semantics of meta-level architectures for dynamic control, Proc. META'94.Google Scholar
  25. Treur, J. and Wetter, Th., 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood, 1993.Google Scholar
  26. Wilson, S., Johnson, P., Kelly, C., Cunningham, J. and Markopoulos, P. 1993. Beyond Hacking: a Model Based Approach to User Interface Design. In Proceedings HCI'93. Cambridge University Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  1. 1.Department of Mathematics and Computer Science Artificial Intelligence GroupVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations