## Dynamic bracketing and discourse representation

Venue: | Philosophy Department, Utrecht University, March1995 |

Citations: | 6 - 1 self |

### BibTeX

@TECHREPORT{Visser_dynamicbracketing,

author = {Albert Visser and Kees Vermeulen},

title = {Dynamic bracketing and discourse representation},

institution = {Philosophy Department, Utrecht University, March1995},

year = {}

}

### Years of Citing Articles

### OpenURL

### Abstract

In this paper we describe a framework for the construction of entities, that can serve asinterpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells: the proposed meanings for bracket-structures. 1

### Citations

659 |
A Theory of truth and semantic representation
- Kamp
- 1981
(Show Context)
Citation Context ...der x goes to a certain fixed file. But if we can view exists and exit as brackets, where these brackets are given instructions as meanings, 1 Our semantics is also closely related to Kamp's DRT (see =-=[Kam81]-=-, [KR93]) and to Seuren's Discourse Semantics (see [Seu85]). 2 See also [HV94] why should we not seriously consider to give the usual brackets also such a semantics? Our first programmatic point was t... |

419 |
Category Theory for Computer Science
- Barr, Wells
- 1990
(Show Context)
Citation Context ...escribe the flow of the levels, the category-theoretical machinery is tailor-made. 3.1 Basics This section introduces the basic concepts of category theory. The reader is referred to [Mac71], [MA75], =-=[BW89]-=- for more information. A category A is a structure hOb; Ar ; id ; dom ; cod ; ffii, where: . Ob is a non-empty class, the class of objects . Ar is a class, the class of arrows or homomorphisms . id is... |

406 | Dynamic Predicate Logic
- Groenendijk, Stokhof
- 1991
(Show Context)
Citation Context ...onsider an analogy. The first one is existential quantification. In dynamic semantics the existential quantifier 9x is usually interpreted as the instruction introduce a new file labelled x (see e.g. =-=[GS91]-=-). Vermeulen in his [Ver93] 2 modified this to: push a new file onto the stack labelled x. The stacking way of viewing the existential quantifier opens the way for introducing a companion of exists x,... |

231 | Defaults in Update Semantics
- Veltman
- 1996
(Show Context)
Citation Context ... occurring in the literature on Dynamics. First, and foremost, we can extend our framework with a good notion of state and state transition so that a formulation of our semantics in update style (cf. =-=[Vel91]-=-) and in the relational format ([GS91]) becomes available. There is an elegant way to do this, which will be presented elsewhere. Another important ingredient we intend to include is a rational recons... |

