Embedding DRT in a situation theoretic framework

Alan W Black
1992 Proceedings of the 14th conference on Computational linguistics -   unpublished
This paper proposes the use of situation theory as a basic semantic formalism for defining general semantic theories. ASTL, a computational situation theoretic language, is described which goes some way to offering such a system. After a general description of Discourse Representation Theory an encoding of DRT in ASTL is given. Advantages and disadvantages of this method are then discussed. Topie: computational formalisms in semantics and discourse ACRES DE COLING-92, NANTES.
doi:10.3115/992424.992440 fatcat:h7aypmbxqjhafi5ub4sgxm7tvm