Semantics

As a classification problem

Eliezer Yudkowsky’s essay, How an algorithm feels from the inside, which inspired Scott Alexander’s The Categories Were Made For Man, Not Man For The Categories.

Semantics and discourse and values — Scott Alexander’s The whole city is centre.

From a different direction, Microsoft argues that the idea of obects as a kind of cnachor point in training cross-modal AI systems. (Li et al. 2020)

…objects can be naturally used as anchor points to ease the learning of semantic alignments between images and texts. This discovery leads to a novel VLP framework that creates new state-of-the-art performance on six well-established vision-and-language tasks. …. Though the observed data varies among different channels (modalities), we hypothesize that important factors tend to be shared among multiple channels (for example, dogs can be described visually and verbally), capturing channel-invariant (or modality-invariant) factors at the semantic level. In vision-and-language tasks, salient objects in an image can be mostly detected by modern object detectors, and such objects are often mentioned in the paired text.

A an evolutionary problem

When do we need to use words? (Baronchelli et al. 2010; Loreto, Mukherjee, and Tria 2012) have a toy model for color words, which is a clever choice of domain.

(Steyvers and Tenenbaum 2005): a connection to count model stochastics and other evolutionary models

Also what embodiment means for this stuff.

As a collaborative endeavour

Zvi Moshowitz on simulacra and subjectivity with a side foray into power based on a taxonomy of (Baudrillardian?) simulacra.

Contrast that with the newer definition that's based on what it means to say "There's a lion across the river"[…]

Level 1: There's a lion across the river.

Level 2: I don't want to go (or have other people go) across the river.

Level 3: I’m with the popular kids who are too cool to go across the river.

Level 4: A firm stance against trans-river expansionism focus grouped well with undecided voters in my constituency.

Or alternatively, and isomorphic to the Lion definition, from my previous simulacra post:

"There's a pandemic headed our way from China" means...

Level 1: "There's a pandemic headed our way from China."

Level 2: "I want you to act as if you think there might be a pandemic on our way from China" while hoping to still be interpreted by the listener as meaning "There's a >pandemic headed our way from China."

Level 3: "I wish to associate with the group that claims there is a pandemic headed our way from China."

Level 4: "It is advantageous for me to say there is a pandemic headed our way from China."

Neurology of

What does the MRI tell us about denotation in the brain?

(Stolk et al. 2014) is worth it for the tagline: “experimental semiotics”

How can we understand each other during communicative interactions? An influential suggestion holds that communicators are primed by each other’s behaviors, with associative mechanisms automatically coordinating the production of communicative signals and the comprehension of their meanings. An alternative suggestion posits that mutual understanding requires shared conceptualizations of a signal’s use, i.e., “conceptual pacts” that are abstracted away from specific experiences. Both accounts predict coherent neural dynamics across communicators, aligned either to the occurrence of a signal or to the dynamics of conceptual pacts. Using coherence spectral-density analysis of cerebral activity simultaneously measured in pairs of communicators, this study shows that establishing mutual understanding of novel signals synchronizes cerebral dynamics across communicators’ right temporal lobes. This interpersonal cerebral coherence occurred only within pairs with a shared communicative history, and at temporal scales independent from signals’ occurrences. These findings favor the notion that meaning emerges from shared conceptualizations of a signal’s use.

Word vector models

Nearly-reversible, distributed representations of semantics via entity embeddings. Do these actually tell us anything about semantics?

As invented by (Bengio et al. 2003) and popularised/refined by Mikolov and Dean at Google, the skip-gram semantic vector spaces — definitely the hippest of the ways of defining String distances for natual language this season.

Technology Review, Mappings 1-5

• Christopher Olah discusses it from a neural network perspective with diagrams and commends (Bengio et al. 2003) for a rationale.