116 |
File change semantics and the familiarity theory of definiteness. File change semantics and the familiarity theory of definiteness, Walter de Gruyter
- Heim
- 1983
(Show Context)
Citation Context ...rmation, but, no, grammar's role is not well placed at the transition from syntax to semantics. The semantics that we want to develop is a version of Heim's file change semantics for indefinites (see =-=[Hei83]-=- and [Hei90]). 1 In our version the meaning of ( is going to be introduce a new file for storing the subsequent information. The action that ( means will be modelled by an appropriate mathematical obj... |

90 |
E-type pronouns and donkey anaphora
- Heim
- 1990
(Show Context)
Citation Context ..., no, grammar's role is not well placed at the transition from syntax to semantics. The semantics that we want to develop is a version of Heim's file change semantics for indefinites (see [Hei83] and =-=[Hei90]-=-). 1 In our version the meaning of ( is going to be introduce a new file for storing the subsequent information. The action that ( means will be modelled by an appropriate mathematical object, In the ... |

78 |
An Eternal Golden Braid
- Godel, Bach
(Show Context)
Citation Context ...ns a stretch of discourse which is interpreted with respect to this new imagined world. The idea that suppose is "pushing into fantasy" comes from a suggestive discussion by Douglas Hofstadt=-=er in his [Hof79]-=-, p128. It was studied by Lysbeth Zeinstra in [Zei90]. In this paper we will address the problem of interpretation from parsed sentence to semantical object. We will not consider the problem of run-ti... |

53 | Action logic and pure induction
- Pratt
- 1990
(Show Context)
Citation Context ... y L2 x ffl y = id ) y = id L3 x ffl ysz , xsz / y An L-monoid is a monoid with an additional operation /. Condition L3 says that / is a left-implication, whence the L in L-monoid. In the literature (=-=[Pra91]-=-,[MO94]) the operation is also known as left residuation. It is closely related to the notion of an adjoint in category theory (cf. [Mac71]). The analogy with implication becomes clear as soon as we c... |

50 | E-Type Pronouns and Donkey Anaphora. In Linguistics and Philosophy 13, 137-177. 6For more discussion of de se reports, see Lewis - Heim - 1990 |

47 | Dynamic Dependency Grammar
- Milward
- 1994
(Show Context)
Citation Context ...cification language, pause to consider variants that would make the parsing easier. (See e.g. subsection 2.3 on the use of lazy brackets.) Some of the work on incremental grammars (see e.g., [Mil92], =-=[Mil94]-=-) is close in spirit to what we are aiming at. 1.2 Context and content In the previous subsection we introduced the first design feature of our approach: grammatical structure is treated as meaningful... |

44 |
Categorical type theory
- Jacobs
- 1991
(Show Context)
Citation Context ... contexts transform independently of the content, but that the transformation of contents is guided by the context. 19 A good discussion of the Grothendieck Construction can be found in [BW89] and in =-=[Jac91]-=-. Consider an m-category A and a functor \Theta from A to the category m-Cat of m-categories. The Grothendieck construction allows us to make a new category of pairs, ha; ti, where t is an object of \... |

40 |
Adjacency, dependency and order
- Moortgat, Oehrle
- 1994
(Show Context)
Citation Context ...ffl y = id ) y = id L3 x ffl ysz , xsz / y An L-monoid is a monoid with an additional operation /. Condition L3 says that / is a left-implication, whence the L in L-monoid. In the literature ([Pra91],=-=[MO94]-=-) the operation is also known as left residuation. It is closely related to the notion of an adjoint in category theory (cf. [Mac71]). The analogy with implication becomes clear as soon as we consider... |

35 | Sequence semantics for dynamic predicate logic
- Vermeulen
- 1993
(Show Context)
Citation Context ...rst one is existential quantification. In dynamic semantics the existential quantifier 9x is usually interpreted as the instruction introduce a new file labelled x (see e.g. [GS91]). Vermeulen in his =-=[Ver93]-=- 2 modified this to: push a new file onto the stack labelled x. The stacking way of viewing the existential quantifier opens the way for introducing a companion of exists x, viz., exit x, meaning: pop... |

31 |
Discourse Semantics
- Seuren
- 1985
(Show Context)
Citation Context ...sts and exit as brackets, where these brackets are given instructions as meanings, 1 Our semantics is also closely related to Kamp's DRT (see [Kam81], [KR93]) and to Seuren's Discourse Semantics (see =-=[Seu85]-=-). 2 See also [HV94] why should we not seriously consider to give the usual brackets also such a semantics? Our first programmatic point was the idea of modelling the interpretation process. With the ... |

27 | Merging without mystery or: Variables in dynamic semantics
- Vermeulen
- 1995
(Show Context)
Citation Context ...agment of Predicate Logic. In particular, we indicate how to use this semantics both to simulate the 9-fragment of of Vermeulen's Sequence Semantics and of Vermeulen's Referent Systems . See [Ver93], =-=[Ver91]-=- and [HV94]. We start by introducing some auxiliary objects and some useful notational conventions. Consider the m-category Sc fin ;+ of stacking cells where only finitely many levels are present. Rem... |

23 |
Structure and Functors: The Categorical Imperative
- Arbib, Manes, et al.
- 1975
(Show Context)
Citation Context ...ra. To describe the flow of the levels, the category-theoretical machinery is tailor-made. 3.1 Basics This section introduces the basic concepts of category theory. The reader is referred to [Mac71], =-=[MA75]-=-, [BW89] for more information. A category A is a structure hOb; Ar ; id ; dom ; cod ; ffii, where: . Ob is a non-empty class, the class of objects . Ar is a class, the class of arrows or homomorphisms... |

21 |
Categories for the Working Mathematician. Number 5
- MacLane
- 1998
(Show Context)
Citation Context ...ft-implication, whence the L in L-monoid. In the literature ([Pra91],[MO94]) the operation is also known as left residuation. It is closely related to the notion of an adjoint in category theory (cf. =-=[Mac71]-=-). The analogy with implication becomes clear as soon as we consider a Boolean (or Heyting) algebra B = hB; ; ?i as a monoid: now the / is the Boolean implication. 10 If we regard the ffl-operation in... |

9 | Actions under Presuppositions
- Visser
- 1994
(Show Context)
Citation Context ...mation in the brackets, ) and (. The other elements of the string convey other kinds of information, that, for now, we will group under a common heading: 5 Stacking cells were introduced by Visser in =-=[Vis94]-=-, [Vis92]. (truth conditional) content. In our (left-to-right) interpretation of this string we keep score of the different kinds of contribution of the string components at the same time. The content... |

9 |
A compositional approach to DRT
- Zeevat
- 1991
(Show Context)
Citation Context ...ts. We follow another dynamic tradition, DRT or File-change Semantics, in taking our meanings to be static objects (relational databases, sets of assignments), enriched by dynamic contexts (see e.g., =-=[Zee91]-=- and [KR93]). We claim the following advantages. . There is a good separation between the static and the dynamic. We keep the classical ideas of a meaning as a database and of a meaning as a set of as... |

5 |
dependency grammar, and incremental interpretation
- Dynamics
- 1992
(Show Context)
Citation Context ...g our specification language, pause to consider variants that would make the parsing easier. (See e.g. subsection 2.3 on the use of lazy brackets.) Some of the work on incremental grammars (see e.g., =-=[Mil92]-=-, [Mil94]) is close in spirit to what we are aiming at. 1.2 Context and content In the previous subsection we introduced the first design feature of our approach: grammatical structure is treated as m... |

3 |
From Discourse to Logic, volume I
- Kamp, Reyle
- 1993
(Show Context)
Citation Context ...s to a certain fixed file. But if we can view exists and exit as brackets, where these brackets are given instructions as meanings, 1 Our semantics is also closely related to Kamp's DRT (see [Kam81], =-=[KR93]-=-) and to Seuren's Discourse Semantics (see [Seu85]). 2 See also [HV94] why should we not seriously consider to give the usual brackets also such a semantics? Our first programmatic point was the idea ... |

3 |
Reasoning as Discourse
- Zeinstra
- 1990
(Show Context)
Citation Context ...espect to this new imagined world. The idea that suppose is "pushing into fantasy" comes from a suggestive discussion by Douglas Hofstadter in his [Hof79], p128. It was studied by Lysbeth Ze=-=instra in [Zei90]-=-. In this paper we will address the problem of interpretation from parsed sentence to semantical object. We will not consider the problem of run-time parsing. We will, however, in designing our specif... |

2 |
Counting variables in a dynamic setting. Logic Group Preprint Series LGPS-125
- Hollenberg, Vermeulen
- 1994
(Show Context)
Citation Context ...ets, where these brackets are given instructions as meanings, 1 Our semantics is also closely related to Kamp's DRT (see [Kam81], [KR93]) and to Seuren's Discourse Semantics (see [Seu85]). 2 See also =-=[HV94]-=- why should we not seriously consider to give the usual brackets also such a semantics? Our first programmatic point was the idea of modelling the interpretation process. With the example of the exist... |

1 |
Lazy and quarrelsome brackets. Logic Group Preprint Series 82
- Visser
- 1992
(Show Context)
Citation Context ... the brackets, ) and (. The other elements of the string convey other kinds of information, that, for now, we will group under a common heading: 5 Stacking cells were introduced by Visser in [Vis94], =-=[Vis92]-=-. (truth conditional) content. In our (left-to-right) interpretation of this string we keep score of the different kinds of contribution of the string components at the same time. The content-like con... |