. We present a tableaux-based model generation calculus for DRT, which gives us an incremental approach to discourse processing in the presence of world knowledge. We show the usefulness of such as system for several discourse phenomena.

Although natural language is ambiguous, various linguistic and extra-linguistic factors often help determine a preferred reading. In this paper, we show that model generation can be used to model this process in the case of reciprocal statements. The proposed analysis builds on insights from Dalrymple et al. 98 and is shown to provide an integrated, computational account of the interplay between model theoretic interpretation, knowledge-based reasoning and preferences that characterises the interpretation of reciprocals.