A model of plan inference that distinguishes between the beliefs of actors and observers
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A compositional semantics of temporal expressions in English
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
An environment for acquiring semantic information
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
HLT '90 Proceedings of the workshop on Speech and Natural Language
Time, tense and aspect in natural language database interfaces
Natural Language Engineering
Splitting the reference time: temporal anaphora and quantification in DRT
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
A simplified theory of tense representations and constraints on their composition
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Querying temporal databases using controlled natural language
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Computational aspects of discourse in the context of MUC-3
MUC3 '91 Proceedings of the 3rd conference on Message understanding
Interpreting temporal adverbials
HLT '93 Proceedings of the workshop on Human Language Technology
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
This paper describes a compositional semantics for temporal expressions as part of the meaning representation language (MRL) of the JANUS system, a natural language understanding and generation system under joint development by BBN Labs and ISI. The analysis is based on a higher-order intensional logic described in detail in Hinrichs (1987a). Temporal expressions of English are translated into this language as quantifiers over times that bind temporal indices on predicates. The semantic evaluation of time-dependent predicates is defined relative to a set of discourse contexts, which, following Reichenbach (1947), include the parameters of speech time and reference time. The resulting context-dependent and multi-indexed interpretation of temporal expressions solves a set of well-known problems that arise when traditional systems of tense logic are applied to natural language semantics. Based on the principle of rule-to-rule translation, the compositional nature of the analysis provides a straightforward and well-defined interface between the parsing component and the semantic-interpretation component of JANUS.