1999
DOI: 10.1007/3-540-48167-2_2
|View full text |Cite
|
Sign up to set email alerts
|

Communication Modelling and Context-Dependent Interpretation: An Integrated Approach

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2000
2000
2000
2000

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 2 publications
0
2
0
Order By: Relevance
“…Type theory has been originally developed for foundational research in mathematics, and has also been applied in the theory of programming languages and in the semantics of natural language (see De Bruijn 1980;Barendregt 1991;Ahn and Kolb 1990). Research in the DENK project has shown the great potential of type-theoretical representations as formalisations of context information, provided the representation structures and proof methods of standard type theory are extended in order to model beliefs and intentions of agents participating in a dialogue (see Borghuis 1995;Ahn and Borghuis 1998). In the DENK system, type theory is used for the semantic representation of the utterances exchanged by the user and the system; for representing the system's knowledge of the discourse domain; and for representing the beliefs that the system believes to be shared with the user.…”
Section: Plus and Denkmentioning
confidence: 99%
“…Type theory has been originally developed for foundational research in mathematics, and has also been applied in the theory of programming languages and in the semantics of natural language (see De Bruijn 1980;Barendregt 1991;Ahn and Kolb 1990). Research in the DENK project has shown the great potential of type-theoretical representations as formalisations of context information, provided the representation structures and proof methods of standard type theory are extended in order to model beliefs and intentions of agents participating in a dialogue (see Borghuis 1995;Ahn and Borghuis 1998). In the DENK system, type theory is used for the semantic representation of the utterances exchanged by the user and the system; for representing the system's knowledge of the discourse domain; and for representing the beliefs that the system believes to be shared with the user.…”
Section: Plus and Denkmentioning
confidence: 99%
“…Within that project, CTT was used as the formal basis of a dialogue system. A selection of further papers on information exchange and CTT which arose out of this project are Ahn (1995), Ahn and Borghuis (1997), Beun and Kievit (1995), Kievit (1998), Krahmer and Piwek (forthcoming), and Piwek and Krahmer (in press). Finally, we refer to Beun (1994) and Piwek (1997; for further investigations of dialogue structure and information flow within DENK.…”
Section: Questions and Answersmentioning
confidence: 99%