Paper: Embedding DRT In A Situation Theoretic Framework

ACL ID C92-4175
Title Embedding DRT In A Situation Theoretic Framework
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1992
Authors

This paper proposes the use of situation theory as a basic semantic formalism for defining general seman- tic 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.