Using dependent record types in clarification ellipsis
Författare och institution:
Robin Cooper (Institutionen för lingvistik); Jonathan Ginzburg (-)
Publicerad i:
Proceedings of the sixth workshop on the semantics and pragmatics of dialogue, ed. by Johan Bos, Mary Ellen Foster and Colin Matheson, Edinburgh University, s. 45-52
Publikationstyp:
Konferensbidrag, refereegranskat
Publiceringsår:
2002
Språk:
engelska
Sammanfattning (abstract):
We present a sketch of a formulation of an analysis of clarification
ellipsis using dependent record types as they have been developed in
Martin-Löf type theory. Record types provide a semantic formalism
which at the same time as containing the normal paraphernalia of
semantics (functions, binding, quantification) also have strong
similarities to typed feature structures as used in HPSG. We argue
that this gives us the kind of tools we need to account for the
interpretation of clarification ellipses which to a large extent
need to be constructed from semantic, syntactic and phonological
information about the utterance being clarified. Clarification
ellipses thus motivate a radical kind of context dependence over and
above compositional semantics. Their meanings need to be
constructed by the manipulation of structured representations of
previous utterances which include more than just semantic
information.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Datavetenskap (datalogi) ->
Datalogi
HUMANIORA ->
Språk och litteratur ->
Jämförande språkvetenskap och lingvistik ->
Lingvistik
HUMANIORA ->
Filosofi, etik och religion ->
Filosofi ->
Logik
Data- och informationsvetenskap ->
Datavetenskap (datalogi) ->
Datalogi
HUMANIORA ->
Språk och litteratur ->
Jämförande språkvetenskap och lingvistik ->
Lingvistik
HUMANIORA ->
Filosofi, etik och religion ->
Filosofi ->
Logik
Nyckelord:
natural language semantics, clarification, type theory, record types
Postens nummer:
52152
Posten skapad:
2007-10-08 18:55