话语表示理论是一种动态语义理论，它从不定名词的表示和对驴句 (Donkey Sentence) 真值条件的刻画出发，构建了一套与真值语义有着紧密联系的认知表示框架。在此次报告中，报告人介绍了 Kamp (1981) 中提出的最初版本话语表示理论对于不定名词、条件句、全称量词等现象的处理，也基于 Kamp, et al (2011) 介绍了经过多年发展的话语表示理论的形式化定义和模型论解释。