| 1. |
- Cooper, Robin, 1947
(author)
-
Copredication, dynamic generalized quantification and lexical innovation by coercion : (invited talk)
- 2007
-
In: Proceedings of GL2007, Fourth International Workshop on Generative Approaches to the Lexicon..
-
Conference paper (other academic/artistic)abstract
- This paper proposes a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon. Using record types not only gives us a simple and intuitive account of dot types but also makes an important connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. It also allows us to preserve the intuitive feature structure based accounts of lexical analysis proposed in Pustejovsky's original work on the Generative Lexicon and gives us a way of treating certain kinds of lexical innovation as coercions involving the addition or removal of fields in record types.
|
|
| 2. |
- Cooper, Robin, 1947
(author)
-
How to do things with types
- 2014
-
In: Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) July 17-18, 2014 Vienna, Austria, ed. by Valeria de Paiva, Walther Neuper, Pedro Quaresma, Christian Retoré, Lawrence S. Moss and Jordi Saludes, Center for Informatics and Systems of the University of Coimbra. - 0874-338X. ; , s. 149-158
-
Conference paper (peer-reviewed)
|
|
| 3. |
|
|
| 4. |
- Cooper, Robin, 1947, et al.
(author)
-
Using dependent record types in clarification ellipsis
- 2002
-
In: 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
-
Conference paper (peer-reviewed)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.
|
|
| 5. |
- Larsson, Staffan, 1969, et al.
(author)
-
Corrective feedback and semantic coordination
- 2009
-
In: Second Conference of the Swedish Association for Language and Cognition (SALC), June 10-12, 2009, Stockholm University.
-
Conference paper (peer-reviewed)
|
|
| 6. |
- Larsson, Staffan, 1969, et al.
(author)
-
Towards a formal view of corrective feedback
- 2009
-
In: Proceeding CACLA '09 Proceedings of the EACL 2009 Workshop on Cognitive Aspects of Computational Language Acquisition. ; , s. 1-9
-
Conference paper (peer-reviewed)abstract
- This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the general approach by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources.
|
|
| 7. |
- Amanaki, Erini, et al.
(author)
-
Fine-grained Entailment: Resources for Greek NLI and Precise Entailment
- 2022
-
In: Proceedings of the Workshop on Dataset Creation for Lower-Resourced Languages within the 13th Language Resources and Evaluation Conference. - Marseille, France : European Language Resources Association (ELRA). - 9782493814067
-
Conference paper (peer-reviewed)abstract
- In this paper, we present a number of fine-grained resources for Natural Language Inference (NLI). In particular, we present a number of resources and validation methods for Greek NLI and a resource for precise NLI. First, we extend the Greek version of the FraCaS test suite to include examples where the inference is directly linked to the syntactic/morphological properties of Greek. The new resource contains an additional 428 examples, making it in total a dataset of 774 examples. Expert annotators have been used in order to create the additional resource, while extensive validation of the original Greek version of the FraCaS by non-expert and expert subjects is performed. Next, we continue the work initiated by (CITATION), according to which a subset of the RTE problems have been labeled for missing hypotheses and we present a dataset an order of magnitude larger, annotating the whole SuperGlUE/RTE dataset with missing hypotheses. Lastly, we provide a de-dropped version of the Greek XNLI dataset, where the pronouns that are missing due to the pro-drop nature of the language are inserted. We then run some models to see the effect of that insertion and report the results.
|
|
| 8. |
- Breitholtz, Ellen, et al.
(author)
-
Dogwhistles as Inferences in Interaction
- 2021
-
In: ReInAct 2021. Proceedings of the Conference on Reasoning and Interaction, Gothenburg and online 4–6 October 2021 / Christine Howes, Simon Dobnik, Ellen Breitholtz and Stergios Chatzikyriakidis (eds.). - Stroudsburg, PA, USA : Association of Computational Linguistics. - 9781955917070
-
Conference paper (peer-reviewed)
|
|
| 9. |
- Breitholtz, Ellen, et al.
(author)
-
Enthymemes as Rhetorical Resources
- 2011
-
In: Proceedings of the 15th Workshop on the Semantics and Pragmatics of Dialogue. ; , s. 149-157
-
Conference paper (peer-reviewed)abstract
- In this paper we propose that Aristotelian enthymemes play a role in the resources available to dialogue participants. We take as our point of departure the idea that every individual has a set of linguistic resources that are formed and reformed through interaction with other individuals and context. We regard enthymemes as dependent record types, functions which map contexts modelled as records, corresponding to the premises of the enthymeme, to a record type which models a proposition corresponding to the conclusion of the enthymeme. The advantage of using record types is that they give us semantic objects corresponding to enthymemes (as opposed to textual objects such as inference rules) and a straightforward way of generalizing, restricting and combining enthymemes thereby giving a theory of how agents can expand and reform their rhetorical resources on the basis of experience.
|
|
| 10. |
- Breitholtz, Ellen, et al.
(author)
-
Incrementality all the way up
- 2017
-
In: Proceedings of the Computing Natural Inference Workshop at the International Conference on Computational Semantics (IWCS).
-
Conference paper (peer-reviewed)abstract
- Dialogue is known to be incremental, with people able to make interpretations based on incomplete or partial information, and this underspecification is rife at all levels including sound, structure and meaning. We argue that underspecification and incrementality is also inherent in how people reason in dialogue, using enthymemes. We discuss how incremental reasoning can be elucidated in dialogue at points of mismatch, and provide the outline of a formal analysis using Type Theory with Records for one such example. This approach is compatible with existing dialogue models, and we believe that adding incremental reasoning abilities to conversational agents will allow them to be both more flexible and human-like in dialogue.
|
|
