A Translation from Logic to English with Dynamic Semantics

摘要

We present a procedure for translating predicate logic into English, which generates both referring and non-referring expressions using a dynamically updated context representation. The system treats referring and non-referring expressions within a unified framework, capturing their common properties - both bound and referential anaphora require an accessible antedecent - and the special properties of non-referring expressions: Non-referring expressions are introduced with quantificational determiners, and correspond to short-term discourse referents.