QingFranke2015: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/QingFranke2015.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

The forced-choice counts of the one-shot referential game: the word a speaker chose for each target, and the object a listener chose in the salience condition and on hearing each ambiguous word. A context has a square and a circle of one colour and a circle of the other; colours and positions were counterbalanced, and the tables name the objects as in the paper's sample context.

References

• [QF15]

inductive QingFranke2015.Object : Type

The three objects of a context, named as in the paper's sample context.

• greenSquare : Object

  green square: the object with the unique shape

• greenCircle : Object

  green circle: the object that shares both its features

• blueCircle : Object

  blue circle: the object with the unique colour

@[instance_reducible]

instance QingFranke2015.instDecidableEqObject : DecidableEq Object

Equations

• QingFranke2015.instDecidableEqObject x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance QingFranke2015.instReprObject : Repr Object

Equations

• QingFranke2015.instReprObject = { reprPrec := QingFranke2015.instReprObject.repr }

def QingFranke2015.instReprObject.repr : Object → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance QingFranke2015.instFintypeObject : Fintype Object

Equations

• QingFranke2015.instFintypeObject = { elems := { val := ↑QingFranke2015.Object.enumList, nodup := QingFranke2015.Object.enumList_nodup }, complete := QingFranke2015.instFintypeObject._proof_1 }

inductive QingFranke2015.Message : Type

The four words a speaker could be offered.

• green : Message

  Green: the shared colour

• square : Message

  Square: the unique shape

• blue : Message

  Blue: the unique colour

• circle : Message

  Circle: the shared shape

@[instance_reducible]

instance QingFranke2015.instDecidableEqMessage : DecidableEq Message

Equations

• QingFranke2015.instDecidableEqMessage x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance QingFranke2015.instReprMessage : Repr Message

Equations

• QingFranke2015.instReprMessage = { reprPrec := QingFranke2015.instReprMessage.repr }

def QingFranke2015.instReprMessage.repr : Message → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance QingFranke2015.instFintypeMessage : Fintype Message

Equations

• One or more equations did not get rendered due to their size.

inductive QingFranke2015.Condition : Type

The three listener conditions.

• salience : Condition

  Salience: the utterance is in a language the listener does not understand

• green : Condition

  Green: the listener hears the shared colour

• circle : Condition

  Circle: the listener hears the shared shape

@[instance_reducible]

instance QingFranke2015.instDecidableEqCondition : DecidableEq Condition

Equations

• QingFranke2015.instDecidableEqCondition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance QingFranke2015.instReprCondition : Repr Condition

Equations

• QingFranke2015.instReprCondition = { reprPrec := QingFranke2015.instReprCondition.repr }

def QingFranke2015.instReprCondition.repr : Condition → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance QingFranke2015.instFintypeCondition : Fintype Condition

Equations

• One or more equations did not get rendered due to their size.

structure QingFranke2015.SpeakerChoice : Type

A row of Table 1: the number of speakers who chose a word for a target, of 144 per target.

• count : Option ℕ

  The number of speakers who chose the word, with none where the word was not offered.

def QingFranke2015.instDecidableEqSpeakerChoice.decEq (x✝ x✝¹ : SpeakerChoice) : Decidable (x✝ = x✝¹)

Equations

• QingFranke2015.instDecidableEqSpeakerChoice.decEq { count := a } { count := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance QingFranke2015.instDecidableEqSpeakerChoice : DecidableEq SpeakerChoice

Equations

• QingFranke2015.instDecidableEqSpeakerChoice = QingFranke2015.instDecidableEqSpeakerChoice.decEq

def QingFranke2015.instReprSpeakerChoice.repr : SpeakerChoice → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance QingFranke2015.instReprSpeakerChoice : Repr SpeakerChoice

Equations

• QingFranke2015.instReprSpeakerChoice = { reprPrec := QingFranke2015.instReprSpeakerChoice.repr }

def QingFranke2015.speakerChoice : Object → Message → SpeakerChoice

The cells of Table 1, by target and message; checked against the page images.

Equations

• QingFranke2015.speakerChoice QingFranke2015.Object.greenSquare QingFranke2015.Message.green = { count := some 9 }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenSquare QingFranke2015.Message.square = { count := some 135 }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenSquare QingFranke2015.Message.blue = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenSquare QingFranke2015.Message.circle = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenCircle QingFranke2015.Message.green = { count := some 63 }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenCircle QingFranke2015.Message.square = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenCircle QingFranke2015.Message.blue = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.greenCircle QingFranke2015.Message.circle = { count := some 81 }
• QingFranke2015.speakerChoice QingFranke2015.Object.blueCircle QingFranke2015.Message.green = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.blueCircle QingFranke2015.Message.square = { count := none }
• QingFranke2015.speakerChoice QingFranke2015.Object.blueCircle QingFranke2015.Message.blue = { count := some 119 }
• QingFranke2015.speakerChoice QingFranke2015.Object.blueCircle QingFranke2015.Message.circle = { count := some 25 }

structure QingFranke2015.ListenerChoice : Type

A row of Table 2: the number of listeners who chose an object in a condition, of 240 in the salience condition and 180 in each of the others.

• count : ℕ

  The number of listeners who chose the object.

@[instance_reducible]

instance QingFranke2015.instDecidableEqListenerChoice : DecidableEq ListenerChoice

Equations

• QingFranke2015.instDecidableEqListenerChoice = QingFranke2015.instDecidableEqListenerChoice.decEq

def QingFranke2015.instDecidableEqListenerChoice.decEq (x✝ x✝¹ : ListenerChoice) : Decidable (x✝ = x✝¹)

Equations

• QingFranke2015.instDecidableEqListenerChoice.decEq { count := a } { count := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def QingFranke2015.instReprListenerChoice.repr : ListenerChoice → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance QingFranke2015.instReprListenerChoice : Repr ListenerChoice

Equations

• QingFranke2015.instReprListenerChoice = { reprPrec := QingFranke2015.instReprListenerChoice.repr }

def QingFranke2015.listenerChoice : Condition → Object → ListenerChoice

The cells of Table 2, by condition and object; checked against the page images.

Equations

• QingFranke2015.listenerChoice QingFranke2015.Condition.salience QingFranke2015.Object.greenSquare = { count := 71 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.salience QingFranke2015.Object.greenCircle = { count := 30 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.salience QingFranke2015.Object.blueCircle = { count := 139 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.green QingFranke2015.Object.greenSquare = { count := 65 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.green QingFranke2015.Object.greenCircle = { count := 115 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.green QingFranke2015.Object.blueCircle = { count := 0 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.circle QingFranke2015.Object.greenSquare = { count := 1 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.circle QingFranke2015.Object.greenCircle = { count := 62 }
• QingFranke2015.listenerChoice QingFranke2015.Condition.circle QingFranke2015.Object.blueCircle = { count := 117 }