논문 상세보기

서울대학교 인지과학연구소> Journal of Cognitive Science> Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

SCOUPUS

Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

Lachlan Mcpheat , Gijs Wijnholds , Mehrnoosh Sadrzadeh , Adriana Correia , Alexis Toumi
  • : 서울대학교 인지과학연구소
  • : Journal of Cognitive Science 22권2호
  • : 연속간행물
  • : 2021년 06월
  • : 1-34(34pages)
Journal of Cognitive Science

DOI


목차

1. Introduction
2. Background
3. Resolving Anaphora and Ellipsis in !L*
4. Vector Space Semantics of !L*
5. Examples ofVector Space Semantics of Anaphora and Ellipsis
6. Experiments
7. Conclusion and FutureWork
References

키워드 보기


초록 보기

Lambek calculus with a relevant modality !L* of (Kanovich et al., 2016) syntactically resolves parasitic gaps in natural language. It resembles the Lambek calculus with anaphora LA of (Jäger, 1998) and the Lambek calculus with controlled contraction L of (Wijnholds and Sadrzadeh, 2019b) which deal with anaphora and ellipsis. What all these calculi add to Lambek calculus is a copying and moving behaviour. Distributional semantics is a subfield of Natural Language Processing that uses vector space semantics for words via co-occurrence statistics in large corpora of data. Compositional vector space semantics for Lambek Calculi are obtained via the DisCoCat models (Coecke et al., 2010). LA does not have a vector space semantics and the semantics of L is not compositional. Previously, we developed a DisCoCat semantics for !L* and focused on the parasitic gap applications. In this paper, we use the vector space instance of that general semantics and show how one can also interpret anaphora, ellipsis, and for the first time derive the sloppy vs strict vector readings of ambiguous anaphora with ellipsis cases. The base of our semantics is tensor algebras and their finite dimensional variants: the Fermionic Fock spaces of Quantum Mechanics. We implement our model and experiment with the ellipsis disambiguation task of (Wijnholds and Sadrzadeh, 2019a).

UCI(KEPA)

간행물정보

  • : 사회과학분야  > 심리학
  • :
  • : SCOPUS
  • : 계간
  • : 1598-2327
  • : 1976-6939
  • : 학술지
  • : 연속간행물
  • : 2000-2021
  • : 308


저작권 안내

한국학술정보㈜의 모든 학술 자료는 각 학회 및 기관과 저작권 계약을 통해 제공하고 있습니다.

이에 본 자료를 상업적 이용, 무단 배포 등 불법적으로 이용할 시에는 저작권법 및 관계법령에 따른 책임을 질 수 있습니다.

22권3호(2021년 09월) 수록논문
최근 권호 논문
| | | |

SCOPUS

1Cats Climb Entails Mammals Move: Preserving Hyponymy in Compositional Distributional Semantics

저자 : Gemma De Las Cuevas , Andreas Klingler , Martha Lewis , Tim Netzer

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 3호 발행 연도 : 2021 페이지 : pp. 311-353 (43 pages)

다운로드

(기관인증 필요)

초록보기

To give vector-based representations of meaning more structure, an approach proposed in Piedeleu et al. (2015); Sadrzadeh et al. (2018); Bankova et al. (2018) is to use positive semidefinite (psd) matrices. These allow us to model similarity of words as well as the hyponymy or is-a relationship. To compose words to form phrases and sentences, we may represent adjectives, verbs, and other functional words as multilinear, positivity preserving maps, following the compositional distributional approach introduced in Coecke et al. (2010) and extended to the realm of psd matrices in Piedeleu et al. (2015), but it is not clear how to learn representations of functional words when working with psd matrices. In this paper, we introduce a generic way of composing the psd matrices corresponding to words. We propose that psd matrices for verbs, adjectives, and other functional words be lifted to completely positive (CP) maps that match their grammatical type. This lifting is carried out by our composition rule called Compression, Compr. In contrast to previous composition rules like Fuzz and Phaser (Coecke and Meichanetzidis, 2020) (a.k.a. KMult and BMult (Lewis, 2019a)), Compr preserves hyponymy. Mathematically, Compr is itself a CP map, and is therefore linear and generally non-commutative. We give a number of proposals for the structure of Compr, based on spiders, cups, and caps, and generate a range of composition rules. We test these rules on sentence entailment datasets from Kartsaklis and Sadrzadeh (2016), and see some improvements over the performance of Fuzz and Phaser. We go on to estimate the parameters of a simplified form of Compr based on entailment information from the aforementioned datasets, and find that whilst this learnt operator does not consistently outperform previously proposed mechanisms, it is competitive and has the potential to improve with the use of a less simplified version.

