Dependent Intersection: A New Way of Defining Records in Type Theory
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Incrementality, speaker-hearer switching and the disambiguation challenge
SRSL '09 Proceedings of the 2nd Workshop on Semantic Representation of Spoken Language
Split utterances in dialogue: a corpus study
SIGDIAL '09 Proceedings of the SIGDIAL 2009 Conference: The 10th Annual Meeting of the Special Interest Group on Discourse and Dialogue
Hi-index | 0.00 |
In this paper we set out the preliminaries needed for a formal theory of context, relative to a linguistic framework in which naturallanguage syntax is defined as procedures for context-dependent interpretation. Dynamic Syntax provides a formalism where both representations of content and context are defined dynamically and structurally, with time-linear monotonic growth across sequences of partial trees as the core structure-inducing notion. The primary data involve elliptical fragments, as these provide less familiar evidence of the requisite concept of context than anaphora, but equally central. As part of our sketch of the framework, we show how apparent anomalies for a time-linear basis for interpretation can be straightforwardly characterised once we adopt a new perspective on syntax as the dynamics of transitions between parse-states. We then take this as the basis for providing an integrated account of ellipsis construal. And, as a bonus, we will show how this intrinsically dynamic perspective extends in a seamless way to dialogue exchanges with free shifting of role between speaking and hearing (split-utterances). We shall argue that what is required to explain such dialogue phenomena is for contexts, as representations of content, to include not merely partial structures but also the sequence of actions that led to such structures.