Presupposition as anaphora in the Verbmobil semantic formalism

Abstract

In this report we discuss the treatment of presuppositional expressions in the Verbmobil Semantic Formalism (Bos et al., 1994). First a classification of relevant presupposition triggers is given. Then the representation of presuppositions in the Semantic Formalism, which is an extended, compositional version of Discourse Representation Theory, is defined. Finally a procedure for presupposition projection, akin to Van der Sandt's theory (Van der Sandt, 1992), is proposed, illustrated, and discussed.

Dieser Bericht beschäftigt sich mit der Behandlung von Präsuppositionen im Verbmobil Semantikformalismus. Zuerst werden die relevanten Präsuppositionsauslöser klassifiziert. Dann wird die Repräsentation vor Präsuppositionen im Semantikformalismus, der eine erweiterte, kompositionelle Version der Diskurs-Repräsentation-Theorie ist, definiert. Abschliessend wird eine Methode zur Präsuppositionsprojektion, ähnlich der Theorie von Van der Sandt, vorgeschlagen, illustriert und diskutiert.