SCOPUS

2Solving Logical Puzzles in DisCoCirc

저자 : Tiffany Duneau

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 3호 발행 연도 : 2021 페이지 : pp. 355-389 (35 pages)

다운로드

(기관인증 필요)

초록보기

Finding a full solution to logical puzzles, from parsing the text to arriving at the answer, forms an active area of research in artificial intelligence. In this paper, we address an initial subset of these puzzles that take the form of constraint satisfaction problems, providing a method for solving them by encoding the puzzle meaning as a relation informed by the individual sentences that make up the puzzle text. To build this relation from the text we make use of a diagrammatic, distributional compositional framework called DisCoCirc. We then show that the puzzle solution can be extracted from this encoding with minimal extra work, as the logical form of the puzzle is modelled and evaluated as the meaning encoding is computed.

SCOPUS

3Analysing Ambiguous Nouns and Verbs with Quantum Contextuality Tools

저자 : Daphne Wang , Mehrnoosh Sadrzadeh , Samson Abramsky , Víctor H. Cervantes

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 3호 발행 연도 : 2021 페이지 : pp. 391-420 (30 pages)

다운로드

(기관인증 필요)

초록보기

Psycholinguistic research uses eye-tracking to show that polysemous words are disambiguated differently from homonymous words, and that ambiguous verbs are disambiguated differently than ambiguous nouns. Research in Compositional Distributional Semantics uses cosine distances to show that verbs are disambiguated more efficiently in the context of their subjects and objects than when on their own. These two frameworks both focus on one ambiguous word at a time and neither considers ambiguous phrases with two (or more) ambiguous words. We borrow methods and measures from Quantum Information Theory, the framework of Contextuality-by-Default and degrees of contextual influences, and work with ambiguous subject-verb and verb-object phrases of English, where both the subject/object and the verb are ambiguous. We show that differences in the processing of ambiguous verbs versus ambiguous nouns, as well as between different levels of ambiguity in homonymous versus polysemous nouns and verbs can be modelled using the averages of the degrees of their contextual influences.

SCOPUS

4Talking Space: Inference from Spatial Linguistic Meanings

저자 : Vincent Wang-maścianica , Bob Coecke

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 3호 발행 연도 : 2021 페이지 : pp. 421-463 (43 pages)

다운로드

(기관인증 필요)

초록보기

This paper concerns the intersection of natural language and the physical space around us in which we live, that we observe and/or imagine things within. Many important features of language have spatial connotations, for example, many prepositions (like in, next to, after, on, etc.) are fundamentally spatial. Space is also a key factor of the meanings of many words/phrases/sentences/text, and space is a, if not the key, context for referencing (e.g. pointing) and embodiment. We propose a mechanism for how space and linguistic structure can be made to interact in a matching compositional fashion. Examples include Cartesian space, subway stations, chesspieces on a chess-board, and Penrose's staircase. The starting point for our construction is the DisCoCat model of compositional natural language meaning, which we relax to accommodate physical space. We address the issue of having multiple agents/objects in a space, including the case that each agent has different capabilities with respect to that space, e.g. the specific moves each chesspiece can make, or the different velocities one may be able to reach. Once our model is in place, we show how inferences drawing from the structure of physical space can be made. We also show how our linguistic model of space can interact with other such models related to our senses and/or embodiment, such as the conceptual spaces of colour, taste and smell, resulting in a rich compositional model of meaning that is close to human experience and embodiment in the world.

