Artificial Intelligence Review

, Volume 8, Issue 5–6, pp 431–445 | Cite as

The DenK-architecture: A fundamental approach to user-interfaces

  • R. M. C. Ahn
  • R. J. Beun
  • T. Borghuis
  • H. C. Bunt
  • C. W. A. M. Van Overveld


In this paper we present the basic principles underlying the DenK-system, a generic cooperative interface combining linguistic and visual interaction. The system integrates results from fundamental research in knowledge representation, communication, natural language semantics and pragmatics, and object-oriented animation. Our design incorporates a cooperative and knowledgeable electronic assistant that communicates with a user in natural language, and an application domain, which is presented visually. The assistant, that we call thecooperator, has an information state that is represented in a rich form of Type Theory, a formalism that enables us to model the inherent cognitive dynamics of a dialogue participant. Pragmatic issues in man-machine interaction, concerning the use of natural language and knowledge in cooperative communication, are central to our approach.

Key words

multimodal interaction knowledge representation natural language semantics pragmatics type theory object oriented animation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ahn, R. M. C. (1994).The Database. Internal Report University of Tilburg (to appear).Google Scholar
  2. Ahn, R. M. C. & Kolb, H. P. (1990). Discourse Representation Meets Constructive Mathematics. In Kálmán, L. & Pólos, L. (eds.)Papers from the Second Symposium on Logic and Language, 105–124. Akadémia Kiadó, Budapest.Google Scholar
  3. Barendregt, H. (1991). Introduction to Generalized Type Systems.Journal of Functional Programming 1(2): 125–154.Google Scholar
  4. Beun, R. J. (1990). The Recognition of Dutch Declarative Questions.Journal of Pragmatics 14: 39–56.Google Scholar
  5. Beun, R. J. (1991). A Framework for Cooperative Dialogues. In Taylor, M. M., Néel, F. & Bouwhuis, D. G. (eds.)Proceedings of the Second Venaco Workshop on the Structure of Multimodal Dialogue. Maratea, Italy.Google Scholar
  6. Van Benthem, J. (1991). Reflections on Epistemic Logic.Logique et Analyse 133–134: 5–14.Google Scholar
  7. Borghuis, T. (1993). Interpreting Modal Natural Deduction in Type Theory. In de Rijke, M. (ed.)Diamonds and Defaults, 67–102. Kluwer Academic Publishers.Google Scholar
  8. De Bruijn, N. G. (1980). A Survey of the Project Automath. In Seldin & Hindley (eds.)To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms, 579–606. Academic Press.Google Scholar
  9. Bunt, H. C. (1989). Information Dialogues as Communicative Action in Relation to Partner Modelling and Information Processing. In Taylor, M. M., Néel, F. & Bouwhuis, D. G. (eds.)The Structure of Multimodel Dialogue, 47–73. North-Holland, Amsterdam.Google Scholar
  10. Bunt, H. C. (1993). Dynamic Interpretation and Dialogue Theory. In Black, W. J. (ed.)Abduction, Belief and Context (to appear).Google Scholar
  11. Burger, J. D. & Marshall, R. J. (1993). The Application of Natural Language Models to Intelligent Multimedia. In Mayburry, M. (ed.)Intelligent Multimedia Interfaces, 174–196. The MIT Press: Massachusetts.Google Scholar
  12. Coquand, T. (1985).Une théorie des Constructions. Thèse de troisième cycle. Université de Paris VII: Paris.Google Scholar
  13. Cremers, A. H. M. (1994). Referring in a Shared Workspace. In Brouwer, M. & Harrington, T. (eds.)Basics of Man-Machine Communication for the Design of Educational Systems, 71–78. Springer-Verlag: Berlin.Google Scholar
  14. Curry, H. B. & Feys R. (1958).Combinatory Logic, Vol. 1, North Holland Publishing Company.Google Scholar
  15. Grice, H. P. (1975). Logic and Conversation. In Cole, P. & Morgan, J. (eds.)Speech Acts. Syntax and semantics, Vol. 11, 41–58. Academic Press: New York.Google Scholar
  16. Grosz, B. J. (1978). Discourse Analysis. In Walker, D. (ed.)Understanding Spoken Language, 229–345, Elsevier North-Holland: New York.Google Scholar
  17. Helmink, L. & Ahn, R. M. C. (1991). Goal Oriented Proof Construction in Type Theory. In Huet, G. & Plotkin, G. (eds.)Logical Frameworks, 120–148. Cambridge University Press: Cambridge.Google Scholar
  18. Hutchins, E. (1989). Metaphors for Interface Design. In Taylor, M. M., Néel, F. & Bouwhuis, D. G. (eds.)The Structure of Multimodal Dialogue, 11–28. North-Holland: Amsterdam.Google Scholar
  19. Kamp, J. A. W. (1981). A Theory of Truth and Semantic Representation. In Groenendijk, J. & Stokhof, M. (eds.)Formal Methods in the Study of Language, 277–322. Mathematisch Centrum: Amsterdam.Google Scholar
  20. Kamp, J. A. W. & Reyle, U. (1993). From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Dordrecht: Kluwer Academic Publishers.Google Scholar
  21. Mäenpää, P. & Ranta, A. (1990). An Implementation of Intuitionistic Categorial Grammar. In Kálmán, L. & Pólos, L. (eds.)Papers from the Second Symposium on Logic and Language, 299–318. Akadémia Kiadó, Budapest.Google Scholar
  22. Martin-Löf, P. (1984).Intuitionistic Type Theory. Bibliopolis: Naples.Google Scholar
  23. Meyer, B. (1988)Object-Oriented Software Construction. Prentice Hall International.Google Scholar
  24. Neal, J. G. & Shapiro, S. C. (1991). Intelligent Multimedia Interface Technology. In Sullivan, J. W. & Taylor, S. W. (eds.)Intelligent User Interfaces, 11–43. Addison-Wesley: Reading, MA.Google Scholar
  25. Van Overveld, C. W. A. M. (1991). The Generalized Display Processor as an Approach to Real Time Interactive 3-D Computer Animation.The Journal of Visualisation and Computer Animation 2(1): 16–21.Google Scholar
  26. Peeters, E. A. J. (1994). LOOKS:Syntax and Semantics. Computing Science Note. Eindhoven University of Technology (to appear).Google Scholar
  27. Searle, J. R. (1969).Speech Acts. Cambridge University Press: Cambridge.Google Scholar
  28. De Souza, C. S. (1993). The Semiotic Engineering of User Interface Languages.International Journal of Man-Machine Studies 39: 753–774.Google Scholar
  29. Wahlster, W., André, E., Finkler, W., Profitlich, H.-J. & Rist, T. (1993). Plan-Based Integration of Natural Language and Graphics Generation.Artificial Intelligence 63: 387–427.Google Scholar
  30. Wilson, M. D., Sedlock, D., Binot, J-L. & Falzon, P. (1991). An Architecture for Multimodal Dialogue. In Taylor, M. M., Néel, F. & Bouwhuis, D. G. (eds.)Proceedings of the Second Venaco Workshop on the Structure of Multimodal Dialogue. Maratea, Italy.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • R. M. C. Ahn
  • R. J. Beun
  • T. Borghuis
  • H. C. Bunt
  • C. W. A. M. Van Overveld

There are no affiliations available

Personalised recommendations