Abstract
Temporal reasoning in time about time is paradigmatic of situated reasoning in changing contexts with partial information in natural language. The DAT system designs visually direct representations of temporal dependencies in tree structures, which facilitates inference as geometric form manipulation. Conflicting information and accommodation of presuppositions are two forms of dynamic inference, whereas stative information may be inferred dependent on the DAT structure and its unique current node. Some metalogical properties of DAT logic are presented as manipulations on texts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cf. [Car0Pel95], especially [Kri0+95].
Cf. [tMe95,tMe99,tMe00].
Cf. [KamRey93]
The appendix in [tMe95] reviews the most important linguistic differences between DRT and DATs, showing that atelic event descriptions, or activities, should be distinguished from the state descriptions, though both preserve the current context.
In this paper, we have not yet made any use of roles in DAT- representations. They are listed here for sake of completeness of the TYPE specification. The additional condition on forming roles from restricted parametric types is called the Absorption law in [GawPet90], supported by empirical linguistic arguments based on VP anaphora.
Later, this clause needs to be refined to allow for presupposition accommodation to open up a plug and add new dependant nodes. This is a restructuring operation in DATs.
See [vBe83] for arguments why the convexity and monotonicity are the minimal principles governing the event based temporal logic. Overlap is definable (x overlaps with y if there is a z that is part of both).
The notion command is an adaptation of the core configurational notion precede and command in generative syntax. It is defined here as follows: a node n commands all right sister nodes, descending from its parent, and their depending nodes.
Strictly speaking the construction rules for adverbial phrases have not yet been specified. For simplicity, I treat this adverbial phrase as if it were the indicative sentence with past tense ‘Jane had dinner’.
Cf. [Dow79] for linguistic applications of interval semantics.
Cf. [Las0Ash93].
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
ter Meulen, A.G.B. (2003). Situated Reasoning in Time about Time. In: Löwe, B., Malzkom, W., Räsch, T. (eds) Foundations of the Formal Sciences II. Trends in Logic, vol 17. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0395-6_14
Download citation
DOI: https://doi.org/10.1007/978-94-017-0395-6_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6233-8
Online ISBN: 978-94-017-0395-6
eBook Packages: Springer Book Archive