1
권호별 보기
같은 권호 다른 논문
| | | | 다운로드

SCOUPUS

1Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics

저자 : Lachlan Mcpheat , Gijs Wijnholds , Mehrnoosh Sadrzadeh , Adriana Correia , Alexis Toumi

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 2호 발행 연도 : 2021 페이지 : pp. 1-34 (34 pages)

다운로드

(기관인증 필요)

초록보기

Lambek calculus with a relevant modality !L* of (Kanovich et al., 2016) syntactically resolves parasitic gaps in natural language. It resembles the Lambek calculus with anaphora LA of (Jäger, 1998) and the Lambek calculus with controlled contraction L of (Wijnholds and Sadrzadeh, 2019b) which deal with anaphora and ellipsis. What all these calculi add to Lambek calculus is a copying and moving behaviour. Distributional semantics is a subfield of Natural Language Processing that uses vector space semantics for words via co-occurrence statistics in large corpora of data. Compositional vector space semantics for Lambek Calculi are obtained via the DisCoCat models (Coecke et al., 2010). LA does not have a vector space semantics and the semantics of L is not compositional. Previously, we developed a DisCoCat semantics for !L* and focused on the parasitic gap applications. In this paper, we use the vector space instance of that general semantics and show how one can also interpret anaphora, ellipsis, and for the first time derive the sloppy vs strict vector readings of ambiguous anaphora with ellipsis cases. The base of our semantics is tensor algebras and their finite dimensional variants: the Fermionic Fock spaces of Quantum Mechanics. We implement our model and experiment with the ellipsis disambiguation task of (Wijnholds and Sadrzadeh, 2019a).

SCOUPUS

2On the Relationship between Syntactic and Semantic Encoding in Metric Space Language Models

저자 : Whitney Tabor

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 2호 발행 연도 : 2021 페이지 : pp. 35-67 (33 pages)

다운로드

(기관인증 필요)

초록보기

The relationship between form and meaning is central to the theory of language. Traditionally, syntax and semantics are viewed as two different levels of representation. Based on insights from the intersection of dynamical systems theory and the theory of computation, and guided by linguistic data, I argue that there is only one space, a syntactic-semantic one. I model it here as a stable, countably infinite attractor of an iterated map dynamical system. One advantage of this approach is that it supports a unified treatment of grammatical and ungrammatical processing.

SCOUPUS

3Cobordisms and Commutative Categorial Grammars

저자 : Sergey Slavnov

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 2호 발행 연도 : 2021 페이지 : pp. 68-91 (24 pages)

다운로드

(기관인증 필요)

초록보기

We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated withwords in a given alphabet, generalizing linear logic proof-nets. We also introduce and study linear logic grammars, directly based on cobordisms and using classical multiplicative linear logic as a typing system.

SCOUPUS

4Integrated Information in Process Theories: Towards Categorical IIT

저자 : Sean Tull , Johannes Kleiner

발행기관 : 서울대학교 인지과학연구소 간행물 : Journal of Cognitive Science 22권 2호 발행 연도 : 2021 페이지 : pp. 92-123 (32 pages)

다운로드

(기관인증 필요)

초록보기

We demonstrate how integrated information and other key notions from Tononi et al.'s Integrated Information Theory (IIT) can be studied within the simple graphical language of process theories (symmetric monoidal categories). This allows IIT to be generalised to a broad range of physical theories, including as a special case the Quantum IIT of Zanardi, Tomka and Venuti, and sets the foundation for a categorical definition of IIT.

1
발행기관 최신논문
자료제공: 네이버학술정보
발행기관 최신논문
자료제공: 네이버학술정보

내가 찾은 최근 검색어

최근 열람 자료

맞춤 논문

보관함

내 보관함
공유한 보관함

1:1문의

닫기