The DenK system: modelling pragmatic issues in interaction with machines
RJ Robbert-Jan Beun, Rmc Rene Ahn · TU/e Research Portal · 1994
In this paper we present the basic principles underlying the DenK system, a 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. The design incorporates a cooperative and knowledgeable assistant that communicates in symbolic representation with a user, and an application domain, which is presented graphically. The assistant, called the cooperator, has an information state represented in a rich form of Type Theory, a formalism that enables us to model the cognitive dynamics of a dialogue participant. Pragmatic issues in human-machine interaction, concerning the use of knowledge representation and natural language in cooperative communication, are central to our approach.