A Language Game for Identifying Intended Referents

Peter Krause
IMS, Univ of Stuttgart

Cooperative user interfaces have to be able to start clarification
subdialogues.  In this talk, I will describe a theoretical model in
which they are analysed as language games.  The pragmatic level of the
analysis is explicitly related to the semantic level, which is
formulated in discourse representation theory, in particular its
extension to deal with propositional attitudes.