Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Ahn, R. M. C. (1994).The Database. Internal Report University of Tilburg (to appear).
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.
Barendregt, H. (1991). Introduction to Generalized Type Systems.Journal of Functional Programming 1(2): 125–154.
Beun, R. J. (1990). The Recognition of Dutch Declarative Questions.Journal of Pragmatics 14: 39–56.
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.
Van Benthem, J. (1991). Reflections on Epistemic Logic.Logique et Analyse 133–134: 5–14.
Borghuis, T. (1993). Interpreting Modal Natural Deduction in Type Theory. In de Rijke, M. (ed.)Diamonds and Defaults, 67–102. Kluwer Academic Publishers.
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.
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.
Bunt, H. C. (1993). Dynamic Interpretation and Dialogue Theory. In Black, W. J. (ed.)Abduction, Belief and Context (to appear).
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.
Coquand, T. (1985).Une théorie des Constructions. Thèse de troisième cycle. Université de Paris VII: Paris.
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.
Curry, H. B. & Feys R. (1958).Combinatory Logic, Vol. 1, North Holland Publishing Company.
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.
Grosz, B. J. (1978). Discourse Analysis. In Walker, D. (ed.)Understanding Spoken Language, 229–345, Elsevier North-Holland: New York.
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.
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.
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.
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.
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.
Martin-Löf, P. (1984).Intuitionistic Type Theory. Bibliopolis: Naples.
Meyer, B. (1988)Object-Oriented Software Construction. Prentice Hall International.
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.
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.
Peeters, E. A. J. (1994). LOOKS:Syntax and Semantics. Computing Science Note. Eindhoven University of Technology (to appear).
Searle, J. R. (1969).Speech Acts. Cambridge University Press: Cambridge.
De Souza, C. S. (1993). The Semiotic Engineering of User Interface Languages.International Journal of Man-Machine Studies 39: 753–774.
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.
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.
Additional information
Authors' addresses: R. M. C. Ahn and H. C. Bunt, Institute for Language Technology and Artificial Intelligence (ITK), Tilburg University, P.O. Box 90153, 5000 LE Tilburg, The Netherlands, e-mail: r.m.c.ahn@kub.nl, h.c.bunt@kub.nl; R. J. Beun, Institute for Perception Research (IPO), P.O. Box 513, 5600 MB Eindhoven, The Netherlands, e-mail: rjbeun@prl.philips.nl; T. Borghuis and C. W. A. M. van Overveld, Eindhoven University of Technology, Den Dolech 2, Eindhoven, The Netherlands, e-mail: tijn@win.tue.nl, wsinkvo@info.win.tue.nl.
Rights and permissions
About this article
Cite this article
Ahn, R.M.C., Beun, R.J., Borghuis, T. et al. The DenK-architecture: A fundamental approach to user-interfaces. Artif Intell Rev 8, 431–445 (1994). https://doi.org/10.1007/BF00849729
Issue Date:
DOI: https://doi.org/10.1007/BF00849729