Discourse, anaphora and parsing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Computational situation theory
ACM SIGART Bulletin
Hi-index | 0.00 |
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.