• Sanjeev Arora’s semantic word embeddings has an explanation of skipgrammish methods:

  In all methods, the word vector is a succinct representation of the distribution of other words around this word. That this suffices to capture meaning is asserted by Firth’s hypothesis from 1957, “You shall know a word by the company it keeps.” To give an example, if I ask you to think of a word that tends to co-occur with cow, drink, babies, calcium, you would immediately answer: milk.

  […] Firth’s hypothesis does imply a very simple word embedding, albeit a very high-dimensional one.

  Embedding 1: Suppose the dictionary has N distinct words (in practice, N=100,000). Take a very large text corpus (e.g., Wikipedia) and let Count5(w1,w2) be the number of times w1 and w2 occur within a distance 5 of each other in the corpus. Then the word embedding for a word w is a vector of dimension N, with one coordinate for each dictionary word. The coordinate corresponding to word w2 is Count5(w,w2). (Variants of this method involve considering cooccurence of w with various phrases or n-tuples.)

  The obvious problem with Embedding 1 is that it uses extremely high-dimensional vectors. How can we compress them?

  Embedding 2: Do dimension reduction by taking the rank-300 singular value decomposition (SVD) of the above vectors.

  Using SVD to do dimension reduction seems an obvious idea these days but it actually is not. After all, it is unclear a priori why the above N×N matrix of cooccurance counts should be close to a rank-300 matrix. That this is the case was empirically discovered in the paper on Latent Semantic Indexing or LSI.

• Anonymous Quora user:

  For both descriptions below, we assume that the current word in a sentence is \(w_i.\)

  CBOW: The input to the model could be \(w_{i-2}, w_{i-1}, w_{i+1}, w_{i+2},\) the preceding and following words of the current word we are at. The output of the neural network will be \(w_i\). Hence you can think of the task as “predicting the word given its context”. Note that the number of words we use depends on your setting for the window size.

  Skip-gram: The input to the model is \(w_i\), and the output could be \(w_{i-1}, w_{i-2}, w_{i+1}, w_{i+2}\). So the task here is “predicting the context given a word”. Also, the context is not limited to its immediate context, training instances can be created by skipping a constant number of words in its context, so for example, \(w_{i-3}, w_{i-4}, w_{i+3}, w_{i+4}\), hence the name skip-gram. Note that the window size determines how far forward and backward to look for context words to predict.

  According to Mikolov:

  Skip-gram: works well with small amount of the training data, represents well even rare words or phrases.

  CBOW: several times faster to train than the skip-gram, slightly better accuracy for the frequent words.

  This can get even a bit more complicated if you consider that there are two different ways how to train the models: the normalized hierarchical softmax, and the un-normalized negative sampling. Both work quite differently.

  which makes sense since with skip gram, you can create a lot more training instances from limited amount of data, and for CBOW, you will need more since you are conditioning on context, which can get exponentially huge.

• Jeff Dean’s CIKM Keynote. (that’s “Conference on Information and Knowledge Management” to you and me.)

  “Embedding vectors trained for the language modeling task have very interesting properties (especially the skip-gram model)”

  \[ E(\text{hotter}) - E(\text{hot}) &≈ E(\text{bigger}) - E(\text{big}) \\ E(\text{Rome}) - E(\text{Italy}) &≈ E(\text{Berlin}) - E(\text{Germany}) \]

  “Skip-gram model w/ 640 dimensions trained on 6B words of news text achieves 57% accuracy for analogy-solving test set.”

Sanjeev Aror aexplain that, more than that, the skip gram vectors for polysemic words are a weighted sum of their constituent meanings.

• Skip thought vectors:

  We describe an approach for unsupervised learning of a generic, distributed sentence encoder. Using the continuity of text from books, we train an encoder/decoder model that tries to reconstruct the surrounding sentences of an encoded passage. Sentences that share semantic and syntactic properties are thus mapped to similar vector representations. […] The end result is an off-the-shelf encoder that can produce highly generic sentence representations that are robust and perform well in practice

Graph formulations, e.g. David McAllester, Deep Meaning Beyond Thought Vectors:

I want to complain at this point that you can’t cram the meaning of a bleeping sentence into a bleeping sequence of vectors. The graph structures on the positions in the sentence used in the above models should be exposed to the user of the semantic representation. I would take the position that the meaning should be an embedded knowledge graph — a graph on embedded entity nodes and typed relations (edges) between them. A node representing an event can be connected through edges to entities that fill the semantic roles of the event type

Software

• word2vec

  This tool provides an efficient implementation of the continuous bag-of-words and skip-gram architectures for computing vector representations of words. These representations can be subsequently used in many natural language processing applications and for further research.”

• fastText

  fastText is a library for efficient learning of word representations and sentence classification.

Dead Philosophers:

The rose has teeth in the mouth of the beast.