We present a tableaux-based model generation calculus for Discourse Representation Theory (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.
Keywords: Natural Language Processing, Automated Reasoning, Theorem Proving
Citation: Michael Kohlhase: Model Generation for Discourse Representation Theory. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.441-445.